二次函数

大约在公元前480年，古巴比伦人和中国人已经使用配方法求得了二次方程的正根，但是并没有提出通用的求解方法。公元前300年左右，欧几里得提出了一种更抽象的几何方法求解二次方程。

7世纪印度的婆罗摩笈多是第一位懂得用使用代数方程的人，它同时容许有正负数的根。^[b]

11世纪阿拉伯的花拉子米独立地发展了一套公式以求方程的正数解。亚伯拉罕·巴希亚（亦以拉丁文名字萨瓦索达著称）在他的著作Liber embadorum，首次将完整的一元二次方程解法传入欧洲。^[c]

二次方程 ${\displaystyle ax^{2}+bx+c=0\,\!}$  的两个根为：

• 设${\displaystyle \Delta =b^{2}-4ac\,}$ 为一元二次方程式的判别式，又记作D。
• 当${\displaystyle \Delta >0\,\!}$ ，则方程有两个不相等的根，也即与${\displaystyle x}$ 轴有两个不重叠的交点，因为${\displaystyle {\sqrt {\Delta }}}$ 是正数。
• 当${\displaystyle \Delta =0\,\!}$ ，则方程有两个相等的根，也即与${\displaystyle x}$ 轴有一个切点，因为${\displaystyle {\sqrt {\Delta }}}$ 是零。
• 当${\displaystyle \Delta <0\,\!}$ ，则方程没有实数根，也即与 ${\displaystyle x}$  轴没有交点，因为${\displaystyle {\sqrt {\Delta }}}$ 是共轭复数。

设${\displaystyle r_{1}={\frac {-b+{\sqrt {b^{2}-4ac}}}{2a}}}$ 和${\displaystyle r_{2}={\frac {-b-{\sqrt {b^{2}-4ac}}}{2a}}}$ ，我们可以把${\displaystyle ax^{2}+bx+c\,\!}$ 因式分解为${\displaystyle a(x-r_{1})(x-r_{2})\,\!}$ 。

二次函数可以表示成以下三种形式：

• ${\displaystyle f(x)=ax^{2}+bx+c\,\!}$  称为一般形式或多项式形式。
• ${\displaystyle f(x)=a(x-r_{1})(x-r_{2})\,\!}$  称为因子形式或交点式，其中${\displaystyle r_{1}}$ 和${\displaystyle r_{2}}$ 是二次方程的两个根，${\displaystyle (r_{1},0)}$ ,${\displaystyle (r_{2},0)}$  是抛物线与${\displaystyle x}$ 轴的两个交点。
• ${\displaystyle f(x)=a(x-h)^{2}+k\,\!}$  称为标准形式或顶点形式，${\displaystyle (h,k)}$ 即为此二次函数的顶点。

把一般形式转换成因子形式时，我们需要用求根公式来算出两个根${\displaystyle r_{1}}$ 和${\displaystyle r_{2}}$ ，或是利用十字交乘法（适用于有理数）。把一般形式转换成标准形式时，我们需要用配方法。把因子形式转换成一般形式时，我们需要把两个因式相乘并展开。把因子形式变换成标准形式有特殊的方法。

${\displaystyle h}$ 代表了二次函数的对称轴，因此两根的平均数即为${\displaystyle h}$ 

• ${\displaystyle k}$ 展开后比较后可得 ${\displaystyle k=-a\left({\frac {|r_{1}-r_{2}|}{2}}\right)^{2}}$ 

不通过${\displaystyle r_{1}}$ 和${\displaystyle r_{2}}$ 求${\displaystyle k}$ 及${\displaystyle h}$ 公式：

• ${\displaystyle h=-{\frac {b}{2a}}}$ 
• ${\displaystyle k=-{\frac {b^{2}-4ac}{4a}}}$  (也作${\displaystyle k={\frac {4ac-b^{2}}{4a}}}$ )

而在三种形式中皆出现的${\displaystyle a}$ 为此二次函数的领导系数，决定二次函数图像开口的大小与方向。

• 系数${\displaystyle a}$ 控制了二次函数从顶点的增长（或下降）速度，即二次函数开口方向和大小。${\displaystyle |a|}$ 越大，开口越小，函数就增长得越快。
• 系数${\displaystyle b}$ 和${\displaystyle a}$ 控制了抛物线的对称轴（以及顶点的${\displaystyle x}$ 坐标）。
• 系数${\displaystyle b}$ 控制了抛物线穿过${\displaystyle y}$ 轴时的倾斜度（导数）。
• 系数${\displaystyle c}$ 控制了抛物线最低点或最高点的高度，它是抛物线与${\displaystyle y}$ 轴的交点。

x 截距

当函数与${\displaystyle x}$ 轴有两个交点时，设这两个交点分别为 ${\displaystyle A(x_{1},0),\,B(x_{2},0)}$ ，由根与系数的关系得出^[d]：${\displaystyle x_{1}+x_{2}=-{\frac {b}{a}}}$ 和${\displaystyle x_{1}x_{2}={\frac {c}{a}}}$ 

${\displaystyle {\begin{aligned}\therefore AB&=|x_{2}-x_{1}|\\&=\left|{\sqrt {(x_{2}-x_{1})^{2}}}\right|\\&=\left|{\sqrt {(x_{1}+x_{2})^{2}-4x_{1}x_{2}}}\right|\\&=\left|{\sqrt {\left(-{\frac {b}{a}}\right)^{2}-{\frac {4c}{a}}}}\right|\\&=\left|{\sqrt {{\frac {b^{2}}{a^{2}}}-{\frac {4ac}{a^{2}}}}}\right|\\&=\left|{\sqrt {\frac {b^{2}-4ac}{a^{2}}}}\right|\\&={\frac {\sqrt {b^{2}-4ac}}{|a|}}\ \ \ \ {\text{或}}\ \ \ \ {\frac {\sqrt {\Delta }}{|a|}}\end{aligned}}}$ 

顶点

抛物线的顶点是它转弯的地方，也称为驻点。如果二次函数是标准形式，则顶点为${\displaystyle (h,k)\,\!}$ 。用配方法，可以把一般形式${\displaystyle f(x)=ax^{2}+bx+c\,\!}$ 化为：

因此在一般形式中，抛物线的顶点是：

经过顶点的竖直线

最大值和最小值

函数的最大值和最小值总是在驻点（又称临界点，稳定点）取得。以下的方法是用导数法来推导相同的事实，这种方法的好处是适用于更一般的函数。

设有函数${\displaystyle f(x)=ax^{2}+bx+c\,\!}$ ，寻找它的极值时，我们必须先求出它的导数：

二次函数的平方根的图像要么是椭圆，要么是双曲线。如果${\displaystyle a>0\,\!}$ ，则方程${\displaystyle y=\pm {\sqrt {ax^{2}+bx+c}}}$ 描述了一条双曲线。该双曲线的轴由对应的抛物线${\displaystyle y_{p}=ax^{2}+bx+c\,\!}$ 的最小值决定。如果最小值是负数，则双曲线的轴是水平的。如果是正数，则双曲线的轴是竖直的。如果${\displaystyle a<0\,\!}$ ，则方程${\displaystyle y=\pm {\sqrt {ax^{2}+bx+c}}}$ 的图像要么是一个椭圆，要么什么也没有。如果对应的抛物线${\displaystyle y_{p}=ax^{2}+bx+c\,\!}$ 的最大值是正数，则它的平方根描述了一个椭圆。如果是负数，则描述了一个空集。

二元二次函数是以下形式的二次多项式：

最小值/最大值

如果${\displaystyle 4AB-E^{2}<0\,}$ ，则函数没有最大值或最小值，其图像是双曲抛物面。

如果 ${\displaystyle 4AB-E^{2}>0\,}$ ，则当${\displaystyle A>0}$ 时函数具有最小值，当${\displaystyle A<0}$ 具有最大值。其图像是椭圆抛物面。

二元二次函数的最大值或最小值在点 ${\displaystyle (x_{m},y_{m})\,}$  取得，其中：

如果${\displaystyle 4AB-E^{2}=0\,}$ 且${\displaystyle DE-2CB=2AD-CE=0\,}$ ，则函数在一条直线上取得最大值/最小值。当${\displaystyle A>0}$ 时取得最大值，${\displaystyle A<0}$ 时取得最小值。其图像也是抛物柱面。

参考书目

• 《代数1》， Glencoe, 编辑
  • 抛物线

  外部链接

  • 埃里克·韦斯坦因. Quadratic. MathWorld.