Maths Olympiad Prep

Library / /337 of 520

Algebra Difficulty 5.5 AIME, harder Prove it

4.Provearcsin110+arccos5264. Prove \arcsin \frac{1}{\sqrt{10}}+\arccos \frac{5}{\sqrt{26}} +arctg17+arcctg8=π4+\operatorname{arctg} \frac{1}{7}+\operatorname{arcctg} 8=\frac{\pi}{4}

Solution

Prove arcsin110=arctg13=arg(3+i)\arcsin \frac{1}{10}=\operatorname{arctg} \frac{1}{3}=\arg (3+i)
arccos526=arctg15=arg(5+i),arctg17=arg(7+i),arcctg8=arg(8+i). the left side of the original equation =arg(3+i)+arg(5+i)+arg(7+i)+arg(8+i)Arg[(3+i)(5+i)(7+i)(8+i)]=Arg(650+650i). \begin{array}{l} \arccos \frac{5}{\sqrt{26}}=\operatorname{arctg} \frac{1}{5} \\ =\arg (5+i), \\ \operatorname{arctg} \frac{1}{7}=\arg (7+i), \\ \operatorname{arcctg} 8=\arg (8+i) . \\ \therefore \quad \text { the left side of the original equation }=\arg (3+i)+\arg (5 \\ +i)+\arg (7+i)+\arg (8+i) \\ \in \operatorname{Arg}[(3+i)(5+i)(7+i) \\ (8+i)]=\operatorname{Arg}(650+650 i) . \end{array}

But 0<arcctg8<arctg17<arctg150<\operatorname{arcctg} 8<\operatorname{arctg} \frac{1}{7}<\operatorname{arctg} \frac{1}{5}
<arctg13<π<\operatorname{arctg} \frac{1}{3}<\pi,
the left side of the original equation (0,π)\in(0, \pi), while Arg(650 +650i)=nπ+π4,nZ+650 i)=n \pi+\frac{\pi}{4}, n \in Z.
nn should be 0, so the left side of the original equation =π4=\frac{\pi}{4}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.