Difference between revisions of "Law of Cosines"
(→Acute Triangle: Picture) |
(→Acute Triangle: pic) |
||
Line 12: | Line 12: | ||
==Proofs== | ==Proofs== | ||
===Acute Triangle=== | ===Acute Triangle=== | ||
− | <asy> | + | <asy> |
− | pair | + | pair A,B,C,D,E; |
C=(30,70); | C=(30,70); | ||
B=(0,0); | B=(0,0); | ||
Line 30: | Line 30: | ||
label("f",(30,35),(1,0)); | label("f",(30,35),(1,0)); | ||
label("d",(15,0),(0,-1)); | label("d",(15,0),(0,-1)); | ||
− | label("e",(50,0),(0,-1.5));</asy> | + | label("e",(50,0),(0,-1.5)); |
+ | </asy> | ||
Let <math>a</math>, <math>b</math>, and <math>c</math> be the side lengths, <math>C</math> is the angle measure opposite side <math>c</math>, <math>f</math> is the distance from angle <math>C</math> to side <math>c</math>, and <math>d</math> and <math>e</math> are the lengths that <math>c</math> is split into by <math>f</math>. | Let <math>a</math>, <math>b</math>, and <math>c</math> be the side lengths, <math>C</math> is the angle measure opposite side <math>c</math>, <math>f</math> is the distance from angle <math>C</math> to side <math>c</math>, and <math>d</math> and <math>e</math> are the lengths that <math>c</math> is split into by <math>f</math>. | ||
Revision as of 14:43, 7 October 2007
This is an AoPSWiki Word of the Week for Oct 4-Oct 10 |
The Law of Cosines is a theorem which relates the side-lengths and angles of a triangle. For a triangle with edges of length , and opposite angles of measure , and , respectively, the Law of Cosines states:
In the case that one of the angles has measure (is a right angle), the corresponding statement reduces to the Pythagorean Theorem.
Proofs
Acute Triangle
Let , , and be the side lengths, is the angle measure opposite side , is the distance from angle to side , and and are the lengths that is split into by .
We use the Pythagorean theorem:
We are trying to get on the LHS, because then the RHS would be .
We use the addition rule for cosines and get:
We multiply by -2ab and get:
Now remember our equation?
We replace the by and get:
We can use the same argument on the other sides.
Right Triangle
Since , , so the expression reduces to the Pythagorean Theorem. You can find several proofs of the Pythagorean Theorem here