円周率を求めるのに三角関数を用いるのはいかがなものだろうかと思った。考え方はほとんど同じだが、余弦定理を用いずに証明できる。まあ、いいか。