There exists a positive real number x such that cos(tan−1(x))=x. Find the value of x2.
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,x; then the angle θ opposite x is tan−1x, and we can compute cos(θ)=1/x2+1. Thus, we only need to solve x=1/x2+1. This is equivalent to xx2+1=1. Square both sides to get x4+x2=1⇒x4+x2−1=0. Use the quadratic formula to get the solution x2=(−1+5)/2 (unique since x2 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 reproduced verbatim; metadata (topic, difficulty) added by this project.