加法定理

加法定理の導出余弦定理余弦定理より、線PQの長さを求めます。$PQ^{2}=OP^{2}+OQ^{2}-2OP\cdot OQ\cos (α-β)$(余弦定理)$=1^{2}+1^{2}-2OP\cdot OQ\cos (α-β)$(単位円...