Maths Olympiad Prep

Library / HMMT February /446 of 1302

HMMT February, 2024

Geometry Difficulty 5.1 AIME, harder Prove it United States

Problem:
Let ABCDEFA B C D E F be a regular hexagon with PP as a point in its interior. Prove that of the three values tan⁡∠APD\tan \angle A P D, tan⁡∠BPE\tan \angle B P E, and tan⁡∠CPF\tan \angle C P F, two of them sum to the third one.

Solutions — 3

Solution 1

Solution:
Figure 1
WLOG let the side length of the hexagon be 1. Let OO be the center of the hexagon. Consider drawing in the circles (APD)(A P D), (BPE)(B P E), and (CPF)(C P F). Note that OO lies on the radical axis of all three circles, since AO⋅OD=BO⋅OE=CO⋅OFA O \cdot O D = B O \cdot O E = C O \cdot O F. Since PP also lies on the radical axis, all three circles are coaxial.
Let XX, YY, and ZZ be the centers of (APD)(A P D), (BPE)(B P E), and (CPF)(C P F), respectively. Since the circles are coaxial, XX, YY, and ZZ are collinear. WLOG YY lies on segment XZX Z. Note that XO⊥ADX O \perp A D, YO⊥BE⟹∠XOY=60∘Y O \perp B E \Longrightarrow \angle X O Y = 60^\circ. Similarly, we have ∠YOZ=60∘\angle Y O Z = 60^\circ. Now, inverting at OO and using van Schooten's Theorem gives that 1/OY=1/OX+1/OZ1 / O Y = 1 / O X + 1 / O Z.
Furthermore, we have
∠APD=180∘−12∠AXD=180∘−∠AXO⟹tan⁡∠APD=−tan⁡∠AXO=−AOOX=−1OX \angle A P D = 180^\circ - \frac{1}{2} \angle A X D = 180^\circ - \angle A X O \Longrightarrow \tan \angle A P D = -\tan \angle A X O = -\frac{A O}{O X} = -\frac{1}{O X}
Similarly, we have tan⁡∠BPE=−1OY\tan \angle B P E = -\frac{1}{O Y} and tan⁡∠CPF=−1OZ\tan \angle C P F = -\frac{1}{O Z}. Therefore, two of these tangent values sum to the third, as desired.

Solution 2

Solution:
Firstly, note that ADA D, BEB E, and CFC F are diameters of the circle (ABCDEF)(A B C D E F), so the angles ∠APD\angle A P D, ∠BPE\angle B P E, ∠CPF\angle C P F are all obtuse. Therefore, the desired tangents are well-defined.
WLOG let the side length of the hexagon be 1. Let OO be the center of the hexagon, and let OP=xO P = x. Finally, let ∠AOP=θ\angle A O P = \theta.
Now, by Law of Cosines, we have AP=x2+1−2xcos⁡θA P = \sqrt{x^{2} + 1 - 2x \cos \theta} and DP=x2+1+2xcos⁡θD P = \sqrt{x^{2} + 1 + 2x \cos \theta}. Now, by Law of Cosines again we have
cos⁡∠APD=2(x2+1)−42(x2+1)2−4x2cos⁡2θ=x2−1(1−x2)2+4x2sin⁡2θ⟹tan⁡∠APD=2x∣sin⁡θ∣x2−1. \begin{gathered} \cos \angle A P D = \frac{2(x^{2} + 1) - 4}{2 \sqrt{(x^{2} + 1)^{2} - 4x^{2} \cos^{2} \theta}} = \frac{x^{2} - 1}{\sqrt{(1 - x^{2})^{2} + 4x^{2} \sin^{2} \theta}} \\ \Longrightarrow \tan \angle A P D = \frac{2x|\sin \theta|}{x^{2} - 1}. \end{gathered}
Similarly, ∠(BE,OP)\angle (B E, O P) and ∠(CF,OP)\angle (C F, O P) are θ+60∘\theta + 60^\circ and θ+120∘\theta + 120^\circ, respectively (here we are using directed angles). Therefore, the desired three values are
{tan⁡∠APD,tan⁡∠BPE,tan⁡∠CPF}={2x∣sin⁡θ∣x2−1,2x∣sin⁡(θ+60∘)∣x2−1,2x∣sin⁡(θ+120∘)∣x2−1}. \{\tan \angle A P D, \tan \angle B P E, \tan \angle C P F\} = \left\{\frac{2x|\sin \theta|}{x^{2} - 1}, \frac{2x|\sin(\theta + 60^\circ)|}{x^{2} - 1}, \frac{2x|\sin(\theta + 120^\circ)|}{x^{2} - 1}\right\}.
We can scale down the tangent values by 2xx2−1\frac{2x}{x^{2} - 1} to get {∣sin⁡θ∣,∣sin⁡(θ+60∘)∣,∣sin⁡(θ+120∘)∣}\{|\sin \theta|, |\sin(\theta + 60^\circ)|, |\sin(\theta + 120^\circ)|\}. Now, consider an equilateral triangle with vertices at the third roots of unity rotated by θ\theta degrees counterclockwise. The three values represent the distances from the three vertices to the real axis. Since the centroid of this triangle is the origin (lying on the real axis), two of these quantities must sum to the third, as desired.

Solution 3

Solution:
We will show either the three sum to 0 or two of them sum to the third one; since they're all negative, the former case is actually impossible.
Let (ABCDEF)(A B C D E F) be the unit circle, with a=1a = 1, b=ωb = \omega, and so on, where ω=eπi/3\omega = e^{\pi i / 3}. Then ∠APD\angle A P D is the argument of
1−pω3−p=(1−p)(ω3−pˉ)(ω3−p)(ω3−pˉ)=ω3−pˉ−ω3p+∣p∣21+∣p∣2−ω3p−ω3pˉ \frac{1 - p}{\omega^{3} - p} = \frac{(1 - p)(\omega^{3} - \bar{p})}{(\omega^{3} - p)(\omega^{3} - \bar{p})} = \frac{\omega^{3} - \bar{p} - \omega^{3} p + |p|^{2}}{1 + |p|^{2} - \omega^{3} p - \omega^{3} \bar{p}}
Then tan⁡∠APD\tan \angle A P D is the imaginary part divided by the real part of this, which is
−1i⋅pˉ−p∣p∣2−1=c⋅dist⁡(P,AD) -\frac{1}{i} \cdot \frac{\bar{p} - p}{|p|^{2} - 1} = c \cdot \operatorname{dist}(P, A D)
for some constant cc. (Note that tan⁡APD\tan A P D might actually be the negative of this, depending on direction; this is why we added the remark at the beginning about them possibly summing to 0.)
Similarly, tan⁡∠BPE=c⋅dist⁡(P,BE)\tan \angle B P E = c \cdot \operatorname{dist}(P, B E) and tan⁡∠CPF=c⋅dist⁡(P,CF)\tan \angle C P F = c \cdot \operatorname{dist}(P, C F). It suffices to show that two dist⁡(P,AD)\operatorname{dist}(P, A D), dist⁡(P,BE)\operatorname{dist}(P, B E), and dist⁡(P,CF)\operatorname{dist}(P, C F) sum to the third. However, this is easy; without loss of generality let PP be inside OABO A B, and let the hexagon have side length 1. Then
dist⁡(P,AD)+dist⁡(P,BE)=32−dist⁡(P,AB)=dist⁡(P,CF) \operatorname{dist}(P, A D) + \operatorname{dist}(P, B E) = \frac{\sqrt{3}}{2} - \operatorname{dist}(P, A B) = \operatorname{dist}(P, C F)
as desired.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.