pigor: ... niech punkt (
mn,
kl ) − punkt, gdzie m,n≠0,k,l≠0 liczby całkowite (z definicji
liczby wymiernej), to
kl =
√2 mn−
√3 /*nl ⇒ nk =
√2 ml−
√3nl ⇒ nk= l (
√2m−
√3n) ⇒
| | nk | |
⇒ l = |
| ∉ C (∉ − czyt. nie należy) , a to wystarczy do .c.n.w. .. |
| | √2m−√3n | |
znowu gdzies ta pieprzona kreska ułamkowa "zniknęła"