Seems impossible, right?

I wrote 4 positive integers a 1 a 2 a 3 a 4 a_1\le a_2 \le a_3 \le a_4 such that a 1 2 + a 2 2 a_1^2 + a_2^2 a 1 2 + a 2 2 + a 3 2 a_1^2 + a_2^2 + a_3^2 a 1 2 + a 2 2 + a 3 2 + a 4 2 a_1^2 + a_2^2 + a_3^2 + a_4^2
are perfect squares. If a 4 = 1731660 a_4 = 1731660 and a 1 a_1 is a prime, then calculate the value of a 1 a_1 .


The answer is 11.

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
Aug 26, 2017

Since 2 × 1731660 + 1 1 = 1860 2 × 1860 + 1 1 = 60 2 × 60 + 1 = 11 \sqrt{2 \times 1731660 + 1} - 1 \; = \; 1860 \hspace{1cm} \sqrt{2 \times 1860 + 1} - 1 \; = \; 60 \hspace{1cm} \sqrt{2\times60 + 1} \; = \; 11 we obtain the solution a 1 = 11 a_1 = 11 , a 2 = 60 a_2 = 60 , a 3 = 1860 a_3 = 1860 . The trick is to show that this is the only solution.

We are trying to find positive integers a 1 a 2 a 3 a 4 a_1 \le a_2 \le a_3 \le a_4 and positive integers u , v , w u,v,w such that a 1 2 + a 2 2 = u 2 a 1 2 + a 2 2 + a 3 2 = v 2 a 1 2 + a 2 2 + a 3 2 + a 4 2 = w 2 a_1^2 + a_2^2 \; = \; u^2 \hspace{1cm} a_1^2 + a_2^2 + a_3^2 \; = \; v^2 \hspace{1cm} a_1^2 + a_2^2 + a_3^2 + a_4^2 = w^2 where a 1 = p a_1=p is prime and a 4 = 1731660 a_4 = 1731660 . Thus p 2 = u 2 a 2 2 = ( u + a 2 ) ( u a 2 ) p^2 \; = \; u^2 - a_2^2 \; = \; (u + a_2)(u - a_2) and hence p > 2 p > 2 with u + a 2 = p 2 u+a_2 = p^2 and u a 2 = 1 u - a_2 = 1 , so that a 2 = 1 2 ( p 2 1 ) a_2 = \tfrac12(p^2-1) and u = 1 2 ( p 2 + 1 ) u = \tfrac12(p^2+1) . Thus a 2 a_2 is even. Since a 1 = p a_1=p is odd and a 4 a_4 is even, we deduce that a 3 a_3 is even as well, so that u , v , w u,v,w are all odd.

Also note that 173166 0 2 = w 2 v 2 = ( w + v ) ( w v ) 1731660^2 = w^2 - v^2 = (w+v)(w-v) , so that v = 1 2 ( d 173166 0 2 d ) v \; = \; \frac12\left(d - \frac{1731660^2}{d}\right) is odd, where d d is an even positive divisor of 173166 0 2 1731660^2 which is greater than 1731660 1731660 . There are 405 405 such integers v v .

Now we note that v 2 = u 2 + a 3 2 = ( 1 2 ( a 1 2 + 1 ) ) 2 + a 3 2 v^2 \; = \; u^2 + a_3^2 \; = \; \left(\tfrac12(a_1^2 + 1)\right)^2 + a_3^2 where a 3 1 2 ( a 1 2 1 ) a_3 \ge \tfrac12(a_1^2 - 1) .

An easy computer check shows that there is no solution to the equations ( x 2 + 1 ) 2 + 4 y 2 = 4 v 2 , 2 y x 2 1 (x^2 + 1)^2 + 4y^2 = 4v^2 \;, \; 2y \ge x^2 - 1 for positive integers x , y x,y (not even requiring x x to be prime) for any of the 405 405 possible values of v v except for v = 1861 v = 1861 , which yields x = 11 x=11 , y = 1860 y=1860 . Thus the only possible solution is a 1 = 11 a_1 = \boxed{11} , a 2 = 60 a_2 = 60 , a 3 = 1860 a_3 = 1860 .

When I add a 1 a_1 is a prime, it is sure that the problem looks harder, isn't it?

Thành Đạt Lê - 3 years, 9 months ago

Log in to reply

Well, it was easy enough to find the solution 11 11 by back-tracking from 1731660 1731660 . What was harder was showing that 11 11 was the only solution. As you know, without the word "prime" there were more than one...

Mark Hennings - 3 years, 9 months ago

Log in to reply

Next time, I will be more careful when making problems, this problem has been a mess, a big mess.

Thành Đạt Lê - 3 years, 9 months ago

Mark, this "easy computer check" as described in your solution is exactly how I did it. So far I haven't been able to prove the uniqueness of this solution without resorting to this fairly limited computer search.

Michael Mendrin - 3 years, 9 months ago

Log in to reply

Nor I. I got bored and went with the computer search.

Mark Hennings - 3 years, 9 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...