[Proof] If x2+x+q1=0 does not have two distinct real roots, then Δ1=1−4q1⩽0, i.e., q1⩾41.
In this case, the discriminant of the equation x2+px+q2=0 is
Δ2=p2−4q2=(q1+q2+1)2−4q2=q22+2(q1+1)q2+(q1+1)2−4q2=q22+2(q1−1)q2+(1+q1)2.
The discriminant of the above quadratic trinomial in terms of q2 is
Δ3=4(q1−1)2−4(1+q1)2=4(−4q1)=−16q1.
Since q1⩾41, it follows that Δ3≤0, i.e., the equation x2+px+q2=0 has two distinct real roots. Therefore, the proposition is proved.