Die Funktion
ist stetig und es ist f ( 0 ) = − 2 < 0 {\displaystyle {}f(0)=-2<0} und f ( 2 ) = 2 > 0 {\displaystyle {}f(2)=2>0} . Wenn der Zwischenwertsatz auch rational gelten würde, müsste es im rationalen Intervall [ 0 , 2 ] {\displaystyle {}[0,2]} eine Nullstelle geben, also ein q ∈ Q {\displaystyle {}q\in \mathbb {Q} } mit q 2 = 2 {\displaystyle {}q^{2}=2} .