포물선의 준선은 y=1이고 초점 F는 x^2+y^2=1 (y>=0) 위의 점이다. 다음 명제를 증명해라.

y=mx와 포물선의 두 교점 사이의 거리가 최대일 조건은 F가 y=mx 위의 점일 것이다.