关于Apollonius Conics I.46（希思版命题20）中抛物线切线平行四边形与纵标三角形面积关系的疑问

嘿，我完全懂你这种卡壳的感觉——Apollonius的《圆锥曲线论》里的命题图形经常因为位置不同让人犯晕，尤其是不同命题里的三角形和平行四边形看似不搭边的时候，很容易怀疑是不是自己漏了什么，甚至质疑大师的推导。别担心，你没看错两个命题里的三角形位置差异，问题出在如何把I.42的结论平移到I.46的图形里。

先帮你梳理两个命题的核心图形和结论，再串起它们的逻辑链：

先回顾I.42的核心内容 #

I.42里的切线旁的三角形是指以抛物线顶点O、切点P，以及切线与轴的交点T为顶点的△OPT。Apollonius证明的是：这个三角形的面积，等于一个同高、底为OT一半的平行四边形的面积。用坐标举个直观例子：假设抛物线是(y^2=4ax)，顶点O(0,0)，切点P((x_1,y_1))，切线PT交x轴于T(-(x_1),0)，那么△OPT的面积是(\frac{1}{2} \times OT \times y_1 = \frac{1}{2}x_1y_1)；对应的平行四边形取底为OT的一半（长度(\frac{x_1}{2})），高为(y_1)，面积就是(\frac{x_1}{2} \times y_1)，确实和三角形面积相等。

再拆解I.46的图形和断言 #

I.46里的沿切线的平行四边形，并不是I.42里的小平行四边形，而是以切线PT为一边，另一边平行于抛物线的轴（直径），从T和P分别向纵标方向延伸构成的平行四边形——比如，过T作平行于PV（P到轴的纵标）的直线，过P作平行于轴的直线，两者交于Q，平行四边形TPQV就是这里的“沿切线的平行四边形”，它的面积是(TV \times y_1)。根据抛物线的切线性质（I.33），(TV=2x_1)（因为(OT=x_1)，(OV=x_1)，所以(TV=OT+OV=2x_1)），所以这个平行四边形的面积是(2x_1y_1)。

而I.46里说的纵标旁的高更大的三角形，是指以T为顶点，以纵标的两个端点（P和P'，P'是过V作纵标交抛物线的另一点）为底边的△TP'P。这个三角形的底(PP'=2y_1)，高是从T到PP'的水平距离(TV=2x_1)，面积计算为(\frac{1}{2} \times 2y_1 \times 2x_1 = 2x_1y_1)，刚好和平行四边形TPQV的面积相等！

为什么I.42能推出这个结论？ #

关键是把I.42的面积比例关系翻倍推导：

• 从I.42我们知道，△OPT的面积(\frac{1}{2}x_1y_1)，等于对应小平行四边形的面积。
• △TPV的面积是△OPT的2倍（因为TV=2OT，高相同），也就是(x_1y_1)。
• △TP'P的面积是△TPV的2倍（因为PP'=2PV，高相同），也就是(2x_1y_1)。
• 同时，平行四边形TPQV的面积是(TV \times PV=2x_1 \times y_1)，正好等于△TP'P的面积。

Apollonius没有详细写中间的翻倍步骤，这是古希腊几何的特点——依赖已证的比例关系快速推导，默认读者能补全逻辑环节。所以不是Apollonius出错了，而是他省略了一些需要你串联的细节。

另外你提到的两个三角形位置差异：I.42的△OPT是靠近顶点的“小三角形”，而I.46的△TP'P是横跨抛物线两侧的“大三角形”，确实位置完全不同，但它们的面积关系是通过I.42的比例，结合抛物线的切线性质（TV=2OV）传递过来的，这就是关键的连接点。

备注：内容来源于stack exchange，提问作者Antony Nispel