Die Annahme lautet, die Wurzel sei rational, also als Bruch darstellbar. Die Bruchdarstellung wird im Verlauf des Beweises genutzt um den Widerspruch zu erzeugen. Also würde ich sagen sie ist notwendig.
Ich möchte aber dazu sagen, ich bin kein Experte in mathematischen Beweisen. Ich habe mich auf die Beweisführung in Wikipedia gestützt, nur mit veränderten Größen. Da der Vergleich aber sehr ähnlich verläuft habe ich ihn gepostet.