证明：∵方程(a²+c²)x²+2b²x+4(a²+c²)=0有实根
∴(2b²)²-4(a²+c²)[4(a²+c²)]≥0
∴b⁴-4(a²+c²)²≥0
∴b⁴≥4(a²+c²)²
∴b²≥2(a²+c²)
∴b²-4ac≥2(a²+c²)-4ac=2(a-c)²>0
∴方程ax²+bx+c=0有两个不相等的实数根