X~U[0,4]求一元二次方程有实根的概率