Let ΔABC with incircle Γ, let D,E and F the tangency points of Γ with sides BC,AC and AB, respectively and let P the intersection point of AD with Γ.
a) Prove that BC,EF and the straight line tangent to Γ for P concur at a point A′.
b) Define B′ and C′ in an anologous way than A′. Prove that A'\minus{}B'\minus{}C' geometrygeometry solvedprojective geometryPolarsPascal s theorem