Prove Triangle Inequality

AB + BC must be greater than AC, or AB + BC > AC.
AB + AC must be greater than BC, or AB + AC > BC
BC + AC must be greater than AB, or BC + AC > AB.

upload_2021-9-17_22-9-41.png


Triangle Inequality Proof

We need to prove that AB + AC > BC.

Proof: Extend BA to point D such that AD = AC, and join C to D, as shown below:


upload_2021-9-17_22-7-59.png



We note that ∠ACD = ∠D, which means that in ∆ BCD, ∠BCD > ∠D. Sides opposite larger angles are larger, and thus: BD > BC

AB + AD > BC

AB + AC > BC (because AD = AC) This completes our proof.

We can additionally conclude that in a triangle:
Since the sum of any two sides is greater than the third, then the difference of any two sides will be less than the third.
The sum of any two sides must be greater than the third side.
The side opposite to a larger angle is the longest side in the triangle.
 
AB + BC must be greater than AC, or AB + BC > AC.
AB + AC must be greater than BC, or AB + AC > BC
BC + AC must be greater than AB, or BC + AC > AB.

View attachment 463

Triangle Inequality Proof

We need to prove that AB + AC > BC.

Proof: Extend BA to point D such that AD = AC, and join C to D, as shown below:


View attachment 462


We note that ∠ACD = ∠D, which means that in ∆ BCD, ∠BCD > ∠D. Sides opposite larger angles are larger, and thus: BD > BC

AB + AD > BC

AB + AC > BC (because AD = AC) This completes our proof.

We can additionally conclude that in a triangle:
Since the sum of any two sides is greater than the third, then the difference of any two sides will be less than the third.
The sum of any two sides must be greater than the third side.
The side opposite to a larger angle is the longest side in the triangle.

Superbly done. Great work!!
There is another unanswered question in the Algebra forum entitled Short Pythagorean Theorem Proof. The steps are given by David Cohen but slightly hard for me to grasp.
 


Write your reply...

Members online

No members online now.

Forum statistics

Threads
2,529
Messages
9,858
Members
696
Latest member
fairdistribution
Back
Top