Find the least positive integer k for which there exist two distinct positive integers a and b such that k 3 = a 4 + b 4 + ( a + b ) 4 .
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.
Great solution that is well explained. How did you come up with it?
Log in to reply
The main trick was to expand/collect terms in the expression a 4 + b 4 + ( a + b ) 4 , and spot the factorisation 2 ( a 2 + a b + b 2 ) 2 . The 1 2 3 2 1 coefficient pattern is symptomatic of a three-term square.
After that, identifying as many common factors of 2 as possible helped to cut the remaining problem down to size. There are two advantages in doing this:
(a) if you remove common factors (like 2 ) there may be coprime-like arguments that can be applied to the residual problem,
(b) the more common factors you identify, the smaller the range of possible answers becomes. The answer for k had to be less than 1 0 0 0 , so since k = 8 V 2 we know that V can be no bigger than 1 1 . This means that any remaining checking, if necessary, could be done by hand.
Argument (b) is, of course, only applicable to Brilliant problems, where the size of answer is known in advance!
Log in to reply
Good solution, but it was actually possible to find the solution directly, without checking cases. For that, it's enough to note that the quadratic form is actually a norm on Eisenstein integers. So by using cubic roots of unity you can factorize it complete the solution.
A small typo. Line 8 should read : "and hence that y and z are both even".
Fantastic solution and neatly written. Keep this up
brilliant
impressive solution
I obtained the same solution by, after getting to the V^3= Y^2+YZ+Z^2 stage, letting GCF(Y,Z)=d, Y=dy, Z=dz, V^3=d^2(y^2+yz+z^2), then choose smallest distinct y,z: y=1, z=2, and d=1+1x2+2^2=7. Of course, we still need to check that no smaller values are possible.
Did it the same way! :)
I did all the steps until it comes to the last part (checking each possible Z value)\ :[
let k 3 = a 4 + b 4 + ( a + b ) 4 so:
k 3 = 2 ( a 2 + a b + b 2 ) 2
then k need to be even so let ( 1 ) , k = 2 n where n is positive integer, by substituting we've:
k 3 = 2 ( a 2 + a b + b 2 ) 2
become
( 2 n ) 3 = 2 3 n 3 = 2 ( a 2 + a b + b 2 ) 2
divide both sides by 2
2 2 n 3 = ( a 2 + a b + b 2 ) 2
let ( 2 ) , n = m 2 where m is positive integer then:
2 2 n 3 = 2 2 ( m 2 ) 3 = 2 2 ( m 3 ) 2 = ( 2 m 3 ) 2 = ( a 2 + a b + b 2 ) 2
add root square to both sides (because m , a , b is positive integers) so:
2 m 3 = a 2 + a b + b 2
for a 2 + a b + b 2 can be even, a , b must be even so: let a = 2 x , b = 2 y and we've a , b are distinct positive integers, without loss of generality let b = 2 y = a + 2 z = 2 x + 2 z = 2 ( x + z ) then:
2 m 3 = a 2 + a b + b 2
become
2 m 3 = ( 2 x ) 2 + ( 2 x ) ( 2 ( x + z ) ) + ( 2 ( x + z ) ) 2
divide the both sides by 2 and factorize:
m 3 = 2 ( 3 x 2 + 3 x z + z 2 ) and let again ( 3 ) , m = 2 l where l is positive integer so:
m 3 = 2 ( 3 x 2 + 3 x z + z 2 )
( 2 l ) 3 = 2 ( 3 x 2 + 3 x z + z 2 )
l 3 = ( 3 x 2 + 3 x z + z 2 ) / 4
for 3 x 2 + 3 x z + z 2 be multiple of 4 must the both x , z be even also unnecessary for x , z be distinct positive integers, so when:
x = z = 2 , l 3 = ( 3 x 2 + 3 x z + z 2 ) / 4 = 7 = 1 × 1 × 7
x = z = 4 , l 3 = ( 3 x 2 + 3 x z + z 2 ) / 4 = 2 8 = 2 × 2 × 7
...
x = z = 1 4 , l 3 = ( 3 x 2 + 3 x z + z 2 ) / 4 = 3 4 3 = 7 × 7 × 7
we've k = 2 ( ( 2 × l ) 2 ) from ( 1 ) , ( 2 ) , ( 3 ) where l = 7 then k = 3 9 2
for those of us who think in code
public class LeastPositiveK {
public static void main(String[] args) {
for (int k = 1; k < 1000; k++) {
for (int a = 1; a <= 1000; a++) {
for (int b = 1; b <= 1000; b++) {
int kCube = k*k*k;
int a4 = a*a*a*a;
int b4 = b*b*b*b;
int ab = a+b;
int ab4 = ab*ab*ab*ab;
int sumRight = a4+b4+ab4;
if (sumRight == kCube && a != b) {
System.out.println("k="+k+", a="+a+", b="+b);
}
}
}
}
}
}
this is a kind of cheating...
This can be posted as a solution as long as you prove that your code isn't faulty and you didn't make any assumptions. As they said in the Brilliant FAQ, you probably aren't seeing the elegant way to solve things.
What program did you use?
Log in to reply
that's just a java program. coded it first in python but it was too slow.
Log in to reply
You could have speeded your algorithm up quite a bit, since k 3 > 2 a 4 , 2 b 4 . Thus you only needed to check for 2 ≤ a ≤ 1 4 9 and 1 ≤ b ≤ a − 1 .
Log in to reply
@Mark Hennings – this is what I'm looking for when I post these algorithmic solutions. Thank you!
Log in to reply
@Angel Leon – Can you please translate the code so it can be implemented into Pari/GP?
Log in to reply
@Edward Jiang – I'm sorry I'm afraid I don't know the syntax of Pari/GP, just checked it out, very interesting project for mathematicians.
I'll try to post next one in C
Problem Loading...
Note Loading...
Set Loading...
All variables are assumed to represent integers. We want to solve k 3 = 2 ( a 4 + 2 a 3 b + 3 a 2 b 2 + 2 a b 3 + b 4 ) = 2 ( a 2 + a b + b 2 ) 2 Thus k must be even, which implies that ( a 2 + a b + b 2 ) 2 is a multiple of 4 , and hence a 2 + a b + b 2 is even. This implies that both a and b are even, and hence k = 2 x , a = 2 y , b = 2 z where x 3 = 4 ( y 2 + y z + z 2 ) 2 This in turn implies that x is even, and hence that y 2 + y z + z 2 is even, and hence that y and z are both even. Thus x = 2 X , y = 2 Y , z = 2 Z where X 3 = 8 ( Y 2 + Y Z + Z 2 ) 2 which implies that X is even, so that X = 2 U where U 3 = ( Y 2 + Y Z + Z 2 ) 2 From this it is clear that U = V 2 and Y 2 + Y Z + Z 2 = V 3 .
The smallest possible solution for V of the equation V 3 = Y 2 + Y Z + Z 2 with Y , Z distinct positive integers is V = 7 (with Y = 1 4 and Z = 7 ), and so the smallest possible value of k = 8 U = 8 V 2 is 8 × 4 9 = 3 9 2 .
The fact that V = 7 can be established by showing that 4 × 1 3 , 4 × 2 3 , … , 4 × 6 3 cannot be written as ( 2 Y + Z ) 2 + 3 Z 2 for distinct positive integer Y , Z . To do this, just run through the finite number of possible Z values, checking that no Y value is possible. For example, if ( 2 Y + Z ) 2 + 3 Z 2 = 4 × 3 3 = 1 0 8 , then Z = 1 Z = 2 Z = 3 Z = 4 Z = 5 Z ≥ 6 ⇒ ⇒ ⇒ ⇒ ⇒ ⇒ ( 2 Y + 1 ) 2 = 1 0 5 ( 2 Y + 2 ) 2 = 9 6 ( 2 Y + 3 ) 2 = 8 1 ⇒ Y = 3 = Z ( 2 Y + 4 ) 2 = 6 0 ( 2 Y + 5 ) 2 = 3 3 ( 2 Y + Z ) 2 ≤ 0