Búsqueda del área de un cuadrado
RandomInstance puede ser usado para resolver áreas desconocidas sujetas a restricciones geométricas abstractas.
Encuentre el área de un cuadrado de modo que el círculo que pasa por el punto medio de uno de sus lados y los puntos finales del lado opuesto sea la unidad de distancia desde el punto medio de ese lado.