Is it True That for any Pythagorean Triple, $(\frac ca + \frac cb)^2 > 8$?

In summary, we discussed a proof that shows for any Pythagorean triple $(a,b,c)$, the expression $(\frac ca + \frac cb)^2$ is always greater than 8. This is because for $T < 8$, the expression is greater than $T^2$ and for $T = 8$, the proof shows that $(a-b)^2 = 0$, which is not possible for any $a,b>0$. In conclusion, this proof holds for all Pythagorean triples.
  • #1
magneto1
102
0
Let $(a,b,c)$ be a Pythagorean triple, specifically, a triplet of positive integers with property $a^2 + b^2 = c^2$. Show that $(\frac ca + \frac cb)^2 > 8$.

EDIT: Added a small clarification.
 
Mathematics news on Phys.org
  • #2
magneto said:
Let $(a,b,c)$ be a Pythagorean triple, specifically, a triplet of positive integers with property $a^2 + b^2 = c^2$. Show that $(\frac ca + \frac cb)^2 > 8$.

EDIT: Added a small clarification.

Hello.

[tex](\dfrac{c}{a} +\dfrac{c}{b})^2=T[/tex]

[tex]\dfrac{c^2(a+b)^2}{a^2b^2}=T[/tex]

[tex]c^4+2abc^2-a^2b^2T=0[/tex]

[tex]c^2= \dfrac{-2ab \pm \sqrt{4a^2b^2+4a^2b^2T}}{2}[/tex]

[tex]c^2=ab(\sqrt{T+1}-1)[/tex]

[tex]a^2+b^2=ab(\sqrt{T+1}-1)[/tex]

If T=8:

[tex]a^2+b^2=2ab \rightarrow{}(a-b)^2=0[/tex]

Therefore:

[tex]T>8[/tex]

Regards.
 
  • #3
mente oscura said:
Hello.

[tex](\dfrac{c}{a} +\dfrac{c}{b})^2=T[/tex]

[tex]\dfrac{c^2(a+b)^2}{a^2b^2}=T[/tex]

[tex]c^4+2abc^2-a^2b^2T=0[/tex]

[tex]c^2= \dfrac{-2ab \pm \sqrt{4a^2b^2+4a^2b^2T}}{2}[/tex]

[tex]c^2=ab(\sqrt{T+1}-1)[/tex]

[tex]a^2+b^2=ab(\sqrt{T+1}-1)[/tex]

If T=8:

[tex]a^2+b^2=2ab \rightarrow{}(a-b)^2=0[/tex]

Therefore:

[tex]T>8[/tex]

Regards.

Two points that I am not clear from in the proof: (1) Why can't $T < 8$? and (2) When $T = 8$, your proof shows that $(a-b)^2 = 0$, which can happen for some $a = b > 0$. Why can't that happen?
 
  • #4
magneto said:
Two points that I am not clear from in the proof: (1) Why can't $T < 8$? and (2) When $T = 8$, your proof shows that $(a-b)^2 = 0$, which can happen for some $a = b > 0$. Why can't that happen?

I have not put it because it seems to me to be trivial:

If a=b:

[tex]a^2+b^2=c^2 \rightarrow{}2a^2=c^2 \rightarrow{}c=a \sqrt{2}[/tex]

Regards.
 
  • #5
let
$a = c \cos( t)$
$b = c \sin( t)$

$\frac{c}{a}+ \frac{c}{b} = \sec( t )+\csc( t)$
$(\sec (t) +\ cosec( t))^2 = \sec ^ 2 (t) + \csc ^2 (t) + 2 \sec (t) \csc( t)$
=$ \tan ^2 (t )+ 1 + \cot ^2 (t )+ 1 + 2 \sec( t) \csc( t)$
= $(\tan ^2( t )+ \cot ^2( t) ) + 2 + \frac{4} {( 2 \cos( t)\ sin (t ))}$
= $(\tan( t) -\cot ( t) )^2 + 2 + 2 + \frac{4}{\sin (2t) }$
= $(\tan (t) -\cot ( t) )^2 + 4 + \frac{4}{\sin (2t) } $
>= 0 + 4 + 4 or 8
it can be 8 when a= b but a = b means c cannot be integer so 8 is ruled out

so it is > 8
 
  • #6
mente oscura said:
I have not put it because it seems to me to be trivial:

If a=b:

[tex]a^2+b^2=c^2 \rightarrow{}2a^2=c^2 \rightarrow{}c=a \sqrt{2}[/tex]

Regards.

a and b cannot be same integers as if a = b then $c = a\sqrt 2$ not an integer
 
  • #7
Thanks mente oscura and kaliprasad for participating. Here is my solution. There are actually others for those who want to find them.

Apply AM-GM inequality,
\[
\left( \frac ca + \frac cb \right)^2 = c^2 \left( \frac{a+b}{ab} \right)^2
= \frac{(a^2+b^2)(a+b)^2}{a^2b^2} \geq \frac{2\sqrt{a^2b^2}(2\sqrt{ab})^2}{a^2b^2} = 8,
\]
with equality holds if $a = b$, which cannot be as it would imply $c = a\sqrt{2}$ contradicts with the fact $c$ is an integer.

Bonus Remark: It can be shown that there is no Pythagorean triple and integer $n$ where the equation $\left( \frac ca + \frac cb \right)^2 = n$ holds.
 
  • #8
My solution:

Our objective function is:

\(\displaystyle f(a,b,c)=\left(\frac{c}{a}+\frac{c}{b} \right)^2\)

Using the constraint:

\(\displaystyle a^2+b^2=c^2\)

We then obtain:

\(\displaystyle f(a,b)=\left(a^2+b^2 \right)\left(\frac{1}{a}+\frac{1}{b} \right)^2\)

Observing that we have cyclic symmetry between $a$ and $b$, we know the critical point comes from $a=b$:

\(\displaystyle f(a,a)=8\)

Testing another point \(\displaystyle (a,2a)\), we find:

\(\displaystyle f(a,2a)=\frac{45}{4}>8\)

And so over the reals, we know:

\(\displaystyle f_{\min}=8\)

Which means over the integers, we must have:

\(\displaystyle 8<f\)
 

FAQ: Is it True That for any Pythagorean Triple, $(\frac ca + \frac cb)^2 > 8$?

What is "Proof of Inequality (2)"?

"Proof of Inequality (2)" is a mathematical concept that involves proving the inequality between two quantities or expressions. It is a way to show that one quantity is always greater than or less than another, and is commonly used in various fields of science and mathematics.

Why is "Proof of Inequality (2)" important?

"Proof of Inequality (2)" is important because it allows us to make precise and accurate comparisons between quantities or expressions. It is a fundamental concept in mathematics and science, and is used to make predictions, solve problems, and analyze data.

How is "Proof of Inequality (2)" different from "Proof of Inequality (1)"?

The difference between "Proof of Inequality (2)" and "Proof of Inequality (1)" lies in the type of inequality being proven. In "Proof of Inequality (1)", the inequality is typically between two real numbers, while in "Proof of Inequality (2)", the inequality can involve any type of mathematical expression, such as equations, functions, or matrices.

What are some common methods used to prove inequalities?

There are various methods used to prove inequalities, including algebraic manipulation, induction, differentiation, and integration. The choice of method depends on the specific inequality being proven and the available tools and techniques.

How can "Proof of Inequality (2)" be applied in real-life situations?

"Proof of Inequality (2)" has numerous real-life applications, such as in economics, physics, and engineering. It can be used to analyze market trends, model physical systems, and optimize designs. It is also used in decision-making and risk analysis to compare different options and determine the best course of action.

Similar threads

Back
Top