佐藤の数学教科書「三角関数」編の勉強
【蛇足問題】∠Ａと∠Ｂと∠Ｃの間に、
∠Ａ＋∠Ｂ＋∠Ｃ＝π （式１）
の関係があり、
ある長さａ，ｂ，ｃ，ｄとの間に、
ｓｉｎＡ／ａ＝ｓｉｎＢ／ｂ＝ｓｉｎＣ／ｃ＝１／ｄ （式２）
の関係が成り立つ時、
ｂ２＋ｃ２－ａ２＝２ｂｃ・ｃｏｓＡ （式３）
が成り立つことを証明せよ。ただし、余弦定理は証明に利用しないこと。
（注意１）数学の証明に「ある定理を使うな」というように、自由に思考させずに、思考過程に制限を加えるというのは、数学する心（自由に解く）に反する思想であるので、
こういう限定をして出題するというのは、問題がある。
そのため、この問題は、蛇足の問題です。
こういう問題が出題されたら、思考制限規定を無視して、解いても良いと思います。
（証明開始）
この問題の式２は三角形の正弦定理にあてはまります。そのような辺ａ，ｂ，ｃと頂点の∠Ａ，∠Ｂ，∠Ｃを持ち、直径ｄの円に内接する三角形が存在し、その三角形に対して式２の正弦定理が成り立ちます。
そして、その三角形については、式３の余弦定理が成り立ちます。よって、式３は成り立つ。
（証明おわり）
と解答して良いと思います。
この問題は蛇足問題ではありますが、テストの出題というのでは無く、式の証明を研究するために、以下のように加法定理を利用して解いてみたいと思います。
（注意２）この問題は、たしかに解けますが、だからと言って、正弦定理と加法定理さえあれば余弦定理はいらないなどという誤解はしないで欲しい。
むしろ、その逆で、
加法定理を使って遠回りしてかろうじて問題を解く道があれば、必ず、「正弦定理と余弦定理を使って近道して問題を解く道がある」ということが示されていると解釈して欲しい。
それでは、遠回りした道を通る証明になりますが、
この問題を、出題の意図通りに、正弦定理と加法定理を使って、余弦定理を導く解答の道のりを以下で説明します。
（予備知識：問題をより易しい問題に変換してから解くこと）
証明すべき対象の
ｂ２＋ｃ２－ａ２＝２ｂｃ・ｃｏｓＡ （式３）
を、式２を変換して式３を導出しようとはせずに、
先ずは、この式３を、わかる限り、問題をかみくだいてやさしい問題に変換します。
（解答開始）
式３の左辺を、式２を使って変換する。
式１を使って∠Ａを消去する。
加法定理を使ってｓｉｎ（Ｂ＋Ｃ）を展開する。
（ｃｏｓの加法定理を使って、ｓｉｎＢｓｉｎＣ－ｃｏｓＣｃｏｓＢ＝－ｃｏｓ（Ｂ＋Ｃ)にまとめる）
（式２を使って変換する）
＝２ｂｃ｛ｃｏｓ（Ａ）｝
∴ ｂ２＋ｃ２－ａ２＝２ｂｃ・ｃｏｓＡ
（証明おわり）
リンク：
