As we've already seen, the four distinct cases we need to consider are
As we've noted before, the case of AAA doesn't appear above, because it cannot be solved (because we don't know the scale -- all the sides could be doubled in length, and the angles would all remain the same).
The first two cases (SAAA and SSA) are solvable (if possible) using the Law of Sines. Now we consider the other two cases: SAS, and SSS.
The law of cosines establishes a relationship between cosines of angles and the lengths of their opposing sides:
and we can prove this by creating a right triangle and doing some modest calculations:
If b and c and angle A are known, then how do we compute a? From the diagram, we can see that a is the hypotenuse of a right triangle, with side lengths and . Using the Pythagorean theorem, we see that
Squaring this out, we get
and then using the Pythagorean identity () we get
This is the case of the obtuse triangle. I wonder if you could prove this same thing in the case of the acute triangle:
Examples: (Mathematica file)