De manera más general, supongamos que para algún $S,P$ se nos ha dado una solución racional
$(a_0,b_0,c_0)$ de la ecuación de Diophantine
$$
E = E_{S,P}:
\quad
a+b+c = S,
\ \
abc = P.
$$
A continuación, mientras $a,b,c$ son pares distintos,
podemos obtener una nueva solución de dólares(a_1,b_1,c_1)$ por la aplicación de la transformación
$$
T\bigl((a,b,c)\bigr) = \left(
-\frac{a(b-c)^2}{(a-b)(a-c)} \, ,
-\frac{b(c-a)^2}{(b-c)(b-a)} \, ,
-\frac{c(a-b)^2}{(c-a)(c-b)}
\right).
$$
De hecho, es fácil ver que las coordenadas de $T(a,b,c)$ multiplicar $abc$;
que también se suma a $a+b+c$ sólo toma un poco de álgebra.
(Esta transformación fue obtenida por sobre $abc=P$ como una curva cúbica
en el plano $a+b+c=S$, la búsqueda de la tangente en $(a_0,b_0,c_0)$,
y de computación en su tercer punto de intersección con $abc=P$;
ver foto y comentarios adicionales a continuación.)
Podemos, a continuación, repita el procedimiento, la informática, la
$$
(a_2,b_2,c_2) = T\bigl((a_1,b_1,c_1)\bigr),
\quad
(a_3,b_3,c_3) = T\bigl((a_2,b_2,c_2)\bigr),
$$
etc., mientras cada uno $a_i,b_i,c_i$ son, de nuevo, de a pares distintos.
En nuestro caso $S=P=6$ y partimos de $(a_0,b_0,c_0) = (1,2,3)$,
encontrar
$(a_1,b_1,c_1) = (-1/2, 8, -3/2)$,
$(a_2,b_2,c_2) = (-361/68, -32/323, 867/76)$,
$$
(a_3,b_3,c_3) = \left(
\frac{79790995729}{9885577384}\, ,\
-\frac{4927155328}{32322537971}\, ,\
-\frac{9280614987}{24403407416}\,
\right),
$$
"etcetera".
Como con el recursiva construcción dada por Tito Piezas III,
la construcción de $T$ a través de las tangentes a una cúbico es un ejemplo de
una técnica clásica que ha sido incorporado a la moderna
la teoría de curvas elípticas, pero no requiere explícita
profundizar en esta teoría. También como con TPIIIde construcción,
completar la prueba requiere que muestra que la iteración
no finalmente ciclo. Hacemos esto al mostrar que
(según lo sugerido por los tres primeros pasos) las soluciones de $(a_i,b_i,c_i)$
obtener cada vez más complicado a medida que $i$ aumenta.
Podemos medir la complejidad de un número racional por escrito como de $m/n$
en términos mínimos y la definición de una "altura" $H$ $H(m/n) = \sqrt{m^2+n^2}$.
Utilizando la definición de las ecuaciones de $E_{S,P}$, eliminamos $b,$ c de
la fórmula para la primera coordenada de $T\bigl( (a,b,c) \bigr)$,
y de la misma manera para cada una de las otras dos coordenadas, encontrando que
$$
T\bigl( (a,b,c) \bigr) = (t(a),t(b),t(c)) \bigr)
$$
donde
$$
t(x) := -\frac{x^2(x-S)^2 - 4Px}{x^2(2x-S)+P}.
$$
Nos encontramos con que el numerador y el denominador son primos relativos
como polinomios en $x$, a menos que $P=0$ o $P=(S/3)^3$, cuando $E_{S,P}$
es degenerado (obviamente así que si $P=0$, y con un aislado de doble punto
en $a=b=c=S/3$ si $P=(S/3)^3$). Mus $t$ es una función racional de grado $4$,
lo que significa que
$$
t(m/n) = \frac{N(m,n)}{D(m,n)}
$$
para algunos polinomios homogéneos $N,$ D de grado $4$ sin factor común.
Reclamamos:
La proposición. Si $f=N/D$ es una función racional de grado $d$
entonces existe $c>0$ tales que $H(t(x)) \geq c H(x)^d$ para todo $x$.
Corolario: Si $d>1$ y una secuencia de $x_0,x_1,x_2,x_3,\ldots$
se define inductivamente por $x_{i+1} = f(x_i)$, entonces $H(x_i) \rightarrow \infty$
como $i \rightarrow \infty$ siempre $H(x_i)$ es lo suficientemente grande, es decir,
$H(x_i) > c^{-1/(d-1)}$.
La prueba de la Proposición: Este sería claro si sabíamos que la fracción
$f(m/n) = N(m,n)/D(m,n)$ debe ser en términos mínimos, porque entonces podríamos tomar
$$
c = c_0 := \min_{m^2+n^2 = 1} \sqrt{N(m,n)^2 + D(m,n)^2}.
$$
(Tenga en cuenta que $c_0$ es estrictamente positivo, porque es el valor mínimo de
una positiva continua en función de la unidad de círculo, y el círculo unidad
es compacto.) En general $N(m,n)$ y $D(m,n)$ no necesita ser relativamente primos,
pero su mcd es acotada arriba: porque $N,$ D no tienen ningún factor común,
tienen distinto de cero combinaciones lineales de la forma $R_1 m^{2d}$ y $R_2 n^{2d}$,
y puesto que $\gcd(m^{2d},n^{2d}) = \gcd(m,n)^{2d} = 1$ tenemos
$$
\gcd(N(m,n), D(m,n)) \leq R := \text{lcm} (R_1,R_2).
$$
(En realidad $R = \pm R_1 = \pm R_2$, el valor común de ser
$\pm$ la resultante de $N$ y $D$; pero no necesitamos esto.)
Por lo tanto podemos tomar $c = c_0/R$, QED.
Para nuestro grado-$4$ funciones $t$ asociados con $E_{S,P}$ calculamos
$R = P^2 (27P-S^3)^2$, que es de $18^4$ para $S=P=6$; y calculamos
$c_0 > 1/12$ (el mínimo se produce cerca de $(.955,.3)$). Por lo tanto la secuencia de
de soluciones de $(a_i,b_i,c_i)$ es la garantía de que no ciclo de una vez de la
coordinar tiene altura de por lo menos $(12 \cdot 18^4)^{1/3} = 108$.
Esto ya pasa de $i=2$,
así hemos demostrado que $E_{6,6}$ tiene una infinidad de soluciones racionales.
$\Caja$
La misma técnica funciona con TPIII's la recursividad, que ha $d=9$.
El siguiente Sage gráfico muestra:
en $\color{blue}{\text{blue}}$, la curva de $E_{6,6}$, proyectada para el
$(a,b)$ avión (con coordenadas en $[-6,12]$);
en $\color{color gris}{\text{gris}}$, las asíntotas $a=0$, $b=0$ y $c=0$;
y en $\color{orange}{\text{orange}}$, $\color{red}{\text{rojo}}$, y
$\color{color marrón}{\text{marrón}}$, las tangentes a la curva en el
$(a_i,b_i,c_i)$ que cumplen con la curva de nuevo en $(a_{i+1},b_{i+1},c_{i+1})$,
para $i=0,1,2$:
Otras soluciones pueden ser obtenidos de intersección $E$ con la línea de
uniendo dos puntos consecutivos; esto se ilustra por el
de puntos $\color{verde}{\text{verde}}$ de la línea, que conecta la
$i=0$ a $i=2$ punto, y cumple con $E$ de nuevo en un punto de
$(20449/8023, 25538/10153, 15123/16159)$ con todas las coordenadas positivas.
En la moderna teoría de curvas elípticas, los puntos racionales
(incluyendo cualquier racional "de los puntos en el infinito", aquí las asíntotas)
forma un aditivo grupo, con tres puntos de añadir a cero iff son
la intersección de $E$, con una línea (contadas con multiplicidad).
Por lo tanto, si denotamos nuestro punto inicial de $(1,2,3)=(a_0,b_0,c_0)$ $P$,
el mapa de $T$ es la multiplicación por $-2$ en el grupo la ley, por lo que el
$i$-ésima iteración es de $(-2)^i P$ y $(20449/8023, 25538/10153, 15123/16159)$
es $-(P+4P) = -5P$. Cíclico permutaciones de las coordenadas de la traducción
por un 3-torsión en el punto (de hecho, de una curva elíptica tiene un racional 3-torsión
punto de iff es isomorfo con $E_{S,P}$ $S$ y $P$),
y la conmutación de dos coordenadas es la multiplicación por $-1$. La iteración
construido por Tito Piezas III es la multiplicación por $\pm 3$ en el
grupo de derecho; en general, la multiplicación por $k$ es una función racional
de grado $k^2$.