把|OA|cos(α+θ)展开
|OA|cos(α+θ)=|OA|(cosαcosθ-sinαsinθ)
=|OA|cosαcosθ-|OA|(sinαsinθ)
因为x'=|OA|cosα
y'=|OA|sinα
所以有
|OA|cosαcosθ-|OA|(sinαsinθ)
=x'cosθ-y'sinθ
把|OA|cos(α+θ)展开
|OA|cos(α+θ)=|OA|(cosαcosθ-sinαsinθ)
=|OA|cosαcosθ-|OA|(sinαsinθ)
因为x'=|OA|cosα
y'=|OA|sinα
所以有
|OA|cosαcosθ-|OA|(sinαsinθ)
=x'cosθ-y'sinθ