Supongamos que quiero demostrar que una variable posee una determinada propiedad (por ejemplo, es un cuadrado). Por ejemplo, si quiero demostrar que $x$ en $\frac{x^2+y^2+1}{xy} = k$ tiene la propiedad de ser un cuadrado (Es obviamente falso, pero supongamos que es verdadero ). ¿Es necesario entonces fijar $x$ y mira los pares $(y,k)$ (que satisfacen la ecuación), o mirar los pares $(x,y)$ y fijar k? Esta última es la única versión que he visto hasta ahora.
( fuente del método de salto de vieta : www.yimin-ge.com/doc/VietaJumping.pdf )