Problem: Let ABC be a triangle with altitude CH, where H is an interior point of the side AB. Denote by P and Q the incenters of △AHC and △BHC, respectively. Prove that the quadrilateral ABQP is cyclic if and only if either AC=BC or ∠ACB=90∘.
Solution
Solution: (⇐) If AC=BC, then the quadrilateral ABQP is cyclic since it is an isosceles trapezoid. If ∠ACB=90∘, then we have ∠ACI=∠BCI=45∘, where I is the incenter of △ABC. We have also ∠APC=∠BQC=135∘, i.e. ∠IPC=∠IQC=45∘. Therefore △IPC∼△ICA and △IQC∼△ICB. Hence IP⋅IA=IC2=IQ⋅IB and therefore the quadrilateral ABQP is cyclic.
(⇒) We consider the circumcircle of △APC. If it is tangent to CI at the point C, then ∠ACI=∠IPC=45∘ and thus ∠ACB=90∘. Now let us assume that this circle intersects CI again at some point R. Then we have IP⋅IA=IR⋅IC and IP⋅IA=IQ⋅IB. Therefore IR⋅IC=IQ⋅IB and the quadrilateral BCRQ is cyclic. Thus ∠BRC=∠BQC=135∘=∠APC=∠ARC. Hence △ARC≅△BRC and AC=BC.
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.