How can the cosine rule be derived?

Sorry in advance for the lack of a diagram, which would have made this explanation so much clearer. Also, the published version of this seems to ignore Unicode formatting, so I will add underscores (_) where a subscript was intended and carets (^) where a superscript was intended. I know this is ugly but I don't see a better way.

Consider a triangle with sides A, B and C. The angle between sides B and C we will call a. The line that meets side A at right angles and passes through the corner of B and C we will call Z. The angle between Z and B we will call a_B and the angle between Z and C we will call a_C, hence,

a=a_B+a_C.

By considering the two right angled triangles, the length of side A can be expressed as follows,

A=Bsin(a_B)+Csin(a_C).

Squaring both sides of this equation, we have,

A^2=B^2sin^2(a_B)+C^2sin^2(a_C)+2BCsin(a_B)sin(a_C).

Next, we note that the cosine double angle formula can be applied to give the following,

cos(a)=cos(a_B+a_C)=cos(a_B)cos(a_C)-sin(a_B)sin(a_C).

Subsituting the sines term into the previous equation gives,

A^2=B^2sin^2(a_B)+C^2sin^2(a_C​)-2BCcos(a)+2BCcos(a_B)cos(a_C).

Using the identity,

sin^2(x)=1-cos^2(x),

we have,

A^2=B^2+C^2-2BCcos(a)-B^2cos^2(a_B)-C^2cos^2(a_C​)+2BCcos(a_B)cos(a_C).

The three rightmost terms will factorise to give,

A^2=B^2+C^2-2BCcos(a)-[Bcos(a_B)-Ccos(a_C)]^2.

By simple trigonometry, both Bcos(a_B) and Ccos(a_C) are equal Z, hence the rightmost term vanishes and we are left with the cosine rule,

A^2=B^2+C^2-2BCcos(a).

PT

Related Maths A Level answers

All answers ▸

A circle has equation x^2 + y^2 - 8x - 10y + 5 = 0, find its centre and radius


Using the binomial theorem, find the coefficient of x^4*y^5 in (x-2y)^9.


How do I find the maxima and minima of a function?


Consider the curve y=x/(x+4)^0.5. (i) Show that the derivative of the curve is given by dy/dx= (x+8)/2(x+4)^3/2 and (ii) hence find the coordinates of the intersection between the left vertical asymptote and the line tangent to the curve at the origin.