The quadrilaterals O3MO2A1,O3MO1A2 and O1MO2A3 are rhombuses. Therefore, O2A1∥MO3 and MO3∥O1A2, which imply O2A1∥O1A2. Because O2A1=O3∗M=O1A2 the quadrilateral O2A1A2O1 is a parallelogram and then A1A2∥O1O2 and A1A2=O1O2. Similarly, A2A3∥O2O3 and A2A3=O2O3;A3A1∥O3O1 and A3A1=O3O1. The triangles A1A2A3 and O1O2O3 are congruent.
!
Since A3M⊥O1O2 and O1O2∥A1A2 we infer A3M⊥A1A2. Similarly, A2M⊥A1A3 and A1M⊥A2A3. Thus, M is the orthocenter for the triangle A1A2A3.
## GEO.6.
Consider an isosceles triangle ABC with AB=AC. A semicircle of diameter EF, lying on the side BC, is tangent to the lines AB and AC at M and N, respectively. The line AE intersects again the semicircle at point P.
Prove that the line PF passes through the midpoint of the chord MN.
Solution. Let O be the center of the semicircle and let R be the midpoint of MN. It is obvious that MN is perpendicular to AO at point R. Since ∠ANO is right, then from the leg theorem we have AN2=AR⋅AO. From the power of a point theorem,
AP⋅AE=AN2=AM2=AR⋅AO
Using the same theorem we infer that points P,R,O and E are concyclic, hence ∠RPE is right. As ∠FPE is also a right angle, the conclusion follows.