El triángulo rectángulo tiene un ángulo de 90º y dos de 45º (por ser isósceles).
Si nos centramos en el triángulo de vértices A, B y O observamos que podemos calcular sus ángulos:
Los ángulos $45-\beta_1$ y $45+\beta_2$ son fáciles de detectar.
Para el tercer ángulo aplicamos que la suma (…)