编写程序，对已知的具有两个不同实数解的一元二次方程求根并输出。

C知道：可以的，对于已知的一元二次方程ax^2+bx+c=0，我们可以使用求根公式：x=(-b±sqrt(b^2-4ac))/2a，来求解方程的两个实数解。具体实现可以参考以下代码：

import math

a = float(input("请输入a的值："))
b = float(input("请输入b的值："))
c = float(input("请输入c的值："))

delta = b**2 - 4*a*c

if delta < 0:
    print("该方程无实数解")
else:
    x1 = (-b + math.sqrt(delta)) / (2*a)
    x2 = (-b - math.sqrt(delta)) / (2*a)
    print("该方程的两个实数解分别为：x1={:.2f}, x2={:.2f}".format(x1, x2))

以上代码可以求解任意一元二次方程的实数解，其中输入的a、b、c分别代表方程的系数，输出的x1、x2分别代表方程的两个实数解。