Maths Olympiad Prep

Library / IRL ABooklet /38 of 191

IRL ABooklet

Geometry Difficulty 5.2 AIME, harder Prove it Ireland

Let ABCDABCD be a square and let Γ\Gamma denote the circle with diameter CDCD. A tangent line is drawn to the circle Γ\Gamma from BB, meeting the circle Γ\Gamma at EE and intersecting the segment ADAD at KK.
Prove that ∣AD∣=4∣KD∣|AD| = 4|KD|.

Solutions — 5

Solution 1

Let OO be the midpoint of CDCD, the centre of circle Γ\Gamma. Let FF be the point where line CECE meets ADAD, and let CECE meet OBOB at MM.
Figure 1
Angle ∠DEC\angle DEC is standing on the diameter CDCD of Γ\Gamma, hence is a right angle. Therefore, triangle DEFDEF has a right angle at EE. The two tangents KDKD and KEKE of Γ\Gamma have the same length: ∣KD∣=∣KE∣|KD| = |KE|. This implies that KK is on the perpendicular bisector of DEDE and so must be the circumcentre of triangle DEFDEF. Therefore, KK is the midpoint of DFDF.
Because BCBC and BEBE are tangents to Γ\Gamma, we have ∣BE∣=∣BC∣|BE| = |BC|. Hence △BEM≡△BCM\triangle BEM \equiv \triangle BCM, with ∠BME=∠BMC=90∘\angle BME = \angle BMC = 90^\circ. Since ∣BC∣=∣CD∣|BC| = |CD| and ∠MBC=90∘−∠BCM=∠FCD\angle MBC = 90^\circ - \angle BCM = \angle FCD we get △FCD≡△OBC\triangle FCD \equiv \triangle OBC. Thus ∣FD∣=∣OC∣=12∣AD∣|FD| = |OC| = \frac{1}{2}|AD| and ∣DK∣=12∣FD∣=14∣AD∣|DK| = \frac{1}{2}|FD| = \frac{1}{4}|AD|.

Solution 2

Let KOKO meet DEDE at NN and let BOBO meet ECEC at MM.
The right angled triangles BOEBOE and BOCBOC are congruent since they share the hypotenuse and ∣OE∣=∣OC∣|OE| = |OC| (radii). As a consequence, △EMB≡△CMB\triangle EMB \equiv \triangle CMB by SAS. This shows that OBOB is the perpendicular bisector of ECEC. Similarly, OKOK is the perpendicular bisector of DEDE. Hence EMONEMON is a rectangle and
△\triangle KDO ∼△\sim \triangle DNO ≡△\equiv \triangle ENO ≡△\equiv \triangle OME ≡△\equiv \triangle OMC ∼△\sim \triangle OCB.
Thus ∣KD∣∣OD∣=∣OC∣∣CB∣=12\frac{|KD|}{|OD|} = \frac{|OC|}{|CB|} = \frac{1}{2} and finally ∣AD∣=2∣OD∣=4∣KD∣|AD| = 2|OD| = 4|KD|.

Solution 3

We let ϕ=∠OBC\phi = \angle OBC. Then tan⁡ϕ=∣OC∣∣BC∣=12\tan \phi = \frac{|OC|}{|BC|} = \frac{1}{2}. The right angled triangles OBEOBE and BOCBOC are congruent, because they share the hypotenuse and ∣OE∣=∣OC∣|OE| = |OC| (radii of Γ\Gamma). Consequently ϕ=∠OBC=∠OBE=12∠EBC\phi = \angle OBC = \angle OBE = \frac{1}{2}\angle EBC. The double angle formula for tan then gives
tan⁡(∠EBC)=tan⁡(2ϕ)=2tan⁡ϕ1−tan⁡2ϕ=43. \tan(\angle EBC) = \tan(2\phi) = \frac{2 \tan \phi}{1 - \tan^2 \phi} = \frac{4}{3}.
As ∠ABK=90∘−∠EBC\angle ABK = 90^\circ - \angle EBC, we obtain
∣AK∣∣AB∣=tan⁡(∠ABK)=1tan⁡(∠EBC)=34. \frac{|AK|}{|AB|} = \tan(\angle ABK) = \frac{1}{\tan(\angle EBC)} = \frac{3}{4}.
It follows that ∣AK∣=34∣AD∣|AK| = \frac{3}{4}|AD| and so ∣AD∣=4∣DK∣|AD| = 4|DK|.

Solution 4

We have ∣BC∣=∣BE∣|BC| = |BE| (tangents from BB) and ∣KE∣=∣KD∣|KE| = |KD| (tangents from KK). We let x=∣BE∣=∣BC∣=∣AB∣x = |BE| = |BC| = |AB| and y=∣KE∣=∣KD∣y = |KE| = |KD|.
Figure 2
Triangle ABKABK has a right angle at AA and Pythagoras' Theorem gives
(x+y)2=∣BK∣2=∣AB∣2+∣AK∣2=x2+(x−y)2. (x + y)^2 = |BK|^2 = |AB|^2 + |AK|^2 = x^2 + (x - y)^2.
This simplifies to 4xy=x24xy = x^2, hence x=4yx = 4y.

Solution 5

Let the vertices of the square be A(−1,2)A(-1, 2), B(1,2)B(1, 2), C(1,0)C(1, 0), D(−1,0)D(-1, 0), so that x2+y2=1x^2 + y^2 = 1 is the circle in question. If x02+y02=1x_0^2 + y_0^2 = 1, the line LL with equation xx0+yy0=1xx_0 + yy_0 = 1 is a tangent to the circle at E(x0,y0)E(x_0, y_0). It passes through BB iff 2y0+x0=12y_0 + x_0 = 1. Solving the equations
2y0+x0=1,x02+y02=1 2y_0 + x_0 = 1, \quad x_0^2 + y_0^2 = 1
we get (x0,y0)=(−35,45)(x_0, y_0) = (-\frac{3}{5}, \frac{4}{5}) or (x0,y0)=(1,0)(x_0, y_0) = (1, 0), and EE is the first of these. Hence LL has equation 4y−3x=54y - 3x = 5. This line LL meets the line x=−1x = -1 at K(−1,12)K(-1, \frac{1}{2}), whose distance from D(−1,1)D(-1, 1) is 12=14∣AD∣\frac{1}{2} = \frac{1}{4}|AD|.

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.