燕尾定理，也称为共边比例定理，是一个在几何学中关于三角形的定理。它描述了在三角形中，如果一条线段与三角形的两边相交，那么这条线段被这两边的交点分成的两段的比例，等于它们分别与这两条边所形成的两个小三角形的面积之比。
以下是燕尾定理的证明过程：
步骤1：设定基本条件和符号
设三角形为$\triangle ABC$，其中点$D$和$E$分别在边$AB$和$AC$上，且不与顶点重合。设线段$DE$交$BC$于点$F$。我们需要证明的是：
$\frac{BF}{FC} = \frac{S_{\triangle BDE}}{S_{\triangle CDE}}$
其中，$S_{\triangle BDE}$ 和 $S_{\triangle CDE}$ 分别表示三角形$\triangle BDE$和$\triangle CDE$的面积。
步骤2：利用相似三角形
为了找到面积比与边长比之间的关系，我们可以考虑通过过点$A$作$BC$的平行线，分别交$DE$的延长线和反向延长线于点$G$和$H$。这样，我们得到了两个新的三角形：$\triangle ADG$ 和 $\triangle AEH$。
由于$GH \parallel BC$，根据平行线的性质，我们有：
$\triangle ADG \sim \triangle ABC$ 和 $\triangle AEH \sim \triangle ABC$
步骤3：计算面积比
由于$\triangle ADG$ 和 $\triangle AEH$都与$\triangle ABC$相似，它们的面积比可以表示为相似比的平方。同时，由于$DE$是这两个相似三角形的对应线段（即它们的高相同），因此有：
$\frac{S_{\triangle ADE}}{S_{\triangle ADG}} = \left(\frac{DE}{DG}\right)^2$
和
$\frac{S_{\triangle ADE}}{S_{\triangle AEH}} = \left(\frac{DE}{DH}\right)^2$
步骤4：利用等高三角形的面积比
注意到$\triangle BDE$和$\triangle ADE$以及$\triangle CDE$和$\triangle ADE$都是等高三角形（因为它们的高都是从点$D$到直线$BC$的垂线段）。因此，它们的面积比等于底边之比：
$\frac{S_{\triangle BDE}}{S_{\triangle ADE}} = \frac{BD}{AD}$
和
$\frac{S_{\triangle CDE}}{S_{\triangle ADE}} = \frac{CE}{AE}$
步骤5：结合以上信息
将上述所有信息结合起来，我们可以得到：
$\frac{BF}{FC} = \frac{S_{\triangle BDF}}{S_{\triangle CDF}} = \frac{S_{\triangle BDE} + S_{\triangle BDF} - S_{\triangle ADF}}{S_{\triangle CDE} + S_{\triangle CDF} - S_{\triangle ADF}}$
$= \frac{S_{\triangle BDE}}{S_{\triangle CDE}}$ （因为$S_{\triangle BDF}$和$S_{\triangle CDF}$以及$S_{\triangle ADF}$都相对于$S_{\triangle BDE}$和$S_{\triangle CDE}$来说很小，且在分子分母中都出现，所以可以相互抵消）
注意：这里的最后一步需要一些额外的解释或假设来确保$S_{\triangle BDF}$、$S_{\triangle CDF}$和$S_{\triangle ADF}$的影响可以忽略不计，或者更严谨地通过代数方法处理这些项。但在直观上，当$D$和$E$不是非常接近$A$时，这个近似是合理的。
然而，为了得到一个严格的证明，我们通常不会直接依赖这种直观的近似。相反，我们会使用更精确的几何构造和代数方法来推导结果。上面的步骤提供了一个直观的思路，但可能需要进一步的数学工具来完善为一个完整的证明。
在实际教学中或数学文献中，可能会采用其他更精确的方法来证明这一结论。
