SOLUTION: i need the proof of law of cosines and sines

Algebra ->  Geometry-proofs -> SOLUTION: i need the proof of law of cosines and sines      Log On


   



Question 724533: i need the proof of law of cosines and sines
Answer by AnlytcPhil(1806) About Me  (Show Source):
You can put this solution on YOUR website!
There are three cases for the law of cosines and 2 cases for
the law of sines:

Case 1:
a² = b²+c²-2·b·c·cos(A)  when ∠A and ∠B are both acute angles.


Draw altitude CD ⊥ AB.  Label CD h for the height of ߡABC.
Label the left part of c, AD as x and the right part of c DB as c-x.


 
ߡADC and ߡBDC are right triangles, so by the Pythagorean
theorem,

h² = b²-x² and also h² = a²-(c-x)²

Therefore equate their right sides:

b²-x² = a²-(c-x)²
b²-x² = a²-(c²-2cx+x²)
b²-x² = a²-c²+2cx-x²
Add x² to both sides:
b² = a²-c²+2cx

From ߡADC, x%2Fb = cos(A) or x = b·cos(A)

Substituting that for x:

b² = a²-c²+2c·b·cos(A)

Isolate a² on the right side:

b² + c² - 2c·b·cos(A) = a²

That is equivalent to

a² = b²+c²-2·c·b·cos(A)

or since c·b = b·c,

a² = b²+c²-2·b·c·cos(A) 

-----------------------
The law of sines for this case

h%2Fb = sin(A) and h%2Fa = sin(B)

h = b·sin(A) and h =a·sin(B)

So  b·sin(A) = a·sin(B)

Divide both sides by sin(A)sin(B)

    b%2Fsin%28B%29 = a%2Fsin%28A%29

That's not complete yet, for we haven't shown that those
equal to c%2Fsin%28C%29 but it will be when we finish 
the next case. 

--------------------------------------------

a² = b²+c²-2·b·c·cos(A)  when ∠A is acute and ∠B is obtuse.



Extend AB and draw CD ⊥ AB.  Label CD h for the height of ߡABD.
Label the left part of c, AD as x and the right part of c DB as c-x.


 
ߡADC and ߡBDC are right triangles, so by the Pythagorean
theorem,

h² = b²-(c+x)² and also h² = a²-x²

Therefore equate their right sides:

b²-(c+x)² = a²-x²
b²-(c²+2cx+x²) = a²-x²
b²-c²-2cx-x² = a²-x²
Add x² to both sides:
b²-c²-2cx = a²

From ߡADC, %28c%2Bx%29%2Fb = cos(A)
           c+x = b·cos(A)
             x = b·cos(A)-c

Substituting in
b²-c²-2cx = a²

  b²-c²-2c(b·cos(A)-c) = a²
b²-c²-2·c·b·cos(A)+2c² = a²
    b²+c²-2·c·b·cos(A) = a²

That is equivalent to

a² = b²+c²-2·c·b·cos(A)

or since c·b = b·c,

a² = b²+c²-2·b·c·cos(A)
 
---------------------------
The law of sines for this case

h%2Fb = sin(A) and h%2Fa = sin(∠CBD)

h = b·sin(A) and h =a·sin(∠CBD)

So  b·sin(A) = a·sin(∠CBD)

Divide both sides by sin(A)sin(∠CBD)

    b%2Fsin%28CBD%29 = a%2Fsin%28A%29

Now we use the fact that the sine of an angle 
is equal to the sine of its supplement.  Therefore
if we erase the extended part we can label ∠CBD as ∠B.

    b%2Fsin%28B%29 = a%2Fsin%28A%29

The law of sines is now complete for the first case 
was for two angles being acute, and this case is for 
when one angle is obtuse.
Since the other two angles are necessarily acute, 
the first case takes care of them and we have the
complete law of sines:

a%2Fsin%28A%29 = b%2Fsin%28B%29 = c%2Fsin%28C%29
  
------------------------------------

To prove the law of cosines when A is an obtuse angle,
we have to accept the definition from xy-plane 
trigonometry that cos(180°-A) = -cos(A).

We'll just take the above triangle and swap angles 
A and B and sides a and b:




Extend BA and draw CD ⊥ BD.  Label CD h for the height of ߡABC.
Label the extended segment, AD, as x.


 
ߡADC and ߡBDC are right triangles, so by the Pythagorean
theorem,

h² = b²-x² and h² = a²-(c+x)²

Therefore equate their right sides:

b²-x² = a²-(c+x)²
b²-x² = a²-(c²+2cx+x²)
b²-x² = a²-c²-2cx-x²
Add x² to both sides:
   b² = a²-c²-2cx

From ߡADC, x%2Fb = cos(CAD),
            x = b·cos(CAD)

and since ∠CAD and ∠BAC are supplementary,

cos(∠CAD) = -cos(∠BAC)
and
           x = -b·cos(∠BAC)

   b² = a²-c²-2cx

becomes:

   b² = a²-c²-2c[-b·cos(∠BAC)]

   b² = a²-c²+2c·b·cos(∠BAC)

Isolate a² on the right

   b²+c²-2c·b·cos(∠BAC) = a²

which is equivalent to
  
a² = b²+c²-2c·b·cos(∠BAC)

or since c·b = b·c,

a² = b²+c²-2·b·c·cos(∠BAC)

and if we erase the extended 
segment x, we can write ∠BAC as
∠A and have

a² = b²+c²-2·b·c·cos(A)

---------------------------
Edwin