>>915
２行目の①式　D/4＜＝０の部分。
これを０以下という結論ありきで証明するんじゃなくて、
D/4を計算していった結果、０以下になることを証明するんじゃないかな？