Para cada triplete de números reales $(x,y,z)$ que satisface $$xy+yz+zx=1,$$ entonces existe un triplete único de ángulos $(\alpha, \beta, \gamma)$ , de tal manera que $0 \le \alpha, \beta, \gamma < \pi $ y $\alpha + \beta + \gamma= \pi $ es decir, son ángulos de un triángulo, y $$tg(\frac{\alpha}{2}) = x, \text{ } tg(\frac{\beta}{2}) = y, \text{ }tg(\frac{\gamma}{2}) = z$$ Efectivamente, se puede comprobar que en todo triángulo con ángulos $\alpha, \beta, \gamma$ tienes $tg(\frac{\alpha}{2})tg(\frac{\beta}{2}) + tg(\frac{\beta}{2})tg(\frac{\gamma}{2}) + tg(\frac{\alpha}{2})tg(\frac{\gamma}{2}) =1 $
También sabemos que $$sin(\alpha)=\frac{2*tg(\frac{\alpha}{2})}{tg(\frac{\alpha}{2})^2+1}= \frac{2x}{x^2+1}$$
La otra condición, escrita como ayuda a nuestra intuición, se convierte ahora en: $$5\left(\frac{x^2+1}{2x}\right)=12\left(\frac{y^2+1}{2y}\right)=13\left(\frac{z^2+1}{2z}\right)$$ que es sólo $$ \frac{sin (\alpha)}{5}= \frac{sin(\beta)}{12} = \frac{sin(\gamma)}{13} =k_0 $$
Por la ley del seno, sabemos que las longitudes de los lados de un triángulo son directamente proporcionales a los senos de los ángulos opuestos, por lo tanto si denotamos $a,b,c$ los lados, tenemos
$$ \frac{a}{5}= \frac{b}{12} = \frac{c}{13} =k $$ por lo que obtenemos $$ a=5k, b=12k, c= 13k $$
Utilizando la ley de los cosenos, obtenemos $$ cos(\alpha)=\frac{b^2+c^2-a^2}{2bc} $$ y las fórmulas análogas para $\beta $ y $\gamma$ danos $$ cos(\alpha) = \frac{12}{13}, cos(\beta) = \frac{5}{13}, cos(\gamma)= 0 $$ lo que significa que $$x= tg(\frac{\alpha}{2}) = \sqrt{\frac{1-cos(\alpha)}{1+cos(\alpha)}} = \frac{1}{5}$$ $$y= tg(\frac{\beta}{2}) = \sqrt{\frac{1-cos(\beta)}{1+cos(\beta)}} = \frac{2}{3}$$ $$z= tg(\frac{\gamma}{2}) = \sqrt{\frac{1-cos(\gamma)}{1+cos(\gamma)}} = 1$$
Hemos elegido la raíz positiva de $tg^2(\frac{\alpha}{2}) = \frac{1-cos(\alpha)}{1+cos(\alpha)}$ y el análogo, porque $0 \le \alpha, \beta, \gamma < \pi $ Por lo tanto $0 <\frac{\alpha}{2}, \frac{\beta}{2}, \frac{\gamma}{2} < \frac{\pi}{2} $ lo que significa que $tg(\frac{\alpha}{2}), tg(\frac{\beta}{2}), tg( \frac{\gamma}{2}) $ son positivos .