x1+x2的公式是韦达定理，即x1+x2=-b/a。该公式由法国数学家弗朗索瓦·韦达在著作《论方程的识别与订正》中提出了这条定理。他发现并建立了方程根与系数的关系。由于韦达最早发现代数方程的根与系数之间有这种关系，人们把这个关系称为韦达定理。