Let be the Gaussian integers , satisfying the equations above, where and is real.
What is the least possible value of ?
Note: , and is the absolute value of .
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.
4 − 3 i 5 = ( 4 − 3 i ) ( 4 + 3 i ) 5 ( 4 + 3 i ) = 5 4 + 3 i .
Let v = a + b i ; w = c + d i ; z = e + f i for some integers a , b , c , d , e , f .
Then v 1 = ∣ v ∣ 2 a − b i . w 1 = ∣ w ∣ 2 c − d i . z 1 = ∣ z ∣ 2 e − f i .
Hence, 5 4 = ∣ v ∣ 2 a + ∣ w ∣ 2 c + ∣ z ∣ 2 e , and 5 3 = ∣ v ∣ 2 − b − ∣ w ∣ 2 d − ∣ z ∣ 2 f .
With 5 as a denominator on the left and distinct absolute values on the right, one of these Gaussian integers will have common Gaussian prime factor with 5 , and the least absolute value will equal to 1 2 + 2 2 = 5 .
In other words, one of the Gaussian integer will be one in the set: {1+2i, 1-2i, -1+2i, -1-2i, 2+i, 2-i, -2+i, -2-i}.
Since we are attempting to find the least possible absolute value sum, we can begin by investigate the absolute value 1 2 + 1 2 = 2 as the other value. Then, ∣ v ∣ 2 = 2 , for all integers' absolute values are greater than 1 .
Thereby, v will be one in the set: {1+i, 1-i, -1+i, -1-i}.
For the last Gaussian integer, we can opt the square absolute power of 4 , 8 , 9 , 1 0 , . . . as 3 , 6 , 7 can not be represented sum of two perfect squares.
Case #1: ∣ v ∣ 2 = 2 , ∣ w ∣ 2 = 4 ; ∣ z ∣ 2 = 5
5 4 = 2 a + 4 c + 5 e , and 5 3 = 2 − b − 4 d − 5 f .
For a , b , the values vary within ± 1 only. For c , d , one of them is 0 , and the other is ± 2 . For e , f , one of them is ± 1 , and the other is ± 2 .
If a = − 1 , the 1 0 1 3 = 4 c + 5 e . With highest possible values of c , e , it will never exceed 1 , so a = 1 .
Then 1 0 3 = 4 c + 5 e .
Similarly, if b = 1 , the equation is also not possible, so b = − 1 , and 1 0 1 = 4 − d − 5 f .
Since either c or d is zero, that means 1 0 3 = 5 e or 1 0 1 = 5 f , or e = 1 . 5 or f = 0 . 5 . However, e , f are integers, so it's contradicted, making case #1 impossible.
Similarly, with one the square absolute value of 9 , we will reach similar conclusion.
Case #2: ∣ v ∣ 2 = 2 , ∣ w ∣ 2 = 5 ; ∣ z ∣ 2 = 8
5 4 = 2 a + 5 c + 8 e , and 5 3 = 2 − b − 5 d − 8 f .
For a , b , the values vary within ± 1 only. For c , d , one of them is ± 1 , and the other is ± 2 . For e , f , the values vary within ± 2 only.
That means, 5 4 = 2 a + 5 c ± 4 1 , and 5 3 = 2 − b − 5 d ± 4 1 .
2 0 1 6 = 2 0 1 0 a + 4 c ± 5 and 2 0 1 2 = 2 0 − 1 0 b − 4 d ± 5 .
However, the numerators on the right will be odd, so both equations can never be achieved, making case #2 also impossible.
Case #3: ∣ v ∣ 2 = 2 , ∣ w ∣ 2 = 5 ; ∣ z ∣ 2 = 1 0
5 4 = 2 a + 5 c + 1 0 e , and 5 3 = 2 − b − 5 d − 1 0 f .
For a , b , the values vary within ± 1 only. For c , d , one of them is ± 1 , and the other is ± 2 . For e , f , one of them is ± 1 , and the other is ± 3 .
Then, 1 0 8 = 1 0 5 a + 2 c + e , and 1 0 6 = 1 0 − 5 b − 2 d − f .
Hence, there are two possibilities: a = 1 , c = 1 , e = 1 , b = − 1 , d = − 2 , f = 3 or a = 1 , c = 2 , e = − 1 , b = − 1 , d = 1 , f = − 3 .
In other words, 4 − 3 i 5 = 1 − i 1 + 1 − 2 i 1 + 1 + 3 i 1 = 1 − i 1 + 2 + i 1 + − 1 − 3 i 1 .
However, only the former case works for v + w + z = 3 , which is a real integer.
Finally, since there are no other less value possibility, we can conclude that the least ∣ v ∣ 2 + ∣ w ∣ 2 + ∣ z ∣ 2 = 1 7 .