设PQ方程x=my+(p/2),点P,Q坐标为(x1,y1),(x2,y2)【y1>0】
与抛物线方程联立得y²-2pmy-p²=0,则y1=mp+p根号(m²+1),y2=pm-p根号(m²+1)
tan∠PEF=y1/[x1+(p/2)],tan∠QEF=-y2/[x2+(p/2)]
x1=my1+(p/2),x2=my2+(p/2)
tan∠PEF/tan∠QEF=-y1[x2+(p/2)]/y2[x1+(p/2)],
把x1,x2,y1,y2代入后得tan∠PEF/tan∠QEF=1
于是两角相等