Let X be an arbitrary point on the circumcircle of the triangle ABC. The perpendicular lines from X to AB and AC cut BC at P and Q respectively. The point Y is the circumcenter of the circle passing through X,P,Q. (If X,P,Q are coincident, then consider Y the same point as them.)
a. Prove that if the triangle ABC is equilateral, by moving X on circumcircle, Y moves on a circle.
b. Prove the converse of the previous part: If by moving X on the circumcircle, Y moves on a circle, then ABC is equilateral.
Solution
a. We know that triangle ABC is an equilateral. Thus we have PRQ=PQR=90∘−60∘=30∘ and by this we have PQ=PR. Suppose that S is the circumcenter of triangle PQR.
We have QPR=180∘−2×30∘=120∘. So QR=120∘ and moreover QSR=120∘. SQ=SR, so SQR=SRQ. By these arguments we conclude that triangle SQR is the reflection of triangle PQR respect to BC. So S is the reflection of P respect to BC. Thus S moves on a circle which is the reflection of the circumcircle of triangle ABC respect to BC. □
b. Suppose that S is the circumcenter of triangle PQR and O is the circumcenter of triangle ABC. By considering P on B,C we can obviously see that S lies on B,C respectively. Now we move P to the intersection point of AO and the circumcircle of triangle ABC. In this case we have PCA=PBA=90∘. So S lies on O. The parallel line from P respect to BC meets the circumcircle of triangle ABC at P′. By considering P′ as P, triangle PQR is similar to the triangle PQR in the previous case. Note that the P altitudes in both of these triangles have equal lengths. So these triangles are equivalent. Thus by transferring O by pp′ which is parallel to BC, we reach the point S, the circumcenter of triangle PQR in this case. We know that BSOC is cyclic. But this can't be true unless S lies on O. It yields that pp′ must be equal to 0. So P′ lies on P and triangle ABC is isosceles with AB=AC. Now let P lie on A.
ω is the circumcircle of triangle BOC. Triangle ABC is isosceles. So the perpendicular bisector of RQ is the A altitude in triangle ABC. This perpendicular bisector meets ω for the second time at S. We know that the circumcenter of triangle AQR lies on ω, so it's whether O or S. It can't be O. Because otherwise we have OB=OA=OR Which can't be true. So S is the circumcenter of triangle AQR. We have SA=SQ⟹SAQ=SQACAQ=BAQ−BAC=90∘−A^SAC=2A^⎭⎬⎫⟹SAQ=90∘−2A^ By these we have SQA⟹CQA=SAQ=90∘−2A=90∘−ASQ=90∘−A,AQS=90∘−2A⟹ASQ⟹AQC=180∘−2×(90∘−2A)=A=2A Moreover we have ACD=180∘−90∘−(90∘−B)=B In the circumcircle of triangle ACQ we have CAS=2A=AQC=2AC
CQS=90∘−A=CAQ=2CQ Using these arguments we conclude that SA and SQ are tangent to the circumcircle of triangle ACQ. Let O1 be the circumcenter of triangle ACQ. Then we have CO1A=AC=2CQA=ACAO1=ACO1=2180∘−CO1A=90∘−2A We knew that ACD=B^=90∘−2A^. So ACD=ACO1. Thus it yields that C lies on AO1 and AC=CQ. So we have CAQ=CQA⟹90∘−A=2A⟹A=60∘□⟹23A=90∘
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.