Define a "primitive harmonic triplet" as any ordered triplet where and such that Are there infinitely many primitive harmonic triplets?
If you enjoyed this problem, you might want to check this one and this one out, too.
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.
Note that x 1 + y 1 z = z 1 = x + y x y
Now, since z is an integer, x + y must divide x y . In other words, there must exist a certain integer d ≥ 2 which divides both x and y . Choose d such that it is the greatest common factor of x and y , or d = g cd ( x , y ) .
Then, rewrite the above expression with x y = d m = d n
This gives z = d m + d n d m ⋅ d n = m + n d m n
Due to how we defined d , m + n cannot divide m n . Now, since the left-hand side is an integer, we have that d = k ( m + n ) for an integer k . Thus, x y z = d m = k m ( m + n ) = d n = k n ( m + n ) = x + y x y = k m n
Now, as g cd ( x , y , z ) = 1 , we must choose k = 1 . Then, x y z = m ( m + n ) = n ( m + n ) = m n
Using the above, we can choose any coprime integers m , n to get a primitive harmonic triplet. Thus, there are an infinite amount of primitive harmonic triplets.
Now, considering the fact that z = m n , where m , n must be coprime, realize that any two coprime factors of z correspond to a primitive harmonic triplet. The number 2 5 3 4 5 3 7 2 1 1 can be factored into 2 4 = 1 6 coprime pairs (equal to 2 number of prime factors − 1 ). As the order of the pairs matter (and the fact that coprime integers can never be equal to each other), multiply this number by 2 to get 3 2 .