Tu n'as pas l'air convaincu ...
Pourtant en mettant au carré, et en exprimant

en fonction de a et b, tu démontres rigoureusement que si ta relation initiale est vraie alors

est rationnel.
Sois tu sais déjà que

n'est pas rationnel et tu conclues ta démonstration par l'absurde, soit tu le démontres ...