I haven't actually checked the work, but it looks like you have applied the equations correctly.

For the fourth one, use the Law of Cosines:

The other two forms are

As you might have guessed, these are generalizations of the Pythagorean Theorem to triangles with arbitrary angles (not just right angles.)

-Dan