sin^2θ+2cosθ=2が証明できるか否か