�@の式は△ABCの内角の和が180ﾟであることから立式されている。
あとは移項して両辺を２で割るとそうなる。