73 votos

Que representa cada número racional positivo en el formulario de $(a^n+b^n)/(c^n+d^n)$

Hace aproximadamente un mes, tengo las siguientes :

Para cada número racional positivo de $r$, existe un conjunto de cuatro números enteros positivos $(a,b,c,d)$ tal que $$r=\frac{a^\color{red}{3}+b^\color{red}{3}}{c^\color{red}{3}+d^\color{red}{3}}.$$

Para $r=p/q$ donde $p,q$ son números enteros positivos, podemos tomar $$(a,b,c,d)=(3ps^3t+9qt^4,\ 3ps^3t-9qt^4,\ 9qst^3+ps^4,\ 9qst^3-ps^4)$$ donde $s,t$ son enteros positivos tales que $3\lt r\cdot(s/t)^3\lt 9$.

Para $r=2014/89$, por ejemplo, ya tenemos $(2014/89)\cdot(2/3)^3\aprox 6.7$, teniendo $(p,q,s,t)=(2014,89,2,3)$ nos da $$\frac{2014}{89}=\frac{209889^3+80127^3}{75478^3+11030^3}.$$

Entonces, empecé a tratar de encontrar todos los enteros positivos $n$ que la siguiente proposición es verdadera :

Proposición : Para cada número racional positivo de $r$, existe un conjunto de cuatro números enteros positivos $(a,b,c,d)$ tal que $$r=\frac{a^\color{red}{n}+b^\color{red}{n}}{c^\color{red}{n}+d^\color{red}{n}}.$$

Los siguientes son lo que tengo. Vamos a $r=p/q$ donde $p,q$ son números enteros positivos.

  • Para $n=1$, la proposición es verdadera. Podemos tomar $(a,b,c,d)=(p,p,p,p)$.

  • Para $n=2$, la proposición es falsa. Por ejemplo, no establece existen para $r=7/3$.

  • Incluso para $n$, la proposición es falsa porque la proposición es falsa para $n=2$.

Sin embargo, he estado en la dificultad en el caso de la extraña $n\ge 5$. He tratado de conseguir un conjunto similar de cuatro enteros positivos $(a,b,c,d)$ como el conjunto para $n=3$, pero no he sido capaz de conseguir cualquier conjunto. Así que, aquí está mi pregunta.

Pregunta : ¿Cómo podemos encontrar cada número impar $n\color{red}{\ge 5}$ tal que la siguiente proposición es verdadera?

Proposición : Para cada número racional positivo de $r$, existe un conjunto de cuatro números enteros positivos $(a,b,c,d)$ tal que $$r=\frac{a^n+b^n}{c^n+d^n}.$$

Actualización : he publicado esta pregunta en MO.

Añadido : Problema N2 de la OMI 1999 Preselección pide el caso $n=3$.

4voto

Para el problema anterior hay cuatro conjuntos de soluciones (esto es intuitivo: para a, b, c, & d). En el caso de los positivos racionales r y cualquier número impar n podemos eliminar todas, pero una de las soluciones:

$d^n = 5 \wedge c^n = 1 \wedge a^n + b^n = 30 \wedge r = 5 \wedge a^n \Z$

En el caso de cualquier número impar n≥3 nos referimos a la generación de la función:

$a^{2 n + 1} + b^{2 n + 1} = 30 \wedge c^{2 n + 1} = 1 \wedge d^{2 n + 1} = 5 \wedge r = 5 \wedge a^{2 n + 1} \Z$

Así como el caso de cada número impar n≥5 (et. al):

$a^{2 n + 3} + b^{2 n + 3} = 30 \wedge c^{2 n + 3} = 1 \wedge d^{2 n + 3} = 5 \wedge r = 5 \wedge a^{2 n + 3} \Z$

Rápidamente descubrimos que no importa el valor de n, siempre que sea impar y positivo, que conduce a la generalización:

$r = -c_5-1 \wedge a^{2n+1} + b^{2n+1} = (c_1+c_4+1)(c_5+1) \wedge c^{2n+1}+c_3 = c_1+c_2+1 \wedge c_2+d^{2n+1} = c_3+c_4 \wedge (c_5 | c_4 | c_3 | c_2 | c_1 | a^{2n+1}) \Z$

Para todo n:

$r = -c_5-1 \wedge$

$a^n + b^n = (c_1+c_4+1)(c_5+1) \wedge$

$c^n+c_3 = c_1+c_2+1 \wedge$

$c_2+d^n = c_3+c_4 \wedge$

$(c_5 | c_4 | c_3 | c_2 | c_1 | a^n) \Z$

Nota: esta no es una respuesta completa por lo que podría ser más apropiado como un comentario, pero, en espera de reputación que puede tomar un ingenuo grieta en ella. Perdonar cualquier abuso de notación o la falta de comprensión, ha sido más de una década desde que tengo uso formal de las matemáticas. Por último, doy la bienvenida a la crítica, especialmente si es informativo y amable!

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X