首先有F(0,p/2),dy/dx=x/p则有
设抛物线上有点(x0,y0)则
过该点切线方程有y=x0/p x-x0^2/2p
过F的垂线有y=-p/x0 x+p/2
则解得x=x0/2,y=0
那么得出结论,改点轨迹方程即为y=0