cos加法定理の内積を用いた証明