The easiest perhaps proof of the concurrency of the three altitudes is to identify them with the

[1] Extend CC' to meet the circle again at E. Triangles AHB and AEB are equal since they have common the side AB and equal the angles at the extremities of this side.

[2] Consequently E is symmetric (reflected) to H with respect to side AB.

[3] Extend AO (O circumcenter) to find J on the circumcircle. CHBJ is a parallelogram since its opposite sides are respectively orthogonal to AC and AB.

[4] OK (K middle of AB) has half the length of BJ = CH since it joins the middles of sides of ABJ.

[5] CO and HK meet on at the diametral point L of C since OK is parallel and half of HC.

[6] Let M be the reflexion of O to AB. OM = JB = CH is the vector-sum: OM = OA + OB.

[7] OH is the vector-sum : OH = OM + OC = OA + OB + OC .

Autopolar.html

Bisector.html

CircleBundleLocus.html

Droz_Farny.html

EulerCircle.html

EulerCircleProperty.html

GaussBodenmiller.html

Isogonal_Conjugation.html

MedialParabola.html

Miquel_Point.html

Orthocenter2.html

OrthoRectangular.html

Polar4.html

RectHypeCircumscribed.html

RectHypeImpossible.html

RectHypeThroughFourPts.html

Simson.html

SimsonDiametral.html

SteinerLine.html

TrianglesCircumscribingParabolas.html

WallaceSimson.html

Produced with EucliDraw© |