頭いい学生ならば、線形空間の公理（ベクトルの演算規則）だけで導出できる式を

解析学が前提の三角関数をつかって証明モドキなどしないのだよ。