He reducido un número teoría problema para encontrar todos los pares ordenados $(a,b)$ que satisfacen la ecuación de $a(a-2) = b(b+2)$ en un cierto rango. Después de pensar en esto por un tiempo, pensé que ya sea $a = b + 2$, $a = -b$, $a = b = 0$ o $a = 2 \text{ and } b = -2$. Es fácil probar que estos valores de $a$ $b$ todos satisfagan la ecuación, pero ¿cómo puedo resolver esta ecuación si yo no hubiera llegado con estas soluciones? Y ¿cómo sé que no me pierda? En resumen, esta ecuación puede resolverse (más rigurosamente?
Editar: Tonto de mí, no he de reconocer que mis últimos dos soluciones ya estaban cubiertos por mis dos primeros.