由 b·tanx-n·secx=a → n=bsinx-acosx；
又已知 a·sinx+b·cosx=mx；所以：
m²+n²=(a·sinx+b·cosx)²+(bsinx-acosx)²=(a²sin²x+2absinxcosx+b²cos²x)+(b²sin²x-2absinxcosx+a²cos²x)=a²(sin²x+cos²x)+b²(cos²x+sin²x)=a²+b²；