Primitive Harmonic Triplets

Define a "primitive harmonic triplet" as any ordered triplet ( x , y , z ) , (x,y,z), where x , y , z Z + x,y,z\in\mathbb{Z}^+ and gcd ( x , y , z ) = 1 , \gcd{(x,y,z)}=1, such that 1 x + 1 y = 1 z . \frac{1}{x}+\frac{1}{y}=\frac{1}{z}. Are there infinitely many primitive harmonic triplets?

  • If the answer is no, enter the number of ordered pairs ( x , y ) (x,y) such that ( x , y , 6 ) (x,y,6) is a primitive harmonic triplet.
  • If the answer is yes, enter the number of ordered pairs ( x , y ) (x,y) such that ( x , y , 2 5 × 3 4 × 5 3 × 7 2 × 11 ) \big(x,\ y,\ 2^{5}\times 3^{4}\times 5^{3}\times 7^{2}\times 11\big) is a primitive harmonic triplet.

If you enjoyed this problem, you might want to check this one and this one out, too.


The answer is 32.

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

Nick Turtle
May 6, 2018

Note that 1 x + 1 y = 1 z z = x y x + y \begin{aligned}\frac{1}{x}+\frac{1}{y}&=\frac{1}{z} \\z&=\frac{xy}{x+y}\end{aligned}

Now, since z z is an integer, x + y x+y must divide x y xy . In other words, there must exist a certain integer d 2 d\ge 2 which divides both x x and y y . Choose d d such that it is the greatest common factor of x x and y y , or d = gcd ( x , y ) d=\gcd{(x,y)} .

Then, rewrite the above expression with x = d m y = d n \begin{aligned}x&=dm\\ y&=dn\end{aligned}

This gives z = d m d n d m + d n = d m n m + n \begin{aligned}z&=\frac{dm\cdot dn}{dm+dn}\\ &=\frac{dmn}{m+n}\end{aligned}

Due to how we defined d d , m + n m+n cannot divide m n mn . Now, since the left-hand side is an integer, we have that d = k ( m + n ) d=k(m+n) for an integer k k . Thus, x = d m = k m ( m + n ) y = d n = k n ( m + n ) z = x y x + y = k m n \begin{aligned}x&=dm=km(m+n)\\ y&=dn=kn(m+n)\\ z&=\frac{xy}{x+y}=kmn\end{aligned}

Now, as gcd ( x , y , z ) = 1 \gcd{(x,y,z)}=1 , we must choose k = 1 k=1 . Then, x = m ( m + n ) y = n ( m + n ) z = m n \begin{aligned}x&=m(m+n)\\ y&=n(m+n)\\ z&=mn\end{aligned}

Using the above, we can choose any coprime integers m , n 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 z=mn , where m , n m,n must be coprime, realize that any two coprime factors of z z correspond to a primitive harmonic triplet. The number 2 5 3 4 5 3 7 2 11 2^{5}3^{4}5^{3}7^{2}11 can be factored into 2 4 = 16 2^{4}=16 coprime pairs (equal to 2 number of prime factors 1 2^{\text{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 2 to get 32 \boxed{32} .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...