II. (Total 25 points) As shown in Figure 4, is the midpoint of line segment , , and is the mean proportional between and . If points , , and are all on circle , then is point inside , on , or outside ? Prove your conclusion.
Problem 908
Official solution
II. Conclusion: Point is on
, i.e., points , , ,
are concyclic. Auxiliary lines see Figure 8.
It is easy to know that
, then is
an isosceles trapezoid, which must have a circumcircle, i.e., points , , , are concyclic.
Also, ,
, , , are concyclic.
In the two sets of four concyclic points , , , and , , , , there are three common points , , , which can determine a circle, hence points , , , , must lie on the same circle, i.e., points , , , are concyclic.
Alternative proof hint: Using , , it is not difficult to deduce that and are supplementary.