证明不等式(asinx+bcosx)2≤a2+b2,并证明等号成立的条件.