3.1 proof of pythagorean theorem through cosine law