Difference between revisions of "Law of Cosines"
Archimedes1 (talk | contribs) m (Added Proofs section) |
(→Proofs) |
||
| Line 11: | Line 11: | ||
In the case that one of the angles has measure <math>90^\circ</math> (is a [[right angle]]), the corresponding statement reduces to the [[Pythagorean Theorem]]. | In the case that one of the angles has measure <math>90^\circ</math> (is a [[right angle]]), the corresponding statement reduces to the [[Pythagorean Theorem]]. | ||
==Proofs== | ==Proofs== | ||
| + | ===Acute Triangle=== | ||
| + | |||
| + | |||
| + | {{image}} | ||
| + | |||
| + | |||
| + | |||
| + | Info: a, b, and c are the side lengths, and C is the angle measure opposite side C. f is the height from angle C to side c, and d and e are the lengths that c is split into by f. | ||
| + | |||
| + | We use the pythagorean theorem: | ||
| + | |||
| + | <cmath>a^2+b^2-2f^2=d^2+e^2</cmath> | ||
| + | |||
| + | We are trying to get <math>a^2+b^2-2f^2+2de</math> on the LHS, because then the RHS would be <math>c^2</math>. | ||
| + | |||
| + | We use the addition rule for cosines and get: | ||
| + | |||
| + | <cmath>\cos{C}=\dfrac{f}{a}*\dfrac{f}{b}-\dfrac{d}{a}*\dfrac{e}{b}=\dfrac{f^2-de}{ab}</cmath> | ||
| + | |||
| + | We multiply by -2ab and get: | ||
| + | |||
| + | <cmath>2de-2f^2=-2ab\cos{C}</cmath> | ||
| + | |||
| + | Now remember our equation? | ||
| + | |||
| + | <cmath>a^2+b^2-2f^2+2de=c^2</cmath> | ||
| + | |||
| + | We replace the <math>-2f^2+2de</math> by <math>-2ab\cos{C}</math> and get: | ||
| + | |||
| + | <cmath>c^2=a^2+b^2-2ab\cos{C}</cmath> | ||
| + | |||
| + | We can use the same argument on the other sides. | ||
| + | |||
| + | ===Right Triangle=== | ||
| + | |||
| + | |||
| + | |||
| + | ===Obtuse Triangle=== | ||
| + | |||
==See also== | ==See also== | ||
* [[Law of Sines]] | * [[Law of Sines]] | ||
* [[Trigonometry]] | * [[Trigonometry]] | ||
Revision as of 07:22, 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
An image is supposed to go here. You can help us out by creating one and editing it in. Thanks.
Info: a, b, and c are the side lengths, and C is the angle measure opposite side C. f is the height from angle C to side c, and d and e are the lengths that c is split into by f.
We use the pythagorean theorem:
![\[a^2+b^2-2f^2=d^2+e^2\]](http://latex.artofproblemsolving.com/a/6/0/a600f283e1d0ec9352e0acfe76e17e8eeed3db53.png)
We are trying to get 
on the LHS, because then the RHS would be 
.
We use the addition rule for cosines and get:
![\[\cos{C}=\dfrac{f}{a}*\dfrac{f}{b}-\dfrac{d}{a}*\dfrac{e}{b}=\dfrac{f^2-de}{ab}\]](http://latex.artofproblemsolving.com/c/3/4/c3470947802c3947ed2be19390ced22eee737bc9.png)
We multiply by -2ab and get:
![\[2de-2f^2=-2ab\cos{C}\]](http://latex.artofproblemsolving.com/c/e/1/ce15598b4d95ea94c52106c092dfc81e921ce1a0.png)
Now remember our equation?
![\[a^2+b^2-2f^2+2de=c^2\]](http://latex.artofproblemsolving.com/1/d/6/1d6cea7b27e07bf64f79ab8626eb9a43c06b7bb1.png)
We replace the 
by 
and get:
![\[c^2=a^2+b^2-2ab\cos{C}\]](http://latex.artofproblemsolving.com/c/5/4/c54e32f9760aee6e977d625b529959edba45a4d3.png)
We can use the same argument on the other sides.
