Let be circumcenter of a non-isosceles triangle and be a point in the interior of . Let be foots of perpendicular lines from to . Suppose that is cyclic and is the circumcenter of ,. Prove that bisects
is a triangle with incentre . The feet of the altitudes from to are respectively, and the line through parallel to intersects and at and respectively. Prove that the circles with diameters and have a common point on the circumcircle of
is a triangle with incentre . The feet of the altitudes from to are respectively, and the line through parallel to intersects and at and respectively. Prove that the circles with diameters and have a common point on the circumcircle of
Notice that Define and See that and swap under incircle inversion. Also, swaps with the nine-point circle of . Hence, (sharky-devil)
Now let be the -Antipode in . Applying Pascal's Theorem on we get , since . Thus, we have . Similarly, so we are done.