Pista:Indagando Complejos

Para averiguar si un número a es complejo o real, como si la función x() o y() operan con reales, no se cuenta con un comando del orden de EsComplejo.
Una posible maniobra sería acudir a:
complejo = EstáDefinido(sqrt(a) + sqrt(-a)) ∧ (a ≠ 0) lo que da un resultado indicativo porque sólo los complejos tienen sendas raíces, positiva y negativa (excepto, claro, el 0 que por eso precisa ser descartado como caso especial).

Alerta:

Los complejos con parte imaginaria nula, como b = 2 + 0i también darán un resultado positivo. Para controlar también esta alternativa, es preciso añadir y(a) != 0.

---

La sección ¿Sabían que... ? encabeza un "salpìcón" de pistas a consultar.