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

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

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

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

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

求根公式的用法

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

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

當(dāng)b^2-4ac\u003e=0時(shí)

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

當(dāng)b^2-4ac

a為二次項(xiàng)系數(shù)，b為一次項(xiàng)系數(shù)，c是常數(shù)。

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

南宋數(shù)學(xué)家秦九韶至晚在1247 年就已經(jīng)發(fā)現(xiàn)一元三次方程的求根公式，歐洲人在400 多年后才發(fā)現(xiàn)，但在中國的課本上這個(gè)公式仍是以那個(gè)歐洲人的名字來命名的。

一元三次方程ax^3 +bx^2 +cx+d=0的求根公式是1545年由意大利的卡當(dāng)發(fā)表在《關(guān)于代數(shù)的大法》一書中，人們就把它叫做“卡當(dāng)公式”?？墒鞘聦?shí)上，發(fā)現(xiàn)公式的人并不是卡當(dāng)本從，而是塔塔利亞（Tartaglia N.,約 1499~1557）.發(fā)現(xiàn)此公式。

1、通用格式，用數(shù)學(xué)符號(hào)表示，各個(gè)量之間的一定關(guān)系(如定律或定理)的式子，能普遍應(yīng)用于同類事物的方式方法。

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

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