Timeless Theorems of Mathematics/Law of Cosines

Here $c^{2}=a^{2}+b^{2}-2ab\cdot \cos \gamma$

The law of cosines explains the relation between the sides and an angle of a triangle. The law states that for any triangle $\Delta ABC$, if $\angle ACB=\theta$, $AB=c$, $AC=b$ and $BC=a$, then $c^{2}=a^{2}+b^{2}-2ab\cdot \cos \theta$. For $\theta ={\frac {\pi }{2}},\Delta ABC$ is a right angle and $c^{2}=a^{2}+b^{2}$, we have proved it as the pythagorean theorem earlier.

Proof

Statement

In any triangle, the square of one side's length is equal to the difference between the sum of the squares of the other two sides' lengths and twice the product of those two sides' lengths and the cosine of the included angle.

Assume, $\Delta ABC$ is a triangle where $\angle ACB=\theta ,$ $AB=c$ $AC=b$ and $BC=a.$ It is needed to be proved that, $c^{2}=a^{2}+b^{2}-2ab\cdot \cos \theta$.

Let us extend the line segment $BC$ to $BD$ (only for obtuse triangles), where $AD\perp BD$. Assume $AD=h$ and $CD=k$.

Proof with the help of the Pythagorean Theorem

For obtuse triangles:

Construction for proving the law of cosines for angle $\theta >\pi /2$.

According to the Pythagorean theorem, we can say that, for $\Delta ACD,$ $b^{2}=k^{2}+h^{2}$

Similarly, for the triangle $\Delta ABD,$ $c^{2}=h^{2}+(a+k)^{2}$ $=h^{2}+a^{2}+k^{2}+2ak$ $=a^{2}+b^{2}+2ak$.

We will be using this value for further proof. But now, let's determine some trigonometric values for the triangles.

Here, $\angle ACD=\pi -\theta$.

Therefore, ${\frac {k}{b}}=\cos(\pi -\theta )$

Or, $k=b\cdot \cos(\pi -\theta )$ $=b[\cos(\pi )\cdot cos(\theta )+\sin(\pi )\cdot \sin(\theta )]$ $=-b\cdot \cos(\theta )$

Now, $c^{2}=a^{2}+b^{2}+2ak$.

$\therefore c^{2}=a^{2}+b^{2}-2ab\cdot \cos \theta$. [Proved]

For acute angles:

Construction for proving the law of cosines for angle $\theta <\pi /2$.

Like as the proof we have proved before, according to the Pythagorean theorem, we can say that, for $\Delta ACD,$ $b^{2}=k^{2}+h^{2}$

Similarly, for the triangle $\Delta ABD,$ $c^{2}=h^{2}+(a-k)^{2}$ $=h^{2}+a^{2}+k^{2}-2ak$ $=a^{2}+b^{2}-2ak$.

Here, $\angle ACD=\theta$.

Therefore, ${\frac {k}{b}}=\cos \theta$ $\Rightarrow k=b\cdot \cos \theta$

Now, $c^{2}=a^{2}+b^{2}-2ak$.

$\therefore c^{2}=a^{2}+b^{2}-2ab\cdot \cos \theta$. [Proved]

[Note: Whatever the triangle is, the formula, $c^{2}=a^{2}+b^{2}-2ab\cdot \cos \theta$ works.]