Cтраница 3
Какая идея используется при выводе равенств, связывающих эквивалентные ставки. [31]
Что касается второго, то при выводе равенства 2.2 А.И.Силиным-Бекчуриным основным условием было постоянство плотности в горизонтальной плоскости. [32]
Доказательство леммы 7.25. Напомним, возвращаясь к выводу равенства (7.11) из тождества Якоби (7.3), что большое количество сокращений - результат того, что наборы Р, Q, R предполагались вариационными производными функционалов и, следовательно, их производные Фреше были симметрическими операторами. [33]
Аналогично тому, как это делалось при выводе равенства (33.6), подсчитаем электродвижущую силу, возникающую в цепи. [34]
Открытие закона сохранения механической энергии ( выражаясь точнее, вывод равенства 246) обычно приписывают Гельмгольцу. [35]
Открытие закона сохранения механической энергии [ выражаясь точнее, вывод равенства ( 217) 1 обычно приписывают Гельмгольцу. [36]
При рассмотрении классической гидродинамики мы убедились, что для вывода термодинамических равенств удобно выполнить каноническое преобразование фазовых переменных частиц, исключающее макроскопическое движение жидкости. К сожалению, в случае сверхтекучей жидкости переход в движущуюся систему координат позволяет исключить лишь одно из векторных полей vs или vn, которыми теперь описывается макроскопическое движение. [37]
Имеет место II ( Y) х, коль скоро Y есть вывод равенства вида г дг, где х - цифра. [38]
Мы можем прямо вычислить диэлектрическую восприимчивость, следуя процедуре, использовавшейся ранее для вывода равенства (4.28), которое определяло диэлектрическую восприимчивость тетраедрических кристаллов. В данном случае мы рассчитаем поляризуемость отдельной структурной единицы, орбитали которой образуют элементарный набор. Мы не будем вводить масштабный множитель - у и поэтому прямо получим соответствующий вклад в диэлектрическую восприимчивость. Можно ожидать, что наш расчет будет довольно точным, так как масштабный множитель необходим главным об ( разом в тетраэдрич & ских кристаллах с высокой степенью мета л личности и узкими энергетическими зазорами между зонами. [40]
Любое вычисление значения рекурсивного терма без переменных в рамках рекурсивной арифметики может быть формализовано выводом равенства, указывающего результат этого вычисления. В этом выводе в качестве исходных формул используются рекурсивные равенства для рекурсивных функций, прямо или косвенно фигурирующих в этом терме, и аксиомы равенства. При этом использование этих формул производится с помощью подстановок и схем заключения. [41]
Поскольку же реакцию сульфирования удобнее представлять уравнением ( 78), что и принято при выводе равенства ( 99), следует предположить ( это предположение вполне справедливо лишь с точки зрения энергетического баланса), что взаимодействие углеводорода с сульфирующим агентом протекает следующим образом. [42]
Формально равенство си dv не следует из этих трех равенств ( и в случае полугрупп оно выполняется далеко не всегда), но если воспользоваться обратными элементами, то вывод равенства си - dv не составит особого труда. [43]
Мы покажем здесь несколько больше, а именно, что может быть указана некоторая рекурсивная формула 33 ( /, т, п), не содержащая переменных, отличных от /, т и п, и обладающая тем свойством, что для любых цифр I, m и п отношение 33 ( (, т, п) имеет место тогда и только тогда, когда в нашей нумерации ( и m являются номерами списков формул, п является номером некоторого равенства d) и список с номером m представляет собой вывод равенства из равенств списка с номером при помощи правила подстановки и схем замены и перестановки. [44]
При выводе равенства (4.4.14) мы предполагали, что Е и Н являются вещественными. На самом деле уравнения Максвелла (4.4.4) и (4.4.5) записаны для комплексных полей. [45]