双曲线焦点三角形面积公式为 $S = b^2 \cot\left(\frac{\theta}{2}\right)$，其中 $\theta$ 是双曲线上一点 $P$ 与两焦点 $F_1, F_2$ 形成的夹角（即 $\angle F_1PF_2 = \theta$），$b$ 是双曲线的虚半轴长。这一公式将几何关系与三角恒等变换结合，适用于标准方程为 $\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1$（或 $\frac{y^2}{b^2} - \frac{x^2}{a^2} = 1$）的双曲线，且满足焦距 $2c$ 与 $a, b$ 的关系 $c^2 = a^2 + b^2$ 。

公式推导：从定义到三角恒等变换

双曲线定义与余弦定理
设双曲线上任意一点 $P$ 到两焦点的距离为 $|PF_1| = m$，$|PF_2| = n$。根据双曲线定义，$|m - n| = 2a$（实轴长）。在 $\triangle PF_1F_2$ 中，由余弦定理得：

$|F_1F_2|^2 = m^2 + n^2 - 2mn \cos\theta$

其中 $|F_1F_2| = 2c$（焦距），代入得：

$(2c)^2 = m^2 + n^2 - 2mn \cos\theta \quad \text{(1)}$

化简 $mn$ 的表达式
对 $|m - n| = 2a$ 平方得 $m^2 + n^2 = 4a^2 + 2mn$，代入式 (1)：

$4c^2 = 4a^2 + 2mn - 2mn \cos\theta$

整理后解得 $mn = \frac{2b^2}{1 - \cos\theta}$（利用 $c^2 - a^2 = b^2$）。

结合三角形面积公式与三角恒等变换
三角形面积 $S = \frac{1}{2}mn \sin\theta$，代入 $mn$ 的表达式：

$S = \frac{1}{2} \cdot \frac{2b^2}{1 - \cos\theta} \cdot \sin\theta = b^2 \cdot \frac{\sin\theta}{1 - \cos\theta}$

利用半角公式 \(\sin\theta = 2\sin\frac{\theta}{2}\cos\frac{\theta}{2}\) 和 \(1 - \cos\theta = 2\sin^2\frac{\theta}{2}\)，化简得：

\(S = b^2 \cdot \frac{2\sin\frac{\theta}{2}\cos\frac{\theta}{2}}{2\sin^2\frac{\theta}{2}} = b^2 \cot\left(\frac{\theta}{2}\right)\)

公式对比与适用场景

除了上述基于角度的公式，文档中还提到两种坐标相关的面积计算方式：

示例：对双曲线 \(\frac{x^2}{4} - \frac{y^2}{5} = 1\)（\(a^2=4, b^2=5, c=3\)），若点 \(P\) 在顶点处（\(y=0\)），则 \(S = c|y| = 0\)，此时三角形退化为线段