MHB Find all quadruples (r, s, t, u)

  • Thread starter Thread starter anemone
  • Start date Start date
AI Thread Summary
The discussion focuses on finding all quadruples of positive real numbers (r, s, t, u) that satisfy the equations rstu=1, r^2012 + 2012s = 2012t + u^2012, and 2012r + s^2012 = t^2012 + 2012u. Participants suggest using the AM-GM inequality to prove that the only solution is the one previously mentioned. The conversation emphasizes the need for a rigorous proof to rule out any other potential solutions. Overall, the thread explores mathematical strategies to solve the given equations effectively.
anemone
Gold Member
MHB
POTW Director
Messages
3,851
Reaction score
115
Find all quadruples $(r,\,s,\,t,\,u)$ of positive real numbers such that $rstu=1$, $r^{2012}+2012s=2012t+u^{2012}$ and $2012r+s^{2012}=t^{2012}+2012u$.
 
Mathematics news on Phys.org
anemone said:
Find all quadruples $(r,\,s,\,t,\,u)$ of positive real numbers such that $rstu=1---(1)$,
$r^{2012}+2012s=2012t+u^{2012}---(2)$ and
$2012r+s^{2012}=t^{2012}+2012u---(3)$.
by observation ,we may let:
$r=u=\dfrac {1}{s},$ and $s=t$
 
Albert said:
by observation ,we may let:
$r=u=\dfrac {1}{s},$ and $s=t$

Hi Albert,

Thanks for your reply...perhaps you want to prove that there are no other solutions other than the one you cited by using the AM-GM inequality formula?:o
 
Solution of other:

Rewrite the last two equations as

$r^{2012}-u^{2012}=2012(t-s)$---(1)

$t^{2012}-s^{2012}=2012(r-u)$---(2)

Next, observe that $r=u$ holds iff $t=s$ holds. In that case, the last two equations are satisfied and the condition $rstu=1$ leads to a set of valid quadruples of the form $(r,\,s,\,t,\,u)=(k,\,\dfrac{1}{k},\,\dfrac{1}{k},\,k)$ for any $k>0$.

We now show that there are no other solutions. Assume that $r\ne u$ and $t\ne s$. Multiply the equation (1) by (2) we have

$(r^{2012}-u^{2012})(t^{2012}-s^{2012})=2012^2(t-s)(r-u)$

and divide the LHS by the RHS to get

$\dfrac{r^{2011}+\cdots+r^{2011-i}u^i+\cdots+u^{2011}}{2012}\cdot \dfrac{t^{2011}+\cdots+t^{2011-i}s^i+\cdots+s^{2011}}{2012}=1$

Now, applying the AM-GM inequality to the first factor, we have

$\dfrac{r^{2011}+\cdots+r^{2011-i}u^i+\cdots+u^{2011}}{2012}>\sqrt[2012]{(ru)^{\small\dfrac{2011\times 2012}{2}}}=(ru)^{\small{\dfrac{2011}{2}}}$

The inequality is strict, since equality holds only if all terms in the mean are equal to each other, which happpens only if $r=u$.

Similarly, we find

$\dfrac{t^{2011}+\cdots+t^{2011-i}s^i+\cdots+s^{2011}}{2012}>\sqrt[2012]{(ts)^{\small\dfrac{2011\times 2012}{2}}}=(ts)^{\small{\dfrac{2011}{2}}}$

Multiply both inequalities we obtain $(ru)^{\small{\dfrac{2011}{2}}}(ts)^{\small{\dfrac{2011}{2}}}<1$ which is equivalent to $rstu<1$, a contradiction.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top