Maths Olympiad Prep

Library / /28 of 104

Geometry Difficulty 5.4 AIME, harder Prove it Bulgaria

Problem:
Let ABCABC be a triangle with altitude CHCH, where HH is an interior point of the side ABAB. Denote by PP and QQ the incenters of AHC\triangle AHC and BHC\triangle BHC, respectively. Prove that the quadrilateral ABQPABQP is cyclic if and only if either AC=BCAC = BC or ACB=90\angle ACB = 90^\circ.

Solution

Solution:
(\Leftarrow) If AC=BCAC = BC, then the quadrilateral ABQPABQP is cyclic since it is an isosceles trapezoid. If ACB=90\angle ACB = 90^\circ, then we have ACI=BCI=45\angle ACI = \angle BCI = 45^\circ, where II is the incenter of ABC\triangle ABC. We have also APC=BQC=135\angle APC = \angle BQC = 135^\circ, i.e. IPC=IQC=45\angle IPC = \angle IQC = 45^\circ. Therefore IPCICA\triangle IPC \sim \triangle ICA and IQCICB\triangle IQC \sim \triangle ICB. Hence
IPIA=IC2=IQIB IP \cdot IA = IC^2 = IQ \cdot IB
and therefore the quadrilateral ABQPABQP is cyclic.

Figure 1

(\Rightarrow) We consider the circumcircle of APC\triangle APC. If it is tangent to CICI at the point CC, then ACI=IPC=45\angle ACI = \angle IPC = 45^\circ and thus ACB=90\angle ACB = 90^\circ. Now let us assume that this circle intersects CICI again at some point RR. Then we have IPIA=IRICIP \cdot IA = IR \cdot IC and IPIA=IQIBIP \cdot IA = IQ \cdot IB. Therefore IRIC=IQIBIR \cdot IC = IQ \cdot IB and the quadrilateral BCRQBCRQ is cyclic. Thus
BRC=BQC=135=APC=ARC. \angle BRC = \angle BQC = 135^\circ = \angle APC = \angle ARC.
Hence ARCBRC\triangle ARC \cong \triangle BRC and AC=BCAC = 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.