Maths Olympiad Prep

Library / /490 of 1394

, 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 tanAPD\tan \angle A P D, tanBPE\tan \angle B P E, and tanCPF\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 AOOD=BOOE=COOFA 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 XOADX O \perp A D, YOBEXOY=60Y 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=18012AXD=180AXOtanAPD=tanAXO=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 tanBPE=1OY\tan \angle B P E = -\frac{1}{O Y} and tanCPF=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+12xcosθ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
cosAPD=2(x2+1)42(x2+1)24x2cos2θ=x21(1x2)2+4x2sin2θtanAPD=2xsinθx21. \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
{tanAPD,tanBPE,tanCPF}={2xsinθx21,2xsin(θ+60)x21,2xsin(θ+120)x21}. \{\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 2xx21\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
1pω3p=(1p)(ω3pˉ)(ω3p)(ω3pˉ)=ω3pˉω3p+p21+p2ω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 tanAPD\tan \angle A P D is the imaginary part divided by the real part of this, which is
1ipˉpp21=cdist(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 tanAPD\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, tanBPE=cdist(P,BE)\tan \angle B P E = c \cdot \operatorname{dist}(P, B E) and tanCPF=cdist(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)=32dist(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,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.