Цитата(andriano @ 8.01.2010 10:53)
Среднее арифметическое двух рациональных есть рациональное по определению.
Не "по определению", а "легко доказать, что". Это "две большие разницы" (С)
Цитата(leon00831 @ 8.01.2010 17:44)
насчет рац.чисел то понятно,но что делать,когда числа иррациональные?
Тут масса способов, все они несложные, но могут зависеть от принятой системы аксиом. Вообще, обычно достаточно сказать, что множество рациональных чисел всюду плотно, но можно и не пользоваться этим. Например, знаешь, что рациональные представляются конечной, а иррациональные - бесконечной десятичной дробью? Если нам даны два иррациональных числа, то находим первый знак, в котором отличие, и обрезаем обе дроби за следующим и добавлением еще одной цифры и подбором ее конструирум то, что надо (но нужно быть осторожным, там есть подводные камни).
Или так:
даны a и b - иррациональные (a<b). Берем r
1<a и r
2>b. Далее находим r
3 посредине отрезка [r
1,r
2], потом середины половинок и т.д. Таким образои покрываем все сеткой со стремящимся к нулю размером яцейки и рациональными узлами. Когда длина ячейки станет меньше разности b-a, узел попадет между ними.
Кстати, первый способ практически эквивалентен второму с делением не на две части, а на десять )).