PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] contraharmonic means and Pythagorean hypotenuses (Theorem)

One can see that all values of $c$ in the table of the parent entry are hypotenuses in a right triangle with integer sides. E.g., 41 is the contraharmonic mean of 5 and 45; $9^2\!+\!40^2 \;=\; 41^2$ .

Theorem. Any integer contraharmonic mean of two different positive integers is the hypotenuse of a Pythagorean triple. Conversely, any hypotenuse of a Pythagorean triple is contraharmonic mean of two different positive integers.

Proof. $1^\circ.$ Let the integer $c$ be the contraharmonic mean $$c \;=\; \frac{u^2\!+\!v^2}{u\!+\!v}$$ of the positive integers $u$ and $v$ with $u > v$ . Then $u\!+\!v \,\mid\, u^2\!+\!v^2 \,=\, (u\!+\!v)^2-2uv$ , whence $$u\!+\!v \,\mid\, 2uv,$$ and we have the positive integers $$a \;:=\; u\!-\!v \;=\; \frac{u^2\!-\!v^2}{u\!+\!v}, \quad b \;:=\; \frac{2uv}{u\!+\!v}$$ satisfying $$a^2\!+\!b^2 \;=\; \frac{(u^2\!-\!v^2)^2\!+\!(2uv)^2}{(u\!+\!v)^2} = \frac{u^4\!-\!2u^2v^2+v^4\!+\!4u^2v^2}{(u\!+\!v)^2} = \frac{u^4\!+\!2u^2v^2\!+\!v^4}{(u\!+\!v)^2} = \frac{(u^2\!+\!v^2)^2}{(u\!+\!v)^2} \;=\; c^2.\\$$

$2^\circ.$ Suppose that $c$ is the hypotenuse of the Pythagorean triple $(a,\,b,\,c)$ , whence $c^2 = a^2\!+\!b^2$ . Let us consider the rational numbers $$ u := \frac{c\!+\!b\!+\!a}{2}, \quad v := \frac{c\!+\!b\!-\!a}{2}. $$ If the triple is primitive, then two of the integers $a,\,b,\,c$ are odd and one of them is even; if not, then similarly or all of $a,\,b,\,c$ are even. Therefore, $c\!+\!b\!\pm\!a$ are always even and accordingly $u$ and $v$ positive integers. We see also that $u\!+\!v = c\!+\!b$ . Now we obtain

$\displaystyle u^2\!+\!v^2\;$ $\displaystyle =\; \frac{c^2\!+\!b^2\!+\!a^2\!+\!2ab\!+\!2bc\!+\!2ca\!+\!c^2\!+\!b^2\!+\!a^2\!-\!2ab\!+\!2bc\!-\!2ca}{4}$    
  $\displaystyle =\; \frac{2c^2\!+\!2(a^2\!+\!b^2)\!+\!4bc}{4} = \frac{4c^2\!+\!4bc}{4} = c(c\!+\!b)$    
  $\displaystyle =\; c(u\!+\!v).$    

Thus, $c$ is the contraharmonic mean $\displaystyle\frac{u^2\!+\!v^2}{u\!+\!v}$ of the different integers $u$ and $v$ .




"contraharmonic means and Pythagorean hypotenuses" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: first primitive Pythagorean triplets, proof of Pythagorean triplet, square of sum

Other names:  Pythagorean hypotenuses are contraharmonic means

This object's parent.

Attachments:
Pythagorean hypotenuses as contraharmonic means (Data Structure) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: even, odd, rational numbers, proof, conversely, Pythagorean triple, positive, integer contraharmonic mean, theorem, contraharmonic mean, integer, right triangle, hypotenuses
There is 1 reference to this entry.

This is version 9 of contraharmonic means and Pythagorean hypotenuses, born on 2008-11-17, modified 2008-12-11.
Object id is 11259, canonical name is ContraharmonicMeansAndPythagoreanHypotenuses.
Accessed 846 times total.

Classification:
AMS MSC11A05 (Number theory :: Elementary number theory :: Multiplicative structure; Euclidean algorithm; greatest common divisors)
 11D09 (Number theory :: Diophantine equations :: Quadratic and bilinear equations)
 11D45 (Number theory :: Diophantine equations :: Counting solutions of Diophantine equations)
 11Z05 (Number theory :: Miscellaneous applications of number theory)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy
strange @@2@@ by pahio on 2008-11-24 12:49:18
What means @@2@@? Sometimes, \PMlinkname{}{} produces such =o(
[ reply | up ]

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)