引理9
直线Iμ和μM,以及长度
,相互间相等。
因为4Sμ是属于顶点μ的抛物线的通径。