失礼します。難しいのですがお願いしたいのですが…

（1）a,bはともに0でない定数とするとき，
　　acosθ−bsinθ＝√a^＋b^cos(θ＋a)　が成り立つことを示せ。
　　※ルートはa^＋b^にかかっています。