ax2+bx+c=0的求根公式：x=(-b±√(b^2-4ac))/(2a)。一元二次ax^2 +bx+c=0可用求根公式x= 求解，它是由方程系數直接把根表示出來的公式。這個公式早在公元9世紀由中亞細亞的阿爾·花拉子模給出。

ax2+bx+c=0的求根公式

x=(-b±√(b^2-4ac))/(2a)

?ax2+bx+c=0的求根公式為x=(-b±√(b^2-4ac))/(2a)?。?

這個公式的推導過程可以通過配方法來實現。首先，將方程ax2+bx+c=0兩邊同時除以a，得到x2+x=?c/a。然后，將方程兩邊同時加上(b/2)2，得到(x+b/2)2=b2/4?c/a。接著，對方程兩邊開方，得到x+b/2=±√(b2/4?c/a)。最后，將方程兩邊同時減去b/2，得到x=(-b±√(b^2-4ac))/(2a)。

求根公式的用法

公式，在數學、物理學、化學、生物學等自然科學中用數學符號表示幾個量之間關系的式子。具有普遍性，適合于同類關系的所有問題。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴于這個公式的自由變量的值之外。

二次方程ax^2+bx+c=0的兩個根為

當b^2-4ac\u003e=0時

為x=[-b±(b^2-4ac)^(1/2)]/2a;

當b^2-4ac

a為二次項系數，b為一次項系數，c是常數。

一元二次ax^2 +bx+c=0可用求根公式x= 求解，它是由方程系數直接把根表示出來的公式。這個公式早在公元9世紀由中亞細亞的阿爾·花拉子模給出。

南宋數學家秦九韶至晚在1247 年就已經發現一元三次方程的求根公式，歐洲人在400 多年后才發現，但在中國的課本上這個公式仍是以那個歐洲人的名字來命名的。

一元三次方程ax^3 +bx^2 +cx+d=0的求根公式是1545年由意大利的卡當發表在《關于代數的大法》一書中，人們就把它叫做“卡當公式”。可是事實上，發現公式的人并不是卡當本從，而是塔塔利亞（Tartaglia N.,約 1499~1557）.發現此公式。

1、通用格式，用數學符號表示，各個量之間的一定關系(如定律或定理)的式子，能普遍應用于同類事物的方式方法。

2、公式精確定義依賴于涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定于一階邏輯): 公式是相對于特定語言而定義的；就是說，一組常量符號、函數符號和關系符號，這里的每個函數和關系符號都帶有一個元數(arity）來指示它所接受的參數的數目。

根據謂詞邏輯的語義推導規則，語義應該具有一致性，就是對于一個命題邏輯語句集f，當且僅當至少存在這樣一種解釋i，f的一切元素在i之下都是真的，那么，f是語義一致的。在命題邏輯語義學內，一個賦值不能同時把真和假給予某個命題原子式。在命題邏輯語義學中，在同一解釋下，一個集合不能既屬于某個謂詞的外延又不屬于該謂詞的外延。