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是語義一致的。在命題邏輯語義學內，一個賦值不能同時把真和假給予某個命題原子式。在命題邏輯語義學中，在同一解釋下，一個集合不能既屬於某個謂詞的外延又不屬於該謂詞的外延。
