已知a,β属于(0,π/2)·且sina=asinβ,tana=btan β求证cosa=根号a^2-1/b^2-1