MathDB
real solutions to a system

Source: Czech and Slovak third round,2006,p6

March 3, 2012
trigonometryalgebrasystem of equationsalgebra unsolved

Problem Statement

Find all real solutions (x,y,z)(x,y,z) of the system of equations: {tan2x+2cot22y=1tan2y+2cot22z=1tan2z+2cot22x=1 \begin{cases} \tan ^2x+2\cot^22y=1 \\ \tan^2y+2\cot^22z=1 \\ \tan^2z+2\cot^22x=1 \\ \end{cases}