因为tanb=(sina-cosa)/(sina+cosa),所以sinb/cosb=(sina-cosa)/(sina+cosa),
所以sinbsina+sinbcosa=sinacosb-cosacosb,所以
cosacosb+sinacosb=sinacosb-cosasinb,即sin(a-b)=cos(a-b),所以tan(a-b)=1,
所以a-b=兀/4+k兀,所以b=a-兀/4-k兀,
所以根号2sinb=(根号2)sin(a-兀/4-k兀)=(根号2)sin(a-兀/4)=
(根号2)[sinacos45-cosasin45]=sina-cosa,得证