抛物线方程：定义和性质
摘要：
本课程探讨了抛物线方程的定义和推导，突出其作为到焦点和准线等距离的点集合的起源。在此概念的基础上，回顾了诸如笛卡尔平面中点之间的距离和图形平移等先前的概念，从而引入了抛物线的基本方程及其与二次多项式的关系。最后，推导出了任意顶点的抛物线的通用方程，并将其转化为二次多项式的标准形式。
学习目标：
完成本课程后，学生将能够：
- 理解抛物线的几何定义，作为到焦点和准线等距离的点集合。
- 推导抛物线的基本方程，利用焦点-准线的距离关系。
- 理解抛物线与二次多项式之间的关系。
- 推导任意顶点(h,k)的抛物线的通用方程。
内容索引
抛物线方程推导的先前概念
抛物线的几何概念
笛卡尔平面中两点之间的距离
图形的平移
抛物线的定义
抛物线基本方程的推导
抛物线的通用方程
抛物线的标准方程与二次多项式
抛物线方程推导的先前概念
抛物线的几何概念
抛物线是一条曲线，它是所有到固定点（称为焦点）和固定直线（称为准线）的点的集合。为了理解这一定义，并将其转化为我们可以操作的代数表达式——抛物线方程，首先需要回顾一些先前的概念。
笛卡尔平面中两点之间的距离
考虑两个点p_1 = (x_1, y_1) 和 p_2 = (x_2, y_2)。它们之间的距离是连接它们的线段的长度。
我们可以通过毕达哥拉斯定理 来计算这一距离，图形如下：
因此，两个点之间的距离 d 为：
d= \sqrt{(x_2 - x_1)^2 + (y_2 - y_1)^2}
图形的平移
考虑函数y(x) = x^2。绘制图形后，将得到如下图所示的结果：
如果在该函数中将 x 替换为 x-1，并将 y 替换为 y-1，我们将看到图形的以下变化：
通常，每次此类替换都会产生平移变换，具体如下：
- x\longmapsto x-a：若 a 为正，则向右移动 a 个单位；若为负，则向左移动。
- y\longmapsto y-b：若 b 为正，则向上移动 b 个单位；若为负，则向下移动。
这些是平移变换，它们的效果总结在下图中：
抛物线的定义
抛物线是所有到固定点和固定直线等距离的点的集合。
固定点称为焦点，固定直线称为准线。注意到，距离的概念在定义抛物线时至关重要，因此要深入分析，我们必须复习如何在笛卡尔平面上测量距离，并代数化表达。
抛物线基本方程的推导
为了简化，考虑焦点p_f= (0,f) 和准线方程为 y=-p。
若取抛物线上任意点 (x,y)，该点到焦点和准线的距离相等。这可以通过以下代数方式描述：
焦点-点距离 = \sqrt{x^2 + (f-y)^2}= y+f = 点-准线距离
从这里我们推导出以下推理：
| (1) | \sqrt{x^2 + (f-y)^2}= y+f | ; 点-焦点距离 = 点-准线距离，抛物线定义 |
| (2) | x^2 + (f-y)^2= (y+f)^2 | ; 由 (1)，平方两边 |
| x^2 + \cancel{f^2} - 2fy + \cancel{y^2}= \cancel{y^2} + 2fy + \cancel{f^2} | ||
| x^2 - 2fy = 2fy | ||
| \boxed{y=\dfrac{x^2}{4f}} |
这就是我们所说的抛物线基本方程。
如果我们仔细观察这条抛物线，会发现有一个点具有与焦点最近的性质（或与准线最近的性质）。此点称为顶点，在此特定情况下其坐标为 (0,0)；焦点和顶点之间的距离称为焦距，其值 f 可以是任意实数，除了零。
当 f\gt 0 时，抛物线向上开口；相反，当 f\lt 0 时，抛物线向下开口。随着 f\to 0，抛物线会逐渐变平，保持顶点位置不变，准线靠近顶点，看起来抛物线和准线会合并为一条直线；当 f 为零时，图形消失，因为不存在除以零的情况。
抛物线的通用方程
从抛物线的基本方程和平移图形得出的结果是，替换 x\longmapsto (x-h) 和 y\longmapsto (y-k), 后得出抛物线的通用方程，顶点为 (h,k)。
(y-k) = \dfrac{(x-h)^2}{4f}
抛物线的标准方程与二次多项式
如果展开抛物线的通用方程，可以推导出以下推理：
| (1) | (y-k) = \dfrac{(x-h)^2}{4f} | ; 抛物线的通用方程 |
| 4f(y-k) = (x-h)^2 | ||
| 4fy-4fk = x^2 - 2hx + h^2 | ||
| 4fy = x^2 - 2hx + h^2 + 4fk | ||
| y = \dfrac{1}{4f}x^2 - \dfrac{h}{2f}x + \dfrac{h^2 + 4fk}{4f} |
如果在此方程中做出替换 a=\dfrac{1}{4f}, b=-\dfrac{2h}{4f} 和 c=\dfrac{h^2 + 4fk}{4f}, 那么抛物线的通用方程就会变为标准方程，而这正是二次多项式。
\boxed{y=ax^2 + bx + c}