已知msinx+ncosx=a,ntanx-b/cosx=m求证m^2+n^2=a^2+b^2