加法定理の証明

最近、周りで数学の証明が流行っているので、
大学入試の時解けなかった三角関数の加法定理の証明をしてみた。
かなり簡単にと言うか、あっさりできた。

しかし、このスペースはその証明を書くには狭すぎる。
なんちゃって。
至る所に証明が転がっているので、書くまでもないけど、
とりあえず、相似を使うところが肝なのかな。