ちなみに余弦定理の証明に三平方の定理を使うのは反則だよな
三平方の拡張が余弦なんだから。