Cтраница 1
Метод доказательства был следующий. [1]
Метод доказательства позволяет выписать полное асимптотическое разложение символа оператора Л, но мы не станем входить в детали. [2]
Метод доказательства состоит в том, чтобы явно выписать уравнения n - й степени, определяющие этальные накрытия прямой D степени п, и показать, что группы Галуа замыканий Галуа этих накрытий являются подгруппами группы 5П, изоморфными Ап или Sn, как указано в теореме. [3]
Метод доказательства, принадлежащий Ляпунову, состоит в следующем. [4]
Метод доказательства этого утверждения полностью повторяет рассуждения главы 2 в теоремах 2.1, 2.2 и следствии 2.2. Теорема доказана. [5]
Метод доказательства / г-принципа, основанный на теореме о голономной аппроксимации, хорошо работает для открытых многообразий. В случае замкнутых многообразий его применение требует некоторого дополнительного приема, называемого микрорасширением. Метод голономной аппроксимации пригоден также для замкнутых дифференциальных соотношений, обладающих свойством микрогибкости. Наиболее интересные приложения такого рода относятся к симплектической геометрии. Эти приложения обсуждаются в третьей части книги. Для удобства читателя в этой же части содержится обзор основных понятий симплектической геометрии. [6]
Метод доказательства, называемый методом математической индукции, основан на принципе, который является одной из аксиом арифметики натуральных чисел. [7]
Метод доказательства чрезвычайно прост: мы строим замкнутую кольцевую область и, содержащую /, произвольно близкую к / при е - 0, и показываем, что для достаточно малых е все траектории системы (17.3) пересекают границу Q снаружи внутрь. Таким образом, все сводится к построению Q. Естественно, при этом будет использована симметричность относительно начала координат. [8]
Метод доказательства этой теоремы называется методом шагов и может быть использован для фактического нахождения решения по заданной начальной функции. [9]
Метод доказательства этой теоремы дает одновременно и метод нахождения решений. [10]
Метод доказательства такой: составляют уравнение движения точки шатуна D в проекциях на оси х и у и исключают время - полученная зависимость между координатами и будет представлять уравнение эллипса. [11]
Метод доказательства от противного теоремы А - В состоит в следующем. Предполагается противное ( противоречивое) искомому В положение В. В и тем самым теорема А - - В доказана. [12]
Метод доказательства, основанный на использовании этого принципа, называется методом математической индукции. [13]
Метод доказательства от противного заключается в следующем: строится отрицание утверждения, которое следует доказать. На основании полученного таким образом утверждения путем логических рассуждений приходим к другому утверждению, которое либо заведомо неверно, либо противоречит сделанному отрицанию, а это значит, что отрицание неверно. Тем самым из двух логически возможных ситуаций: либо верно данное утверждение, либо его отрицание - остается только одна - верно данное утверждение. [14]
Метод доказательства от противного обычно применяют в следующей форме: для доказательства теоремы А - В предполагают истинным высказывание IВ и пытаются вывести отсюда справедливость высказывания - А. [15]