＞aの値を最初に決めている証明は間違い

aの値を最初に決めないと、|B-D|の増減は、わかりません。