Zunächst: Die Normalensteigung ist -1/y'.
Es sei also \(y:I \to \R\) eine stetig differenzierbar Funktion auf einem geeigneten Definitionsbereich. Die Gleichung der Normale in einem Punkt \((x,y(x))\) mit \(y'(x) \neq 0\) ist:
$$t \mapsto y(x)-\frac{1}{y'(x)}(t-x)$$
Sie geht durch den Nullpunkt, wenn
$$y(x)-\frac{1}{y'(x)}(0-x)=0 \iff y(x)y'(x)=-x$$
Durch Integration mit der Vorgabe \(y(1)=1\) folgt
$$0.5y(x)^2-0.5=0.5-0.5x^2 \Rightarrow y(x)=\sqrt{2-x^2}$$
Der Graph von y ist ein Halbkreis um den Nullpunkt, so dass offensichtlich die Bedingung für die Normal erfüllt ist.