a^2+b^2+c^2=2(bcCosA+acCosB+abCosC)

を証明するにはどうすればいいのですか？
a^2=b^2+c^2-2bcCosA
などと代入していったら無限ループに陥りましたorz
どなたかヒントください・・