三平方の定理って余弦定理の一部なの?