求一元二次方程ax2+bx+c=0的根。定义并输入a,b,c，要求a,b,c为int型，且b2-4ac>0。

求解一元二次方程 \( ax^2 + bx + c = 0 \) 的根，通常需要通过公式 \( x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \)，当判别式 \( b^2 - 4ac \) 大于零时，意味着方程有两个实数解。在这种情况下，你可以按照以下步骤计算：

1. 首先，声明并获取用户输入的三个整数 a、b 和 c，假设它们已经经过类型检查且满足条件 b^2 > 4ac。

a = int(input("请输入系数a："))
b = int(input("请输入系数b："))
c = int(input("请输入常数项c："))

2. 然后计算判别式 \(\Delta\)。

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

3. 根据判别式的值，创建两个解：

if delta > 0:
    root1 = (-b + delta ** 0.5) / (2 * a)
    root2 = (-b - delta ** 0.5) / (2 * a)
    print(f"方程的两个实数解为：x1={root1}, x2={root2}")
elif delta == 0:
    root = -b / (2 * a)
    print(f"方程有一个实数解：x={root}")
else:
    print("方程无实数解。")

这里我们假设了用户输入的是合法的整数，并且程序会处理可能出现的浮点运算异常。实际应用中，你可能还需要添加适当的错误处理代码。如果你有更具体的编程环境或需求，比如使用特定的编程语言，我可以给出相应的示例代码。