令u=x^2-1/4≥-1/4,则-1/4≤u≤1
0≤y≤arccos(-1/4)
α+β=arccos(-1/4)
cos[π-(α+β)]
=-cos(α+β)
=-cos[arccos(-1/4)]
=1/4