證明：不失一般性,設橢圓方程為x^2/a^2+y^2/b^2=1 (a>b>0),交點分別為F1(-c,0)、F2(c,0).不失一般性,設不與F1F2共線的橢圓第一象限上任意一點P(x0,y0),則有
c^2=a^2-b^2①
x0^2/a^2+y0^2/b^2=1②
由②得b^2x0^2+a^2y0^2=a^2b^2
x^2/a^2+y^2/b^2=1兩邊對x求導,得
2x/a^2+2yy'/b^2=0得y'=-b^2*x/(a^2*y)
則過點P的切線方程為y-y0=-b^2*x0/(a^2*y0)*(x-x0)
令y=0,解得x=(a^2y0^2+b^2x0^2)/(b^2x0)=a^2b^2/(b^2x0)=a^2/x0
則過橢圓上點P(x0,y0)的切線交x軸于點M(a^2/x0,0).于是
|F1M|=a^2/x0+c,|F2M|=a^2/x0-c
|PF1|=√[(x0+c)^2+y0^2],|PF2|=√[(x0-c)^2+y0^2]
則
(|F1M|*|PF2|)^2=(a^2/x0+c)^2*[(x0-c)^2+y0^2]
(|F2M|*|PF1|)^2=(a^2/x0-c)^2*[(x0+c)^2+y0^2]
于是：
(|F1M|*|PF2|)^2-(|F2M|*|PF1|)^2=(a^2/x0+c)^2*[(x0-c)^2+y0^2]-(a^2/x0-c)^2*[(x0+c)^2+y0^2]
=(a^4/x0^2+2a^2c/x0+c^2)(x0^2-2cx0+c^2+y0^2)-(a^4/x0^2-2a^2c/x0+c^2)(x0^2+2cx0+c^2+y0^2)
=2a^2c/x0*(x0^2-2cx0+c^2+y0^2)-2cx0*(a^4/x0^2+2a^2c/x0+c^2)-(-2a^2c/x0)*(x0^2+2cx0+c^2+y0^2)-2cx0*(a^4/x0^2-2a^2c/x0+c^2)
=2a^2c/x0*2(x0^2+c^2+y0^2)-2cx0*2(a^4/x0^2+c^2)
=4c*[a^2/x0*(x0^2+c^2+y0^2)-x0*(a^4/x0^2+c^2)]
=4c*[(a^2x0-c^2x0)+a^2/x0*(c^2-a^2)+a^2y0^2/x0]
=4c*[b^2x0-a^2b^2/x0+a^2y0^2/x0]=4c/x0*[b^2x0^2-a^2b^2+a^2y0^2]=0
故(|F1M|*|PF2|)^2=(|F2M|*|PF1|)^2
|F1M|*|PF2|=|F2M|*|PF1|
|PF1|/|PF2|=|F1M|/|F2M|
依外角平分線性質定理,知該切線平分焦點三角形PF1F2的外角.