Maths Olympiad Prep

Library / HMMT February /31 of 1302

HMMT February

Algebra Difficulty 4.6 AIME Find the answer

There exists a positive real number xx such that cos⁡(tan⁡−1(x))=x\cos (\tan^{-1}(x))=x. Find the value of x2x^{2}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Draw a right triangle with legs 1,x1, x; then the angle θ\theta opposite xx is tan⁡−1x\tan^{-1} x, and we can compute cos⁡(θ)=1/x2+1\cos (\theta)=1 / \sqrt{x^{2}+1}. Thus, we only need to solve x=1/x2+1x=1 / \sqrt{x^{2}+1}. This is equivalent to xx2+1=1x \sqrt{x^{2}+1}=1. Square both sides to get x4+x2=1⇒x4+x2−1=0x^{4}+x^{2}=1 \Rightarrow x^{4}+x^{2}-1=0. Use the quadratic formula to get the solution x2=(−1+5)/2x^{2}=(-1+\sqrt{5}) / 2 (unique since x2x^{2} must be positive).

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.