피타고라스 정리를 이용한 사인함수의 덧셈정리