Доказательство достаточности - трудная часть теоремы. Известные доказательства основаны на индуктивном по числу ребер е построении 3-многогранника, который реализует данный трехсвяз-ный граф G. Предположение, что G - трехсвязный граф, влечет, что е б, причем равенство возможно в том и только том случае, когда G Кц. ...
Доказательство достаточности условия х С Хо Для устойчивости стационарного режима с положительной % может быть проведено и в самом общем случае путем следующих рассуждений. ...
Другое доказательство, данное Александром, продолжает предшествующий отрывок, но он едва ли сформулировал его достаточно ясно. Это доказательство соо-бразуется с ( принципом экстенсиональности. Во всяком случае, Теофраст и Евдем исправили серьезную ошибку в аристотелевской теории случайности. ...
Доказательство единственности решения основывалось на предположении о том, что потенциальная энергия, а следовательно, и напряжения в теле исчезают, если оно свободно от внешних сил. Однако бывают случаи, когда и при отсутствии внешних сил в теле могут существовать начальные напряжения. ...
Доказательство закона основано на том, что ф-ция Гамильтона Я такой системы имеет вид: Н K ( pi) u ( xm), где кинетич. К - однородная квадратичная ф-ция от I - - п импульсов pi, а потенциальная энергия w - квадратичная ф-ция от п колебат. После этого легко показать, что внутр. Отметим, что закон равнораспределения верен только в классической С. ...
Изложенное доказательство дает способ фактического приведения А к нормальной жордановой форме, причем в доказательстве указано, как найти канонический базис. ...
Доказательство истины нередко стоит не меньших усилий, чем ее открытие. В ныне действующем Положении об открытиях, изрбре-гениях и рационализаторских предложениях сказано: Открытие должно быть доказано теоретически или подтверждено экспериментально. При этом следует иметь в виду, что критерием познания истины является практика, эксперимент. ...
Доказательство истинности этих утверждений может быть, как и ранее, получено путем сведения к законам операций над действительными числами. Для этого может быть использована сокращенная форма записи матриц. ...
Классификационное доказательство нуждается также в аналогичных характеризациях стандартными формами групп типа Ли и знакопеременных групп. Однако обсуждение необходимых результатов мы тоже отложим до следующей книги. ...
Конструктивное доказательство этих теорем как раз и приводит к алгоритмам абстрактного анализа и синтеза автоматов. Теорема 5.3 является фундаментальной теоремой абстрактной теории автоматов, поскольку из нее следует, что язык регулярных выражений оказывается достаточным для описания отображений, индуцируемых произвольными конечными автоматами. ...
Доказательство корректности алгоритма 8.7 тривиально, если доказать, что он заканчивает свою работу. Таким образом, корректность алгоритма вытекает из анализа времени его работы, что составляет содержание следующей теоремы. ...
Доказательство следующей леммы основывается на изучении причины, по которой одно задание получает большую метку, чем другое. Рассмотрим задания 5 и 4 на рис. 2.4. Из леммы 2.2 мы знаем, что задание 4 предшествует заданию. ...
Лучшее доказательство того, что это вооружение лишь по видимости направлено против внешнего врага, а на самом деле - против самого Кельна, состоит в том, что здесь везде оставлены деревья на гласисе. ...