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