HMMT 2004 A5

There exists a positive real number $x$ such that $\cos \left(\tan ^{-1}(x)\right)=x$ . Find the value of $x^{2}$ .

Dataset text NuminaMath olympiads. Quoted with source.

Show the answer

\frac{-1+\sqrt{5}}{2}

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.