证明sin^2a+sin^2β+1>sina*cosa+sina+sinβ