Olympiad Maths Prep

Track / Stage 6 / 177 of 400 #1177 of 2000

Problem 1177

National olympiad, first round
Geometry Difficulty 6.2 Prove it

Starting from the tangent theorem, show that

tgβ=2btgγ2(a+b)tg2γ2+(ab) \operatorname{tg} \beta=\frac{2 b \operatorname{tg} \frac{\gamma}{2}}{(a+b) \operatorname{tg}^{2} \frac{\gamma}{2}+(a-b)}

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Minthogy

a+b:ab=tgα+β2:tgαβ2 a+b: a-b=\operatorname{tg} \frac{\alpha+\beta}{2}: \operatorname{tg} \frac{\alpha-\beta}{2}

and

α+β2=90γ2,αβ2=90(β+γ2) \frac{\alpha+\beta}{2}=90^{\circ}-\frac{\gamma}{2}, \frac{\alpha-\beta}{2}=90^{\circ}-\left(\beta+\frac{\gamma}{2}\right)

therefore

a+b:ab=ctgγ2:ctg(β+γ2) a+b: a-b=\operatorname{ctg} \frac{\gamma}{2}: \operatorname{ctg}\left(\beta+\frac{\gamma}{2}\right)

or

a+btg(β+γ2)=abtgγ2(a+b)tgγ2=(ab)tg(β+γ2)(a+b)tgγ2=(ab)tgβ+tgγ21tgβtgγ2 \begin{gathered} \frac{a+b}{\operatorname{tg}\left(\beta+\frac{\gamma}{2}\right)}=\frac{a-b}{\operatorname{tg} \frac{\gamma}{2}} \\ (a+b) \operatorname{tg} \frac{\gamma}{2}=(a-b) \operatorname{tg}\left(\beta+\frac{\gamma}{2}\right) \\ (a+b) \operatorname{tg} \frac{\gamma}{2}=(a-b) \frac{\operatorname{tg} \beta+\operatorname{tg} \frac{\gamma}{2}}{1-\operatorname{tg} \beta \operatorname{tg} \frac{\gamma}{2}} \end{gathered}

which equation can also be written as:

(a+b)tgβtg2γ2+(ab)tgβ=(a+b)tgγ2(a+b)tgγ2 (a+b) \operatorname{tg} \beta \operatorname{tg}^{2} \frac{\gamma}{2}+(a-b) \operatorname{tg} \beta=(a+b) \operatorname{tg} \frac{\gamma}{2}-(a+b) \operatorname{tg} \frac{\gamma}{2}

from which

tgβ=2btgγ2(a+b)tg2γ2+(ab) \operatorname{tg} \beta=\frac{2 b \operatorname{tg} \frac{\gamma}{2}}{(a+b) \operatorname{tg}^{2} \frac{\gamma}{2}+(a-b)}

(Rezső Földes, Budapest.)

The problem was also solved by: N. Ehrenfeld, K. Epstein, I. Erdélyi, A. Ertler, P. Esztó, M. Fekete, H. Fodor, E. Freund, I. Fuchs, P. Füstös, J. Gúman, P. Heimlich, E. Kirchknopf, E. Kiss, M. Lusztig, P. Sárközy, Gy. Schuster, Gy. Schwarz, I. Szécsi, O. Szilas, D. Szőke, B. Tóth, A. Vilcsek, V. Wáhl.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.