张角定理推导-张角定理推导

张角定理推导核心 张角定理作为解析几何与圆锥曲线领域极具代表性的结论，其几何意义深远，计算技巧精湛。该定理主要涉及椭圆与双曲线焦点弦长公式，其推导过程逻辑严密，需综合运用点到直线距离公式、勾股定理以及相似三角形性质等基础数学工具。在数学竞赛与高考高难度题型训练中，张角定理常作为压轴题出现，考察考生将代数运算与几何直观深度融合的能力。 深入探讨该定理的推导过程，不仅能帮助学生掌握解析几何的底层逻辑，更能提升面对复杂图形的解题信心。其推导线径往往较长，涉及大量的根号运算与代数变形，这对考生的运算能力和耐心提出了极高要求。一旦掌握了核心法则，此类题目往往迎刃而解。对于希望深入理解数学本质、突破典型难题的学子而言，系统学习如何严谨地推导这一结论，显得尤为重要。本文将结合权威数学解析思路，详解张角定理的推导攻略。 推导起点：构建基本的几何模型 在开始具体的推导流程前，我们需要明确张角定理所涉及的基本图形结构。该定理描述了椭圆或双曲线上任意一点与两个焦点所形成的三角形关系。假设我们要推导的是椭圆的双焦三角形性质。 设椭圆方程为 $frac{x^2}{a^2} + frac{y^2}{b^2} = 1$（$a>b>0$），其左、右焦点分别为 $F_1(-c, 0)$ 和 $F_2(c, 0)$，其中 $c = sqrt{a^2 - b^2}$。现有一点 $P$ 位于椭圆上。连接 $PF_1$ 与 $PF_2$，构成一个三角形 $triangle PF_1F_2$。 推导的核心在于计算该三角形中某一角（例如 $angle F_1PF_2$）的正弦值，或者直接利用余弦定理建立边长之间的关系。为了简化计算，我们通常引入“张角”这一特定术语来描述顶点 $P$ 对底边 $F_1F_2$ 所张的角。不过，在本推导中，我们更关注的是边上定长弦 $|PF_1|$ 与 $|PF_2|$ 的长度关系。 我们在坐标系中设定坐标。不妨设点 $P$ 的坐标为 $(x_0, y_0)$。由于 $P$ 在椭圆上，满足方程 $b^2x_0^2 + a^2y_0^2 = a^2b^2$。我们需要计算 $|PF_1|^2$ 和 $|PF_2|^2$ 的长度平方值。 根据两点间距离公式： $|PF_1|^2 = (x_0 + c)^2 + y_0^2$ $|PF_2|^2 = (x_0 - c)^2 + y_0^2$ 展开上述表达式： $|PF_1|^2 = x_0^2 + 2cx_0 + c^2 + y_0^2$ $|PF_2|^2 = x_0^2 - 2cx_0 + c^2 + y_0^2$ 将椭圆方程中的包含 $y_0^2$ 的项转化为 $x_0$ 的项。由 $b^2x_0^2 + a^2y_0^2 = a^2b^2$ 可得 $y_0^2 = frac{a^2b^2 - b^2x_0^2}{a^2} = frac{a^2 - frac{b^2}{a^2}x_0^2}{a^2} cdot a^2 y_0^2$ 这种换元比较繁琐，我们换一种方式处理。利用 $y_0^2 = frac{a^2b^2 - b^2x_0^2}{a^2}$ 代入距离公式： $|PF_1|^2 = x_0^2 + 2cx_0 + c^2 + frac{a^2b^2 - b^2x_0^2}{a^2}$ $|PF_1|^2 = x_0^2 + 2cx_0 + c^2 + frac{a^2b^2}{a^2} - frac{b^2}{a^2}x_0^2$ $|PF_1|^2 = x_0^2 + 2cx_0 + c^2 + b^2 - frac{b^2}{a^2}x_0^2 = (1 - frac{b^2}{a^2})x_0^2 + 2cx_0 + (c^2 + b^2)$ 注意到 $c^2 + b^2 = a^2$，且 $1 - frac{b^2}{a^2} = frac{a^2-b^2}{a^2} = frac{c^2}{a^2}$，所以： $|PF_1|^2 = frac{c^2}{a^2}x_0^2 + 2cx_0 + a^2 = (frac{c}{a}x_0 + a)^2$ 这是一个关键发现！这意味着 $|PF_1| = frac{c}{a}x_0 + a$。由于 $P$ 在椭圆上且 $x_0 in [-a, a]$，对于右半部分（$x_0>0$），$|PF_1| = a - ex_0$（其中 $e=c/a$为离心率）。对于左半部分，公式形式略有变化，但整体结构一致。 同理，我们可以推导出 $|PF_2| = a + ex_0$（右半部分）或 $|PF_2| = -a + ex_0$（左半部分，需取绝对值）。 推导核心：利用向量与勾股定理求解 有了边长表达式，接下来我们需要求 $angle F_1PF_2$。这个角的大小依赖于点 $P$ 的位置，而不仅仅是边长。为了求出 $sin angle F_1PF_2$，我们考虑向量 $vec{PF_1}$ 和 $vec{PF_2}$。 设 $P$ 点坐标为 $(x_0, y_0)$，则 $vec{PF_1} = (-c - x_0, -y_0)$，$vec{PF_2} = (c - x_0, -y_0)$。 计算数量积 $vec{PF_1} cdot vec{PF_2}$： $vec{PF_1} cdot vec{PF_2} = (-c - x_0)(c - x_0) + (-y_0)(-y_0)$ $= -(c + x_0)(c - x_0) + y_0^2$ $= -(c^2 - x_0^2) + y_0^2 = x_0^2 - c^2 + y_0^2$ 另一方面，利用余弦定理计算 $cos angle F_1PF_2$： $cos angle F_1PF_2 = frac{|vec{PF_1} cdot vec{PF_2}|}{|vec{PF_1}| |vec{PF_2}|}$ 这里取绝对值是因为角可能位于 $(0, pi)$ 之间，余弦值可为负。 前面已得出 $|vec{PF_1}| = a - ex_0$， $|vec{PF_2}| = a + ex_0$（假设 $P$ 在右支，且 $x_0$ 为正，则 $F_2$ 到 $P$ 的距离为 $a+ex_0$， $F_1$ 到 $P$ 的距离为 $a-ex_0$，注意方向）。 代入余弦定理： $cos angle F_1PF_2 = frac{a^2 - c^2 + y_0^2}{(a - ex_0)(a + ex_0)} = frac{a^2 - (a^2 - b^2) + y_0^2}{a^2 - e^2x_0^2}$ 由于 $y_0^2 = frac{b^2}{a^2}(a^2 - x_0^2)$，代入分子： 分子 $= b^2 + frac{b^2}{a^2}(a^2 - x_0^2) = b^2 + b^2 - frac{b^2}{a^2}x_0^2 = 2b^2 - frac{b^2}{a^2}x_0^2 = b^2(2 - frac{x_0^2}{a^2})$ 这似乎没有最简形式。让我们换一个更巧妙的推导路径，即正弦定理结合几何作图。 几何构造法推导 为了更直观地理解张角关系，我们可以构造一个辅助圆或利用椭圆的光学性质。当点 $P$ 位于右顶点 $(a, 0)$ 时，$angle F_1PF_2$ 最大。此时 $F_1, P, F_2$ 共线吗？不，$P$ 在 $F_1F_2$ 连线上。 当 $P$ 在右顶点 $(a, 0)$ 时，$|PF_1| = a - c = a(1-e)$， $|PF_2| = a + c = a(1+e)$。此时 $vec{PF_1}$ 指向左，$vec{PF_2}$ 指向右，两向量反向，夹角为 $180^circ$，$sin 180^circ = 0$。 当 $P$ 在短轴端点 $(0, b)$ 时，$x_0=0, y_0=b$。 $|PF_1| = sqrt{(0+c)^2 + b^2} = sqrt{c^2+b^2} = a$ $|PF_2| = sqrt{(0-c)^2 + b^2} = sqrt{c^2+b^2} = a$ 此时 $triangle PF_1F_2$ 为等腰三角形，顶角 $angle F_1PF_2$。 利用余弦定理： $cos angle F_1PF_2 = frac{a^2 + a^2 - (2c)^2}{2a^2} = frac{2a^2 - 4c^2}{2a^2} = 1 - frac{2c^2}{a^2}$ 又因为 $2c^2 = 2(a^2-b^2)$， $cos angle F_1PF_2 = 1 - frac{2a^2 - 2b^2}{a^2} = 1 - 2 + frac{2b^2}{a^2} = frac{2b^2}{a^2} - 1$ 根据半角公式 $sin^2 theta = frac{1 - cos 2theta}{2}$： $sin^2 angle F_1PF_2 = frac{1 - (1 - frac{2b^2}{a^2} - 1)}{2} = frac{3b^2}{a^2}$？不对，这里 $theta$ 是顶角，$2theta$ 是底角？ 不，直接用面积法或向量点积更稳妥。 $S_{triangle PF_1F_2}^2 = frac{1}{4} |vec{PF_1}|^2 |vec{PF_2}|^2 - (frac{1}{2} |vec{PF_1} - vec{PF_2}|)^2 = frac{1}{4} |F_1F_2|^2 - text{area}^2$。 更简单的是直接使用公式： $sin^2 angle F_1PF_2 = frac{4S^2}{|PF_1||PF_2|} = frac{4(b^2 / 4 cdot text{base})}{a^2} = dots$ 标准结论是：当 $P$ 在短轴端点时，$sin angle F_1PF_2$ 取得最大值。 实际上，教科书上张角定理的表述通常是：对于椭圆，若 $P$ 为椭圆上一点，$angle F_1PF_2 = 2 arcsin(frac{ex_0}{a})$（需根据象限调整）。 另一种表述：$sin frac{1}{2}angle F_1PF_2 = frac{ex_0}{a}$。 推导该公式： 设 $P(x_0, y_0)$，利用切线斜率公式或直接利用定义。 定义法：$|PF_1| = a - ex_0$， $|PF_2| = a + ex_0$。 利用向量夹角公式： $vec{PF_1} cdot vec{PF_2} = |PF_1||PF_2| cos theta$ 前面算出 $vec{PF_1} cdot vec{PF_2} = x_0^2 - c^2 + y_0^2$ 又 $y_0^2 = b^2(1 - frac{x_0^2}{a^2})$ $x_0^2 - (a^2-b^2) + b^2 - frac{b^2}{a^2}x_0^2 = x_0^2 - a^2 + b^2 + b^2 - frac{b^2}{a^2}x_0^2 = (1-e^2)x_0^2 + 2b^2 - a^2 = frac{c^2}{a^2}x_0^2 - a^2 + a^2 = frac{c^2}{a^2}x_0^2$ 而 $|PF_1||PF_2| = (a-ex_0)(a+ex_0) = a^2 - e^2x_0^2$ 所以 $cos theta = frac{c^2 x_0^2 / a^2}{a^2 - e^2 x_0^2}$ 这仍然比较复杂。 让我们回到最经典的“张角定理”结论： 结论：对于椭圆，若 $P$ 为椭圆上一点，则 $sin frac{1}{2}angle F_1PF_2 = frac{|ex_0|}{a}$。 推导：
1.设 $P(x,y)$，焦距 $2c$。
2.椭圆定义：$|PF_1| + |PF_2| = 2a$。
3.应用余弦定理于 $triangle PF_1F_2$： $|F_1F_2|^2 = |PF_1|^2 + |PF_2|^2 - 2|PF_1||PF_2|costheta$ $4c^2 = (2a - |PF_2|)^2 + |PF_2|^2 - 2|PF_1||PF_2|costheta$ $4c^2 = 4a^2 - 4a|PF_2| + |PF_2|^2 + |PF_2|^2 - 2|PF_1||PF_2|costheta$ $4c^2 = 4a^2 - 4a|PF_2| + 2|PF_2|^2 - 2|PF_1||PF_2|costheta$ 此路较绕。 正确推导路径： 利用面积法。$S = frac{1}{2} |PF_1||PF_2| sintheta$。 同时 $S = frac{1}{2} |F_1F_2| cdot (y)$ （以 $F_1F_2$ 为底）。 即 $frac{1}{2} |PF_1||PF_2| sintheta = c cdot |y|$。 所以 $sintheta = frac{2c|y|}{|PF_1||PF_2|}$。 代入 $|PF_1| = a - ex$， $|PF_2| = a + ex$： $sintheta = frac{2c|y|}{a^2 - e^2x^2}$ 我们需要证明 $frac{c|y|}{sqrt{a^2 - e^2x^2}} = frac{ex}{a}$，即 $a c |y| = ex sqrt{a^2 - e^2x^2}$。 两边平方： $a^2 c^2 y^2 = e^2 x^2 (a^2 - e^2x^2)$ 代入 $y^2 = frac{a^2}{1} (1 - frac{x^2}{a^2}) = a^2 - x^2$ (这里符号处理)，椭圆方程 $x^2/a^2 + y^2/b^2 = 1 implies y^2 = b^2(1 - x^2/a^2) = b^2 - frac{b^2}{a^2}x^2$。 左边：$a^2 c^2 (b^2 - frac{b^2}{a^2}x^2) = c^2b^2 a^2 - c^2 b^2 x^2 = a^2(2a^2-b^2-b^2) - dots$ 显然不对。 重新审视张角定理的标准形式。张角定理通常指出：$sin frac{theta}{2} = frac{ex}{a}$。 验证