
Let A3,B3,C3 be the feet of the perpendiculars from P to the sides BC,CA,AB respectively. Clearly, A′,B′,C′ are on the lines PA3,PB3,PC3, respectively. By the Pythagoras Theorem, we have
A′P2−A′A32=A′A12−A′A32=A1P2−A3P2=A1P2−(A3A′+A′P)2
and hence PA′⋅PA3=PA12/2. Similarly we get that PB′⋅PB3=PB12/2 and PC′⋅PC3=PC12/2. Therefore we conclude that PA′⋅PA3=PB′⋅PB3=PC′⋅PC3. Hence the quadrilaterals A3C3C′A′,B3A3A′B′,C3B3B′C′ are cyclic. By the sine law in triangles A3B3A′ and AC3A′, we have
AA′A′B3=cos∠A′B3Psin∠A′AB3andAA′A′C3=cos∠A′C3Psin∠A′AC3
Hence we get
sin∠A′AC3sin∠A′AB3=A′C3A′B3⋅cos∠A′C3Pcos∠A′B3P
Similarly, we get that
sin∠B′BA3sin∠B′BC3=B′A3B′C3⋅cos∠B′A3Pcos∠B′C3P
and
sin∠C′CB3sin∠C′CA3=C′B3C′A3⋅cos∠C′B3Pcos∠C′A3P
By the converse of the Trigonometric Ceva Theorem, in order to show that AA′,BB′ and CC′ are concurrent it is sufficient to show that
A′C3A′B3⋅B′A3B′C3⋅C′B3C′A3⋅cos∠A′C3Pcos∠A′B3P⋅cos∠B′A3Pcos∠B′C3P⋅cos∠C′B3Pcos∠C′A3P=1
By the concyclicity, ∠A′C3P=C′A3P, B′A3P=A′B3P, C′B3P=B′C3P and hence
cos∠A′C3Pcos∠A′B3P⋅cos∠B′A3Pcos∠B′C3P⋅cos∠C′B3Pcos∠C′A3P=1
Now, we have to show that
A′C3A′B3⋅B′A3B′C3⋅C′B3C′A3=1
By concyclicity again, the triangles PA3C′ and PC3A′ are similar and hence
A′C3C′A3=PC3PA3
and similarly we get that
B′A3A′B3=PA3PB3andC′B3B′C3=PB3PC3
Side by side product of last three equalities yields
A′C3A′B3⋅B′A3B′C3⋅C′B3C′A3=PC3PA3⋅PA3PB3⋅PB3PC3=1
as desired.