logo
Лекції з матем - заоч

Доведення.

За означенням, якщо < , то mq<pn. Тоді pn>mq, тобто > . Що й треба було довести.

Теорема: для будь-яких невід’ємних раціональних чисел а, b, с, якщо (а<bb<c), то a<c.

Символічно ця теорема запишеться так: (а,b,сєQ0)[(а<bb<c)→(a<c)].