Em um triângulo retângulo, o complementar de um dos ângulos agudos é o dobro do complementar do outro ângulo agudo. Logo, o quadrado do seno do maior dos ângulos agudos é igual a: