Cтраница 1
Нужное утверждение следует теперь из того, что ka и пЪ соизмеримы тогда и только тогда, когда а / й - рациональное число. [1]
Хотя нужное утверждение можно считать уже доказанным, мы приведем сейчас еще одно доказательство того, что в 2 имеется конечный центральный в Г ряд. [2]
Поэтому нужное утверждение доказано. [3]
Поэтому нужное утверждение следует из теоремы ЛеЗега об ограниченной сходимости. [4]
Отсюда сразу вытекает нужное утверждение. [5]
Таким образом, нужное утверждение доказано. [6]
Это и дает нужное утверждение. [7]
Пролог начинает поиск нужного утверждения для предиката расчет количества / 2 только после того, как прочитает введенные пользователем данные о материале. Поиск продолжается до тех пор, пока данные о материале в заголовке утверждения не будут сопоставлены с термом, введенным пользователем. Программа построена с гарантией того, что вызов предиката read / 1 не даст отказа и что Пролог не будет через него совершать возврат. [8]
Соединяя написанные равенства, получаем нужное утверждение. [9]
Из ( 9) будет следовать нужное утверждение, поскольку сумма углов треугольника в евклидовой геометрии равна тт. [10]
Применяя теперь задачу 5.17, получим нужное утверждение. Примените задачу 5.13. 5.22. Примените задачу 5.13. 5.23. Пусть ( Q, з &, Р - вероятностное пространство, где Q - окружность единичной длины, 4 - - о-алгебра борелевских подмножеств Q, Р - мера Лебега. Рассмотрим последовательность дуг А, А. [11]
А ( х, К) отсюда следует нужное утверждение, так как А ( х, ti) 0 при 3 / 2 У. [12]
Отсюда в силу признака перпендикулярности прямой и плоскости следует нужное утверждение о перпендикулярности прямой BDi и плоскости АВ С. [13]
Полагая Т ( 1 - s) / 2, получаем, что два последних неравенства и теорема 3.10 завершают доказательство нужного утверждения. [14]
Если k2 - lm k 0, то здесь можно перейти к пределу при R - оо, после чего легко получаются нужные утверждения. [15]