Dowód, że √2 jest liczbą niewymierną. Udowodnimy, że √2 jest liczbą niewymierną za pomocą dowodu nie wprost. Założymy, że √2 jest liczbą wymierną. Następnie zobaczymy, że prowadzi to do sprzeczności. Zatem założenie jest fałszywe i √2 musi być liczbą niewymierną.