質問: 加法定理の証明がこのように書かれていますが
回答: 気になる部分は、「△OABに余弦定理を用いて...」というところですが、θ=0°や θ≧180°に対しても AB2=OA2+OB2-2OA・OBcosθ は成立しています。 丁寧にやるには、三角形をなさない場合を分けて示しておけばよいでしょう。