反证：若方程ax^2+bx+c/4=0,bx^2+cx+a/4＝0,cx^2+ax+b/4=0都没有实根则三个方程得判别式b^2-ac,c^2-ab,a^2-bc都小于0,那么可以得到b^2-ac+c^2-ab+a^2-bc