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 cosseno do maior dos ângulos agudos é igual a: