Supposons que √2 soit un nombre rationnel a et b premiers entre tels que √2 = a:b

1. demontré que dans ce cas a² = 2ab²