Let be the circumcenter of the acute triangle . An arbitrary diameter intersects side in and side in . If is the midpoint of and is the midpoint of , show that .

Let be the circumcenter of the acute triangle . An arbitrary diameter intersects side in and side in . If is the midpoint of and is the midpoint of , show that .

We shall make use of the following:
Lemma. Let be a triangle and be a chord of its circumcircle which intersects side in and side in . Then .
Proof of the lemma. Using the law of sines in triangles and , we have
Since , we have , so
Analogously, we get . But and , so .
Returning to our problem, let and be the reflections of and about and be the second intersection point of with the circumcircle of . Also, let be the intersection of lines and .
From the lemma, we have
Since , , and , we conclude that , hence .
Now, is midsegment in , hence ; is midsegment in , hence . But clearly and , therefore
Since is a midsegment of the triangle and is a midsegment of the triangle , we get that and , so .
Let be the point diametrically opposed to and the point diametrically opposed to ; the triangle being acute, is on the minor arc , and is on the minor arc . Let be an arbitrary point on the minor arc . Applying Pascal's theorem to the hexagram shows that points , , are collinear – on Pascal's line, which is the support line of a diameter.
Conversely, if a diameter intersects the sides and at and , respectively, then the lines and will meet at a point situated on the minor arc (consider only as the intersection point of the line with the circle, and apply Pascal's theorem; will be collinear with , hence, it will be the intersection of the diameter with the line , which means that is in fact ).