Maths Olympiad Prep

Library / /141 of 169

Geometry Difficulty 7.7 National Olympiad, round 2 Prove it United States

Let ABCABC be an acute triangle with ω,Ω\omega, \Omega, and RR being its incircle, circumcircle, and circumradius, respectively. Circle ωA\omega_A is tangent internally to Ω\Omega at AA and tangent externally to ω\omega. Circle ΩA\Omega_A is tangent internally to Ω\Omega at AA and tangent internally to ω\omega. Let PAP_A and QAQ_A denote the centers of ωA\omega_A and ΩA\Omega_A, respectively. Define points PB,QB,PC,QCP_B, Q_B, P_C, Q_C analogously. Prove that
8PAQAPBQBPCQCR3, 8P_AQ_A \cdot P_BQ_B \cdot P_CQ_C \le R^3,
with equality if and only if triangle ABCABC is equilateral.

Solution

Let the incircle touch the sides AB,BCAB, BC, and CACA at C1,A1C_1, A_1, and B1B_1, respectively. Set AB=c,BC=a,CA=bAB = c, BC = a, CA = b. By equal tangents, we may assume that AB1=AC1=xAB_1 = AC_1 = x, BC1=BA1=yBC_1 = BA_1 = y, and CA1=CB1=zCA_1 = CB_1 = z. Then a=y+z,b=z+x,c=x+ya = y + z, b = z + x, c = x + y. By the AM-GM inequality, we have a2yza \ge 2\sqrt{yz}, b2zxb \ge 2\sqrt{zx}, and c2xyc \ge 2\sqrt{xy}. Multiplying the last three inequalities yields
abc8xyz,(†) abc \ge 8xyz, \tag{†}
with equality if and only if x=y=zx = y = z; that is, triangle ABCABC is equilateral.
Let kk denote the area of triangle ABCABC. By the Extended Law of Sines, c=2RsinCc = 2R \sin \angle C. Hence
k=absinC2=abc4RorR=abc4k.(‡) k = \frac{ab \sin \angle C}{2} = \frac{abc}{4R} \quad \text{or} \quad R = \frac{abc}{4k}. \tag{‡}
We are going to show that
PAQA=xa24k.(*) P_A Q_A = \frac{xa^2}{4k}. \tag{*}
In exactly the same way, we can also establish its cyclic analogous forms
PBQB=yb24kandPCQC=zc24k. P_B Q_B = \frac{yb^2}{4k} \quad \text{and} \quad P_C Q_C = \frac{zc^2}{4k}.
Multiplying the last three equations together gives
PAQAPBQBPCQC=xyza2b2c264k3. P_A Q_A \cdot P_B Q_B \cdot P_C Q_C = \frac{xyz a^2 b^2 c^2}{64k^3}.
Further considering (†) and (‡), we have
8PAQAPBQBPCQC=8xyza2b2c264k3a3b3c364k3=R3, 8P_A Q_A \cdot P_B Q_B \cdot P_C Q_C = \frac{8xyz a^2 b^2 c^2}{64k^3} \le \frac{a^3 b^3 c^3}{64k^3} = R^3,
with equality if and only if triangle ABCABC is equilateral.
Hence it suffices to show (*). Let r,rA,rAr, r_A, r'_A denote the radii of ω,ωA,ΩA\omega, \omega_A, \Omega_A, respectively. We consider the inversion II with center AA and radius xx. Clearly, I(B1)=B1I(B_1) = B_1, I(C1)=C1I(C_1) = C_1, and I(ω)=ωI(\omega) = \omega. Let ray AOAO intersect ωA\omega_A and ΩA\Omega_A at SS and TT, respectively. It is not difficult to see that AT>ASAT > AS, because ω\omega is tangent to ωA\omega_A and ΩA\Omega_A externally and internally, respectively. Set S1=I(S)S_1 = I(S) and T1=I(T)T_1 = I(T). Let \ell denote the line tangent to Ω\Omega at AA. Then the image of ωA\omega_A (under the inversion) is the line (denoted by 1\ell_1) passing through S1S_1 and parallel to \ell, and the image of ΩA\Omega_A is the line (denoted by 2\ell_2) passing through T1T_1 and parallel to \ell. Furthermore, since ω\omega is tangent to both ωA\omega_A and ΩA\Omega_A, 1\ell_1 and 2\ell_2 are also tangent to the image of ω\omega, which is ω\omega itself. Thus the distance between these two lines is 2r2r; that is, S1T1=2rS_1T_1 = 2r. Hence we can consider the following configuration. (The darkened circle is ωA\omega_A, and its image is the darkened line 1\ell_1.)

Figure 1

By the definition of inversion, we have AS1AS=AT1AT=x2AS_1 \cdot AS = AT_1 \cdot AT = x^2. Note that AS=2rAAS = 2r_A, AT=2rAAT = 2r'_A, and S1T1=2rS_1T_1 = 2r. We have
rA=x22AS1.andrA=x22AT1=x22(AS12r). r_A = \frac{x^2}{2AS_1}. \quad \text{and} \quad r'_A = \frac{x^2}{2AT_1} = \frac{x^2}{2(AS_1 - 2r)}.
Hence
PAQA=AQAAPA=rArA=x22(1AS12r+1AS1). P_A Q_A = AQ_A - AP_A = r'_A - r_A = \frac{x^2}{2} \left( \frac{1}{AS_1 - 2r} + \frac{1}{AS_1} \right).
Let HAH_A be the foot of the perpendicular from AA to side BCBC. It is well known that BAS1=BAO=90C=CAHA\angle BAS_1 = \angle BAO = 90^\circ - \angle C = \angle CAH_A. Since ray AIAI bisects BAC\angle BAC, it follows that rays AS1AS_1 and AHAAH_A are symmetric with respect to ray AIAI. Further note that both line l1l_1 (passing through S1S_1) and line BCBC (passing through HAH_A) are tangent to ω\omega. We conclude that AS1=AHAAS_1 = AH_A. In light of this observation and using the fact 2k=AHABC=(AB+BC+CA)r2k = AH_A \cdot BC = (AB + BC + CA)r, we can compute PAQAP_A Q_A as follows:
PAQA=x22(1AHA2r1AHA)=x24k(2kAHA2r2kAHA)=x24k(11BC2AB+BC+CABC)=x24k(11y+z1x+y+z(y+z))=x24k((y+z)(x+y+z)x(y+z))=x(y+z)24k=xa24k, \begin{aligned} P_A Q_A &= \frac{x^2}{2} \left( \frac{1}{AH_A - 2r} - \frac{1}{AH_A} \right) = \frac{x^2}{4k} \left( \frac{2k}{AH_A - 2r} - \frac{2k}{AH_A} \right) \\ &= \frac{x^2}{4k} \left( \frac{1}{\frac{1}{BC} - \frac{2}{AB+BC+CA}} - BC \right) = \frac{x^2}{4k} \left( \frac{1}{\frac{1}{y+z} - \frac{1}{x+y+z}} - (y+z) \right) \\ &= \frac{x^2}{4k} \left( \frac{(y+z)(x+y+z)}{x} - (y+z) \right) \\ &= \frac{x(y+z)^2}{4k} = \frac{xa^2}{4k}, \end{aligned}
establishing (*). Our proof is complete.

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.