dowodzenie niewymierności Nyx: np. jak mam dowieść niewymierności liczby 2√3, to czy wystarczy, że dowiodę niewymierności √3 a potem się powołam na fakt, że iloczyn liczby wymiernej i niewymiernej jest liczbą niewymierną?

ICSP: 0 − wymierna √3 − niewymierna iloczyn = 0 − wymierna

Nyx: ok, "liczby wymiernej różnej od zera i niewymiernej"

ICSP: Powinno być już dobrze. Ewentualnie dorzuć dowód niewymierności √3. No i przytocz swoje twierdzenie w poprawnej formie (wykluczającej 0)

Minato: albo tak x = 2√3 x² = 12 x²−12 = 0 Rozważmy wielomian W(x) = x²−12 z twierdzenia o pierwiastkach wymiernych wielomianu mamy, że możliwymi miejscami zerowymi są liczby ±12, ±6, ±4, ±3, ±2, ±1. Żadna z powyższych liczb nie jest pierwiastkiem wielomianu W. Zatem 2√3 jest liczbą niewymierną.