Representing every positive rational number in the form of $(a^n+b^n)/(c^n+d^n)$

About a month ago, I got the following :

For every positive rational number $r$, there exists a set of four positive integers $(a,b,c,d)$ such that $$r=\frac{a^\color{red}{3}+b^\color{red}{3}}{c^\color{red}{3}+d^\color{red}{3}}.$$

For $r=p/q$ where $p,q$ are positive integers, we can take $$(a,b,c,d)=(3ps^3t+9qt^4,\ 3ps^3t-9qt^4,\ 9qst^3+ps^4,\ 9qst^3-ps^4)$$ where $s,t$ are positive integers such that $3\lt r\cdot(s/t)^3\lt 9$.

For $r=2014/89$, for example, since we have $(2014/89)\cdot(2/3)^3\approx 6.7$, taking $(p,q,s,t)=(2014,89,2,3)$ gives us $$\frac{2014}{89}=\frac{209889^3+80127^3}{75478^3+11030^3}.$$

Then, I began to try to find every positive integer $n$ such that the following proposition is true :

Proposition : For every positive rational number $r$, there exists a set of four positive integers $(a,b,c,d)$ such that $$r=\frac{a^\color{red}{n}+b^\color{red}{n}}{c^\color{red}{n}+d^\color{red}{n}}.$$

The followings are what I've got. Let $r=p/q$ where $p,q$ are positive integers.

  • For $n=1$, the proposition is true. We can take $(a,b,c,d)=(p,p,q,q)$.

  • For $n=2$, the proposition is false. For example, no such sets exist for $r=7/3$.

  • For even $n$, the proposition is false because the proposition is false for $n=2$.

However, I've been facing difficulty in the case of odd $n\ge 5$. I've tried to get a similar set of four positive integers $(a,b,c,d)$ as the set for $n=3$, but I have not been able to get any such set. So, here is my question.

Question : How can we find every odd number $n\color{red}{\ge 5}$ such that the following proposition is true?

Proposition : For every positive rational number $r$, there exists a set of four positive integers $(a,b,c,d)$ such that $$r=\frac{a^n+b^n}{c^n+d^n}.$$

Update : I posted this question on MO.

Added : Problem N2 of IMO 1999 Shortlist asks the case $n=3$.


Solution 1:

For the above problem there are four sets of solutions (this is intuitive: for a, b, c, & d). In the case of positive rational r and any odd number n we can eliminate all but one of the solutions:

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

In the case of any odd number n≥3 we refer to the generating function:

$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} \in Z$

As well as the case of every odd number 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} \in Z$

Quickly we discover that it doesn't matter the value of n, as long as it's odd and positive, leading to the generalization:

$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}) \in Z$

For all 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) \in Z$

Note: this isn't a complete answer so it might be more appropriate as a comment, but pending reputation I may as well take a naive crack at it. Excuse any abuse of notation or lack of comprehension--it's been over a decade since I've had any formal mathematics. Lastly, I welcome criticism, especially if it's informative and friendly!

Solution 2:

Your solution for n=3 includes an implicit change of variables: $$ \left(a,b,c,d\right)=\left(x+y,x-y,u+v,u-v\right) $$ $$ r = \left(2x/2u\right)\left(x^2+3y^2\right)/\left(u^2+3v^2\right)$$ at which point the substitution $$ \left(x,y,u,v\right)=\left(3ps^3t,9qt^4,9qst^3,ps^4\right)$$ yields the desired result of $$r=p/q$$

A similar two-step substitution for $$n\ge 5$$ may simplify the search

for n=5, the substitution

$$ \left(a,b,c,d\right)=\left(x+y,x-y,u+v,u-v\right) $$

yields

$$ r = \left(2x/2u\right)\left(x^4+10x^2y^2+5y^4\right)/\left(u^4+10u^2v^2+5v^4\right)$$