小中学校あたりで見たことのある感じのそれだが、思い出せなかったらつらい。 $A,P,B$が実質直線になるのが最短で、つまり点$A$の$y$軸対象な点$A’$と点$B$を結ぶ直線$A’,B$と$y$軸との交点が目的の点$P$。 もしだめなら三分探索をすればよい。

#!/usr/bin/env python3
ax, ay = map(int,input().split())
bx, by = map(int,input().split())
ax *= -1
k = (by - ay) / (bx - ax)
py = ay + k * (- ax)
print('%.8f' % py)