Cтраница 1
Доказанные формулы означают, что изменение начала отсчета значений случайной величины не влияет на ее дисперсию, а изменение масштаба приводит к соответствующему изменению среднего квадратического отклонения. [1]
Доказанные формулы целесообразно использовать при решении большинства задач на определение величин элементов многогранников и круглых тел. [2]
Доказанная формула называется обобщенной формулой замкнутости. [3]
Доказанную формулу называют формулой замены переменной под знаком определенного интеграла. [4]
Справедливость доказанной формулы при х 0 проверяется непосредственно. [5]
Из доказанных формул 1 - 13 следует, что элементарные функции ( за исключением arcsina; и arccosz) дифференцируемы на своих областях определения. [6]
Справедливость доказанной формулы при jt 0 проверяется непосредственно. [7]
Остается лишь применить к последнему уже доказанную формулу, чтобы прийти к требуемому результату. [8]
Аеп также являются базисами, и доказанная формула означает, что эти базисы связаны той же самой матрицей перехода С. [9]
Если иметь в виду представление (1.61), то доказанная формула (1.65) для дифференцирования по Яуманну сложной функции кажется интуитивно очевидной. Однако следует помнить, что она справедлива только для изотропных и гиротропных функций. [10]
Прежде всего еще раз напомним, что каждой из ранее доказанных формул дифференцирования соответствует равносильная ей формула интегрирования. Так как эти элементарные интегралы то и дело встречаются при интегрировании, то мы сведем их в таблицу. В каждой строке этой таблицы справа стоит элементарная функция, слева - ее производная. [11]
![]() |
Дерево решения теоремы ( 3. [12] |
Этот факт отмечается буквой Ч над соответствующими формулами, третий член подцели обнаруживается в списке доказанных формул и это отмечается буквой П над формулой. Четвертый и пятый члены являются синтаксически сопряженными и как только доказан один из них, доказан и другой. На рис. 7 синтаксически сопряженные подцели обозначаются буквами Б и Б над формулами в том случае, если одна из них бракуется. [13]
Формула Коши имеет место и для многосвязной области и доказательство ее может быть сведено к уже доказанной формуле Коши для односвязной области. [14]
Выясняется, что подцели CD - CD и АВ АВ доказываются на основании определения XY ID XY - XY и поэтому помещаются в список доказанных формул. [15]