Calcule a área de um quadrado
RandomInstance pode ser usado para calcular áreas desconhecidas sujeitas a restrições geométricas abstratas.
Calcule a área de um quadrado de tal forma que o círculo que passa pelo ponto médio de um dos seus lados e os pontos finais do lado oposto seja a distância da unidade do ponto médio desse lado.