不等式の証明はなぜ、(実数)^2>0の形にしなくてはならないのですか