Udowodnij Krzysiek: Udowodnij, że √4 to liczba niewymierna.

Krzysiek:

Jerzy: trudno udowodnić fałsz

Krzysiek: To jak to udowodnić

Dowodator:

	p
Załóżmy nie wprost, że √4 =		, gdzie p i q są liczbami całkowitymi względnie
	q

pierwszymi. Ale wtedy: 4q² = p², więc 4|p czyli p = 4p' czyli 4q² = 16p'² czyli q² = 4p'², analogicznie 4|q, a to jest sprzeczność bo 4|p,q a zakładaliśmy, że są względnie pierwsze ckd.

Lorak: Dowodator, Ty tak na serio?

Krzysiek:

zzz: Jaki sens jest w sprawdzaniu sprzeczności ?

Dowodator: Nie ma za co...