Maths Olympiad Prep

Library / /43 of 61

Geometry Difficulty 6.2 National Olympiad Prove it Ibero-American Mathematical Olympiad

Problem:

ABCDABCD is a cyclic quadrilateral. A circle whose center is on the side ABAB touches the other three sides. Show that AB=AD+BCAB = AD + BC. What is the maximum possible area of ABCDABCD in terms of AB|AB| and CD|CD|?

Solution

Solution:

Figure 1

Let the circle have center OO on ABAB and radius rr. Let OAD=θ\angle OAD = \theta, OBC=φ\angle OBC = \varphi. Since ABCDABCD is cyclic, ADC=180φ\angle ADC = 180^\circ - \varphi, so ODA=90φ/2\angle ODA = 90^\circ - \varphi / 2.

If ADAD touches the circle at XX, then
AD=AX+XD=rcotθ+rtan(φ/2). AD = AX + XD = r \cot \theta + r \tan (\varphi / 2).
Similarly,
BC=rcotφ+rtan(θ/2). BC = r \cot \varphi + r \tan (\theta / 2).
Put t=tan(θ/2)t = \tan (\theta / 2). Then cotθ=(1t2)/2t\cot \theta = (1 - t^2) / 2t, so
cotθ+tan(θ/2)=1+t22t=1sinθ. \cot \theta + \tan (\theta / 2) = \frac{1 + t^2}{2t} = \frac{1}{\sin \theta}.
Similarly for φ\varphi, so
AD+BC=rsinθ+rsinφ=AO+OB=AB. AD + BC = \frac{r}{\sin \theta} + \frac{r}{\sin \varphi} = AO + OB = AB.

Suppose ADAD and BCBC meet at HH (we deal below with the case where they are parallel). Then HCDHCD and HABHAB are similar, so
area HCD=(CD2AB2)area HAB \text{area } HCD = \left(\frac{CD^2}{AB^2}\right) \text{area } HAB
and
area ABCD=(1CD2AB2)area HAB. \text{area } ABCD = \left(1 - \frac{CD^2}{AB^2}\right) \text{area } HAB.
Also
ABCD=HAHC=HBHD=HA+HBHC+HD=HA+HBHBBC+HADA=HA+HBHA+HBAB. \frac{AB}{CD} = \frac{HA}{HC} = \frac{HB}{HD} = \frac{HA + HB}{HC + HD} = \frac{HA + HB}{HB - BC + HA - DA} = \frac{HA + HB}{HA + HB - AB}.
Hence
HA+HB=AB2ABCD, HA + HB = \frac{AB^2}{AB - CD},
which is fixed. Now for fixed HA+HBHA + HB we maximise the area of HABHAB by taking HA=HBHA = HB and hence AD=BCAD = BC.

Put h=CDh = CD, k=ABk = AB. So kcosθ+h=kk \cos \theta + h = k. Hence cosθ=1h/k\cos \theta = 1 - h / k. Hence
sinθ=2h/kh2/k2. \sin \theta = \sqrt{2h / k - h^2 / k^2}.
So
area ABCD=12(h+k)12ksinθ=(h/2+k/2)hk/2h2/4(). \text{area } ABCD = \frac{1}{2}(h + k) \cdot \frac{1}{2} k \sin \theta = (h / 2 + k / 2) \sqrt{hk / 2 - h^2 / 4} \quad (*).

If ADAD and BCBC are parallel then AA and BB must lie on the circle, so that DAB=ABC=90\angle DAB = \angle ABC = 90^\circ. But ABCDABCD is cyclic, so it must be a rectangle. Hence AB=CDAB = CD and
area ABCD=k2/2. \text{area } ABCD = k^2 / 2.
In this case ()(*) still gives the correct answer.

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.