Given triangle ABC. Let BPCQ be a parallelogram (P is not on BC). Let U be the intersection of CA and BP, V be the intersection of AB and CP, X be the intersection of CA and the circumcircle of triangle ABQ distinct from A, and Y be the intersection of AB and the circumcircle of triangle ACQ distinct from A. Prove that BU=CV if and only if the lines AQ, BX, and CY are concurrent.
Solution
By the radical center theorem, AQ,BX,CY are concurrent if and only if B,C,X,Y are concyclic, and via ∠BXC=∠BQA,∠BYC=∠AQC, this is in turn equivalent to QA being one of the angle bisectors of ∠BQC, that is, sin∠AQCsin∠BQA=±1 (note that Q is not on BC).
On the other hand, by the trigonometric form of Ceva's theorem, sin∠AQCsin∠BQA⋅sin∠ABQsin∠CBA⋅sin∠ACBsin∠QCA=1. Therefore sin∠AQCsin∠BQA=±1 if and only if sin∠ABQsin∠CBA⋅sin∠ACBsin∠QCA=±1. And sin∠ABQsin∠CBA⋅sin∠ACBsin∠QCA=sin∠BVCsin∠CBV⋅sin∠UCBsin∠BUC=BCCV⋅BUBC=BUCV Hence the two conditions are equivalent.
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 translated into English from zh; metadata (topic, difficulty) added by this project.