A Super Nice Equation

Algebra Level 3

Does there exist distinct rational numbers x , y x,y and z z such that 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( z x ) 2 = 2021 ? \frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(z-x)^2}=2021?

Yes No

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

ChengYiin Ong
Feb 10, 2021

Observe that since ( 1 x y + 1 y z + 1 z x ) 2 = 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( y z ) 2 + 2 ( 1 ( x y ) ( y z ) + 1 ( y z ) ( z x ) + 1 ( z x ) ( x y ) ) = 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( y z ) 2 + 2 ( ( z x ) + ( x y ) ( x y ) ( y z ) ( z x ) + 1 ( z x ) ( x y ) ) = 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( y z ) 2 + 2 ( z y ( x y ) ( y z ) ( z x ) + 1 ( z x ) ( x y ) ) = 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( y z ) 2 + 2 ( 1 ( x y ) ( z x ) + 1 ( z x ) ( x y ) ) = 1 ( x y ) 2 + 1 ( y z ) 2 + 1 ( y z ) 2 \begin{aligned} \left(\frac{1}{x-y}+\frac{1}{y-z}+\frac{1}{z-x}\right)^2 &=\frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(y-z)^2}+2\left(\frac{1}{(x-y)(y-z)}+\frac{1}{(y-z)(z-x)}+\frac{1}{(z-x)(x-y)}\right) \\ &=\frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(y-z)^2}+2\left(\frac{(z-x)+(x-y)}{(x-y)(y-z)(z-x)}+\frac{1}{(z-x)(x-y)}\right) \\ &= \frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(y-z)^2}+2\left(\frac{z-y}{(x-y)(y-z)(z-x)}+\frac{1}{(z-x)(x-y)}\right) \\ &=\frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(y-z)^2}+2\left(-\frac{1}{(x-y)(z-x)}+\frac{1}{(z-x)(x-y)}\right) \\ &= \frac{1}{(x-y)^2}+\frac{1}{(y-z)^2}+\frac{1}{(y-z)^2} \end{aligned} thus, since 2021 is clearly not a square of a rational number, we're done. \blacksquare

Remark: This problem is adapted from 2014 Baltic Way.

That is super nice!

Chris Lewis - 4 months ago

If you had instead taken ( 1 y x + 1 y z + 1 z x ) 2 \left(\dfrac{1}{y-x}+\dfrac{1}{y-z}+\dfrac{1}{z-x}\right)^2 on the left hand side, the expression that you got on right hand side would still have been there, but with some non-zero quantity added to it. Is this an independent case? If yes then shouldn't we prove this case seperately?

Gaurav Pundir - 2 months, 3 weeks ago
K T
Feb 12, 2021

Suppose x , y , z Q x,y,z \in \mathbb{Q} , let a = 1 x y , b = 1 y z , c = 1 z x , a=\frac{1}{x-y}, b=\frac{1}{y-z}, c=\frac{1}{z-x}, then a , b , c Q a,b,c \in \mathbb{Q} . Because 1 a + 1 b + 1 c = 0 \frac{1}{a}+\frac{1}{b}+\frac{1}{c}=0 , we can write c = a b a + b c=-\frac{ab}{a+b} So a 2 + b 2 + a 2 b 2 ( a + b ) 2 = 2021 a^2+b^2+\frac{a^2b^2}{(a+b)^2}=2021

Setting s = a + b s=a+b and p = a b p = ab this writes as s 2 2 p + p 2 s 2 = 2021 s^2-2p+ \frac{p^2}{s^2} = 2021 or (multiplied by s 2 s^2 and rearranged):

p 2 2 p s 2 + s 4 2021 s 2 = 0 p^2-2ps^2 +s^4 -2021s^2=0 Solving for p p : p = s 2 ± s 2021 p = s^2 \pm s\sqrt{2021 } Note that s cannot be 0, because p, a, and b would be 0 too. p s 2 s = ± 2021 \frac{p-s^2}{s}=\pm\sqrt{2021} Since the left hand side is rational and the right hand side is irrational, this is impossible. Conclusion: x, y, and z cannot all be rational.

This is a really great solution

Utkarsh Kumar - 3 months, 2 weeks ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...