>>836
そう、D>0 だけでは不十分。
正しい解答は
ーーーー
与式が異なる正の２実解α、βをもつ…(A)とすると、
D>0、2a >0、-a+6>0…(B)が成立する。(∵ 2a = α+β、-a+6=αβ)
「逆に(B)を仮定するとD>0より異なる２実解α、βをもつ。
またαβ=-a+6>0によりα>0、β>0 または α<0、β<0。
またα+β=2a>0によりα<0、β<0は不適。
∴α>0、β>0 となり(A)が成立。」
(B)をといて2<a<6。
ーーーー
が正答。
D>0は(A)が成立するための必要条件には違いないが十分ではない。
(A)と必要十分になるには(B)までやらないとだめ。
一応２行目で解を出すための条件はそろったのでそれを解けば正しい答え2<a<6は出せるけどそれだけでは駄目。
ポイントは解答の「」で囲った部分、もうこれで条件が ”揃っている” こと、すなわち十分性の確認をして初めて正しい解答になる。
つまり(B)を仮定して(A)の条件を導出してみせて初めて(A)と(B)は必要十分といえる。

で>>693はどうか？
a=2y/(1+p+…+p^n)、b=y/p^n…(＊)
とおいてえられる式
(a-2b)p^(n+1) + 2bp^n-a=0…⑤
は
「n が奇数、pが奇素数、y が p^n と (1+p+…+p^n)/2 の公倍数である奇数」に現れるp…(693)
の十分条件でしょうか？
答えはNOです。
左辺に(＊)を代入してみると
左辺 = (2y/(1+p+…+p^n)-2y/p^n)p^(n+1) + 2y/p^np^n-2y/(1+p+…+p^n)
でこれを整理してみてください。
０になってしまいます。
つまり⑤はpについての十分条件はおろか、単なる恒等式です。
すなわち(693)のときの p はおろか任意の素数について成立する式であり(693)十分条件になってるはずなんかないのです。
つまり⑤を満足するpの全体は(693)を満たすpの全体よりはるかに大きくなっているのです。
この段階で同値性が崩れてるのでこれを変形していって得られた Dp^2 -D=0 が(693)の解でないpを解として含んでも何も矛盾しないのです。
これが>>693の証明が間違ってる理由です。
納得しました？