Cтраница 1
Детальное доказательство этих предложений предоставляем читателю. [1]
Детальное доказательство этого утверждения довольно утомительно, и, по-видимому, здесь нельзя избежать проверки всех возможных случаев. [2]
Детальное доказательство приведено в цитируемой работе Биркланда. [3]
Детальное доказательство методом последовательного применения алгоритма деления приводится в разд. [4]
Детальное доказательство теоремы 28.1.5 почти полностью аналогично доказательству предыдущей теоремы, и мы его не будем приводить. [5]
Провести детальное доказательство теоремы 3.1, схематически очерченное в тексте. [6]
Провести детальное доказательство теоремы 3.2, схематически очерченное в тексте. [7]
Проведение детального доказательства мы предоставляем читателю. [8]
Для более детального доказательства того, что определяемая при резании растянутых резин характеристика отражает влияние молекулярной ориентации на сопротивление резанию в такой же степени, как и на прочность при растяжении при неизменной структуре материала, были проведены опыты при низкой температуре. Определялась прочность при растяжении резин из НК в хрупком состоянии при нескольких деформациях е и сопротивление резанию таких же образцов в тех же условиях. Оказалось, что сопротивление резанию стрз и прочность при растяжении 0Р, отличаясь по абсолютной величине, изменяются симбатно с изменением предварительного растяжения и укладываются на общую кривую, что свидетельствует об аналогии в характере разрушения при резании и хрупком разрыве. [9]
Не приводя детального доказательства этих утверждений, отметим, что для ковариантного поля второго ранга уравнения, соответствующие (12.49) ( являющиеся отправным пунктом для предыдущего дифференцирования), по форме аналогичны, но включают дополнительный множитель вида дх / д & ( ср. [10]
Мы предоставляем читателю провести детальное доказательство. [11]
Мы сформулируем результат без детального доказательства, поскольку оно уже содержится в предыдущем изложении. [12]
В пятом параграфе мы приводим детальное доказательство устранимости сечения в интуиционистской простой теории типов с правилом объемности ( экстенсиональности), заданной в форме исчисления секвенций. Наше доказательство, хотя и не элементарно, основано на интуиционистской теории видов и, в частности, не использует закона исключенного третьего. Описывается конкретная модель простой теории типов в форме некоторой алгебры с пополнением, такая, что из истинности секвенции в этой модели следует ее выводимость без сечений. [13]
В настоящем разделе мы без детального доказательства приведем основные формулы, которые могут быть использованы при расчете коэффициентов поглощения в непрерывном спектре. [14]
Чтобы выяснить смысл постоянного коэффициента в соотношении (1.4), необходимо провести более детальное доказательство. [15]