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. Spacing and $ signs are ignored.
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 and solution reproduced as published; topic and difficulty added by this site.