加法定理の図的証明（trigonometric addition theorem）