Maths Olympiad Prep

Library / /21 of 860

Algebra Difficulty 4.6 AIME Find the answer

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

A number or a short expression. Spacing and $ signs are ignored.

Solution

Draw a right triangle with legs 1,x1, x; then the angle θ\theta opposite xx is tan1x\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=1x4+x21=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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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