訂正。
y=x^2の(t,t^2)における法線y=-(1/(2t))(x-t)+t^2で(a,b)を通るものが3本存在する
⇔
tの方程式 b=-a/(2t)+t^2+1/2 が異なる3つの実数解を持つ