Hola el_manco
Gracias por tu respuesta 32.
Contesto a tu respuesta 18:
\( [c^nx_0(c^n-2a^n)+a^{n+1}] \) ? \( [c^ny_0(2b^n-c^n)+b^{n+1}] \)
\( a, b, c, x_0, y_0, n \) son ENTEROS
El interrogante que separa estas dos expresiones sea \( =, > \) o \( < \) no se altera en absoluto si cuando se traspone un término de la derecha a la izquierda o de la izquierda a la derecha se le cambia el signo\( + \) por\( - \), o bien \( - \) por \( + \) .
Dicho esto repaso mi respuesta 12 al final \( b^{n+1}(x_0-y_0)>a^{n+1} \)
falta multiplicar primer miembro por \( b^{n-1} \) y segundo miembro por \( a^{n-1} \) :
\( b^{2n}(x_0-y_0)>a^{2n} \)
Cabe añadir que siendo \( K_1>K_2 \), al ser ambos valores \( K_1 \) y \( K_2 \) negativos, entonces \( K_1<K_2 \)
Esto se comprueba perfectamente con ejemplos numéricos.
Saludos.