D²+E²-4F>0的证明过程