Cтраница 2
Простое доказательство неразрешимости проблемы истинности можно дать с использованием МНР, хотя это требует некоторого знакомства с исчислением предикатов. Читателю, который не знаком с началами логики предикатов, мы советуем пропустить приведенный ниже набросок доказательства. [16]
Дав простое доказательство упомянутой выше теоремы Эрмита, он предложил способ приведения определенных тройничных форм, отличный от способа Гаусса [ II, 18 ], рассмотрел решение других вопросов, связанных с определением минимумов квадратичных форм. [17]
Такое простое доказательство справедливо в отсутствие дисперсии, но в действительности результат оказывается совершенно общим. [18]
Это простое доказательство предложено Бихари. [19]
Приведенное выше простое доказательство дано А. [20]
Следующее относительно простое доказательство основано на интуитивной мысли, что переходы стремятся перенести вероятность от состояний, имеющих большую равновесную долю, к состояниям с меньшей равновесной долей. [21]
Это замечательно простое доказательство для теоремы с такими далеко идущими следствиями. [22]
Образование биений. [23] |
Рассмотрим простое доказательство наличия боковых колебаний, которое будет полезно в дальнейшем при изучении приемников. Попробуем сложить все три составные части модулированных колебаний: несущее колебание и боковые. Сложим сяа-чала боковые колебания. При сложении двух незатухающих колебаний, частоты которых не равны, образуются так называемые биения, играющие в радиотехнике важную роль. Биения предстаз-ляют собой колебания с периодически меняющейся амплитудой, несколько напоминающие модулированные колебания. [24]
Рассмотрим простое доказательство наличия боковых колебаний, которое будет полезно в дальнейшем. Попробуем сложить все три колебания: несущее и два боковых. Сложим сначала боковые колебания. При сложении двух незатухающих колебаний, частоты которых не равны, образуются биения, играющие в радиотехнике важную роль. [25]
Мы опускаем простое доказательство. Легко произвести не-маиипулируемый выбор иа отрезке [ a / v а / 2 1 - 1 слабых победителей по Коидорсе. Это - ( коалиционно) иема-нипулируемое правило голосования, что легко проверить непосредственно или вывести из леммы 10.4, поскольку а 2 -строгий победитель по Кондорсе при ( л 1) агентах и профиле из SP ( A), причем агент ( л 1) имеет пик а. [26]
Мы оставляем простое доказательство этого утверждения читателям. [27]
Можно построить достаточно простое доказательство ( здесь оно не приводится) того, что для любой квадратичной целевой функции и системы линейных ограничений метод обеспечивает сходимость за конечное число итераций. Для этого алгоритм должен быть несколько изменен, так чтобы он включал меры против зацикливания, упоминавшиеся применительно к симплексному методу в разд. Однако до сих пор не утверждалось, что настоящий алгоритм всегда приводит к получению оптимального окончательного решения. Этот вопрос рассматривается ниже. [28]
Можно дать следующее простое доказательство, не зависящее от однородности перемешивания, в котором используются соображения симметрии. Поскольку в обеих чашках имеется одинаковое количество жидкости, то количество молока, добавленного в кофе, должно быть равно количеству кофе, добавленного в чашку с молоком. [29]
Еще одно крайне простое доказательство таково: общая сумма расходов нашего торговца составляет 7 916 долларов, а его полный доход равен 8 1018 долларам, что и составляет 2 доллара прибыли. [30]