引理9

直线Iμ和μM,以及长度,相互间相等。

因为4Sμ是属于顶点μ的抛物线的通径。