He resuelto este problema, el de hace quince años sin resolver numéricamente las ecuaciones de grado 4, yo estaba feliz en una sustitución que me evite atacar directamente a las ecuaciones de grado 4.
Hoy mi sobrino, que es un entusiasta estudiante de matemáticas, propone mí el mismo problema. Se me ocurre que estoy muy oxidado para sustituciones algebraicas de forma exhaustiva. He intentado durante aproximadamente 3 horas. Lo decepcionado que no quiero que mi sobrino a sus intentos (y no yo) pide ayuda a la ME de la comunidad. Y, por supuesto, voy a dar todos los créditos a MÍ.
Mi intento. Tenga en cuenta que $ \cos \alpha = \frac{1}{x}$, $\cos \alpha = \frac{y}{1}$, $\cos \alpha = \frac{y+1}{x+1}$. Then we have $xy=1$, i.e. $y=\frac{1}{x}$. Por El Teorema De Pitágoras. \begin{align} (y+1)^2+1^2=(x+1)^2 & \Longleftrightarrow y^2+2y+1+1=x^2+2x+1 \\ & \Longleftrightarrow x^2-y^2+2(x-y)-1=0 \\ \end{align} Actualización [ 26 de julio de 2016 ] recuerdo la vez que me ha resuelto esta cuestión, he intentado algo como \begin{align} x^2-y^2+2(x-y)-1=0 & \Longleftrightarrow (x-y)[x+2+y]=1 \\ & \Longleftrightarrow (x-y)[x+2\cdot 1+y]=1 \\ & \Longleftrightarrow (\sqrt{x}-\sqrt{y})(\sqrt{x}+\sqrt{y})[x+2\sqrt{x}\sqrt{y}+y]=1 \\ & \Longleftrightarrow (\sqrt{x}-\sqrt{y})(\sqrt{x}+\sqrt{y})^3=1 \\ & \Longleftrightarrow (\sqrt{x}+\sqrt{y})^3=\frac{1}{(\sqrt{x}-\sqrt{y})} \\ & \Longleftrightarrow (\sqrt{x}+\sqrt{y})^3=\frac{(\sqrt{x}+\sqrt{y})}{(x-y)} \\ & \Longleftrightarrow (\sqrt{x}+\sqrt{y})^2=\frac{1}{(x-y)} \\ & \Longleftrightarrow (x+y+2)=\frac{1}{(x-y)} \end{align} Entonces tenemos dos formas de abordar el problema: $$ \left\{\begin{array}{rl}\sqrt{x}\sqrt{y}=&1 \\ (\sqrt{x}+\sqrt{y})^3=&\frac{1}{(\sqrt{x}-\sqrt{y})} \end{array}\right. \quad\mbox{ o } \quad \left\{\begin{array}{rl}xy=&1 \\ (x+y+2)=&\frac{1}{x-y} \end{array}\right. $$