已知a,β∈(2分之π,π),tana<tan(2分之π-β),那么必有