Cтраница 2
Чтобы показать это, рассмотрим следующее доказательство. [16]
Центральная идея этого результата появляется в следующем доказательстве единственности. Vv теперь уже не принадлежит L00, невозможно просто воспользоваться леммой Гронуолла. [17]
Строение, предложенное для соединения XXVII, подтверждается следующими доказательствами. Восстановительное дебромирование дает 11-ацетоксисоединение, лишь с трудом поддающееся гидролизу. Образующийся спирт XXVIII не может быть ацетилирован и не реагирует с пятихлористым фосфором. Хотя для проведения сравнения не имеется эпимерного 11-оксисоединения, свойства соединений XXVIII заставляют предполагать, что оно представляет собой lip - производное. На моделях не видно, чтобы окисный мостик создавал заметное пространственное затруднение в 1 la - положении. [18]
Выражение ( 3 - 56) основано на следующем доказательстве. [19]
Если воспроизводить все детали то более непосредственно приводит к цели следующее доказательство. [20]
Но наиболее простым доказательством теоремы о бесконечности числа простых чисел является следующее доказательство, принадлежащее еще Евклиду. [21]
Поскольку это предположение очень важно для теории электричества, может оказаться полезным следующее доказательство самого общего случая в форме, свободной от аналитических операций. [22]
По Ньютону, эти утверждения следуют из основных законов механики на основе следующего доказательства. Рассмотрим тело в состоянии покоя, омываемое первоначально равномерным потоком жидкости с заданной скоростью. Сила, действующая на тело, может быть вызвана центробежными силами вследствие отклонения жидкости или воздействия частиц жидкости. [23]
Многие алгоритмы для разрешимых проблем контекстно-свободных грамматик вполне аналогичны алгоритму, который строится в следующем доказательстве. [24]
Необратимые же процессы и циклы увеличивают энтропию изолированной системы, в чем можно убедиться из следующих доказательств. Предположим, что необратимым процессом изолированной системы является передача тепла q от тела 1 с постоянной температурой TI телу 2 с постоянной температурой Т2 ( фиг. [25]
Без потери общности мы предполагаем, что q, так как в противном случае мы применяем следующее доказательство для каждой компоненты в отдельности. Если представление ориентированного, но не направленного цикла, появляющееся в матрице & т, соответствует циклу, полностью лежащему внутри G, или G2, то этот цикл может быть представлен с помощью направленных циклов внутри относительно сильно связной компоненты. Следовательно, мы можем предположить, что матрица 3 т не содержит представления любого такого цикла. При этом остаются ориентированные циклы, проходящие как через С, так и G2, и ясно, что они не являются направленными. Представление каждого цикла этого типа содержит - 1 по крайней мере в одном положении, для которого в представлении в матрице 3т любого направленного цикла нет не обращающегося в нуль элемента. Кроме того, такие элементы не могут все аннулироваться другими ориентированными циклами, поскольку полный набор циклов, представляемый столбцами матрицы т, является независимым. Следовательно, поток Р ( с) не может быть неотрицательным, если только веса представлений всех циклов, проходящих через две или больше сильно связных компонент, не обращаются в нуль. [26]
Например, гораздо более изящным доказательством неравенства a 4 - b а 1 ЬI является, очевидно, следующее доказательство. В СИЛУ результата задачи ЗЬ ( см. ниже)) отсюда вытекает нужное неравенство. [27]
Однако, чтобы случайно кто-либо не подумал, будто второе интегрирование с равным правом может быть определено и по другому закону, я прибавлю еще следующее доказательство. [28]
Первая часть утверждения принадлежит Полна [3], стр. Следующее доказательство устанавливает не только результат Полна, но и неравенства (6.4.2) ( см. Сеге [20], стр. [29]
Читателям, которых смущает справедливость соотношения (3.4), сле-дуе. Следующее доказательство (3.4) ь общем случае использует стандартное рассуждение, приметшие и в Солее общих ситуациях. Формула (3.4) тривиальна, когда i есть простая функция, принимающая лишь конечное число различных значении. [30]