余弦の第一法則
a ＝ ｂcosC＋ｃcosＢ・・・（１）
ｂ＝c cosＡ＋a cosＣ・・・（２）
ｃ＝a cosＢ＋ｂcosＡ・・・（３）

より、余弦の第２法則
a＾２　＝　ｂ＾２　＋　ｃ＾２　−　２ｂｃ cosＡ・・・・（４）
を証明するのに、本では（４）を移項させ、
a＾２　−　ｂ＾２　−　ｃ＾２　に（１）（２）（３）を代入して
−２ｂｃ　cosＡ　を導いてますが、何故わざわざそうする必要が
あるのでしょうか？

そうしなくてもいいような気がしたので、試しに移項させずに
やってみましたが、うまく行きません。