Calcule comprimentos laterais desconhecidos
RandomInstance pode ser usado para calcular comprimentos laterais desconhecidos sujeitos a restrições geométricas abstratas.
Dado o comprimento de um lado de um triângulo e a razão entre os comprimentos criada pela divisão de outro lado pela bissetriz do ângulo oposto, encontre o comprimento do terceiro lado do triângulo.
Encontre o comprimento do lado de um triângulo regular, cuja área é igual à circunferência do seu círculo.
