A IMO q6 but i changed it a bit

Given that x x and y y are natural numbers and x y + 1 xy + 1 divides x 2 + y 2 x^2 + y^2 , is it possible for x 2 + y 2 x y + 1 \dfrac{x^2 + y^2}{xy + 1} to be a prime number?

No Yes

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.

1 solution

Mark Hennings
Mar 24, 2020

Suppose that N N N \in \mathbb{N} is such that there exist x , y N x,y \in \mathbb{N} such that x 2 + y 2 1 + x y = N ( ) \frac{x^2 + y^2}{1 + xy} \; = \; N \hspace{5cm} (*) If x = y x=y then N = 1 N=1 . Suppose that N > 1 N > 1 , so that x y x \neq y . Suppose for definiteness that x > y x > y . Then x x is a solution of the quadratic X 2 N y X + ( y 2 N ) = 0 X^2 - NyX + (y^2 - N) \; = \; 0 and the other solution z = N y x z = Ny - x is an integer such that y > z y > z (since x z < y 2 xz < y^2 and x > y x > y ) and y 2 + z 2 1 + y z = N \frac{y^2 + z^2}{1 + yz} \; = \; N If z < 0 z < 0 then 1 + y z 0 1 + yz \le 0 , which means that N N is either infinite or negative. Thus we deduce that z 0 z \ge 0 .

If z > 0 z > 0 then we can repeat the process, coming up with another solution ( z , w ) (z,w) of ( ) (*) with z > w 0 z > w \ge 0 . By induction, we can find a sequence of integers n 1 , n 2 , . . . , n K , n K + 1 n_1,n_2,...,n_K,n_{K+1} defined by n 1 = x n 2 = y n k + 1 = N n k n k 1 2 k N n_1 \; = \; x \hspace{1cm} n_2 \; = \; y \hspace{2cm} n_{k+1} \; = \; Nn_k - n_{k-1} \hspace{0.5cm} 2 \le k \le N where n 1 > n 2 > > n K > n K + 1 = 0 n_1 > n_2 > \cdots > n_K > n_{K+1} = 0 (the sequence must terminate) such that n k 2 + n k + 1 2 1 + n k n k + 1 = N 1 k K \frac{n_k^2 + n_{k+1}^2}{1 + n_kn_{k+1}} \; = \; N \hspace{2cm} 1 \le k \le K Putting k = K k = K in this last identity we see that N = n K 2 N = n_K^2 is a perfect square.

Thus x 2 + y 2 1 + x y \frac{x^2 + y^2}{1 + xy} is a perfect square whenever it is an integer, and hence cannot be prime.

1 pending report

Vote up reports you agree with

×

Problem Loading...

Note Loading...

Set Loading...