(1) 一般角 θ に対する sinθ と cosθ の定義 座標平面上に原点Oを中心とする半径1の円(単位円)を考える。
動径OPがx軸の正の方向から測ってθだけ回転したとき、点Pの座標を(x,y)とすると、 cosθ=x sinθ=y と定義する。
(2) 加法定理の証明
単位円上に点A(cosα, sinα), B(cosβ, sinβ), C(cos(α+β), sin(α+β))を取る。
また、x軸上に点D(1, 0)を取る。
このとき、角α + β は角α と角β の和であるため、∠DOC = α + β, ∠DOA = α, ∠DOB = β となる。
したがって、∠AOC = βである。
2点間の距離の公式より
AD2=(cosα−1)2+(sinα−0)2 =cos2α−2cosα+1+sin2α =2−2cosα BC2=(cos(α+β)−cosβ)2+(sin(α+β)−sinβ)2 =cos2(α+β)−2cos(α+β)cosβ+cos2β+sin2(α+β)−2sin(α+β)sinβ+sin2β =2−2(cos(α+β)cosβ+sin(α+β)sinβ) ADとBCの弦に対する中心角が等しい(∠DOA=α, ∠COB=α)ので、AD=BCであるから、AD2=BC2 2−2cosα=2−2(cos(α+β)cosβ+sin(α+β)sinβ) cosα=cos(α+β)cosβ+sin(α+β)sinβ cos(α+β)cosβ+sin(α+β)sinβ−cosα=0 ここで、βを−βに置き換えると、cos(−β)=cosβ,sin(−β)=−sinβだから cos(α−β)cos(−β)+sin(α−β)sin(−β)−cosα=0 cos(α−β)cosβ−sin(α−β)sinβ−cosα=0 cosα=cos(α−β)cosβ−sin(α−β)sinβ 従って、
cos(α+β)=cosαcosβ−sinαsinβ sin(α+β)=sinαcosβ+cosαsinβ また、ADとOCの弦に対する中心角が等しい(∠DOA=α, ∠BOC=α)ので、AD=OCであるから、AD2=OC2 OC2=(cos(α+β)−1)2+(sin(α+β)−0)2 AD2=OC2 2−2cosα=2−2cos(α+β) cosα=cos(α+β) また
BCとODの弦に対する中心角が等しい(∠BOC=α, ∠BOD=β)ので、BC=ODであるから、BC2=OD2