三角比5 諸公式の同値性の確認

正弦定理と第二余弦定理が同値であることは、高校時代には意識したことがなかったがその証明をまとめておく。また第一余弦定理と第2余弦定理との同値性も併せてまとめておいた。無味乾燥な証明であるがどちらも対称性をうまく扱った証明である。機会が有れば生徒にも紹介してみたいが、、悩みどころではある。