抛物线里的焦点在y轴的焦点弦公式怎么推导？

焦点弦公式2p/sina^2证明：设抛物线为y^2=2px(p>0)，过焦点F(p/2，0)的弦直线方程为y=k(x-p/2)，直线与抛物线交于A（x1，y1)，B(x2，y2)联立方程得k^2(x-p/2)^2=2px，整理得k^2x^2-p(k^2+2)x+k^2p^2/4=0所以x1+x2=p(k^2+2)/k^2 由抛物线定义，AF=A到准线...