Because ABC is acute, H lies inside the triangle. We consider the configuration shown above. (For other possible configurations, it is not difficult to adjust our proof properly.)
Let O and Z denote the circumcenters of triangles ABC and APC respectively. Let ω and r denote the circumcircle and the circumradius of triangle ABC respectively. We will show that
XYCZ is an isosceles trapezoid with XY=CZ=r.(13)
Because X and Z are the circumcenters of triangle APB and APC, line XZ is the perpendicular bisector of segment AP. Because Y is the orthocenter of triangle APC, CY⊥AP. Hence both lines XZ and CY are perpendicular to line AP, implying that XYZC is a trapezoid with XZ∥CY.
Because X and O are the circumcenters of triangles APB and ABC, line XO is the perpendicular bisector of segment AB. Because XO⊥AB and XZ⊥AP, the acute angles formed by lines XO and XZ is equal to the acute angle formed by lines AP and AB; that is, ∠OXZ=∠BAP. Likewise, we can show that ∠OZX=∠CAP. Therefore, we have ∠OXZ=∠BAP=∠CAP=∠OZX, implying that OX=OZ; that is, O lies on the perpendicular bisector of segment XZ.
Because H is the orthocenter of acute triangle ABC, ∠AHC=180∘−∠ABC. Because APHC is cyclic, we have ∠APC=∠AHC=180∘−∠ABC. Now in obtuse triangle APC, ∠AYC=180∘−∠APC=∠ABC. (This relates to the fact of orthocenter group: if one point is the orthocenter of the triangle formed by the other three points, then any of the four point is the orthocenter of the triangle formed by the other three.) In particular, this means that Y lies on ω; that is, OY=OC=r. Note that in trapezoid XYCZ, the perpendicular bisectors of the bases YC and XZ share a common point O. Thus, these two bisectors must coincide; that is, XYCZ is an isosceles trapezoid with XY=CZ, establishing the first part of (13).
To complete our proof, it suffices to show that CZ=r. Let Q be the reflection of H across line AC. It is well known that Q lies ω (because ∠ACQ=∠ACH=90∘−∠BAC=∠ABH=∠ABQ.) We note that triangle AQC and its circumcenter O and triangle AHC and its circumcenter Z are respective images of each other across line AC. In particular, we conclude that CZ=CO=r, completing our proof.
