| Descartes' theorem does not apply when all four circles are tangent to each other at the same point. | Теорема Декарта неприменима также к случаю, когда все четыре окружности касаются друг друга в одной точке. |
| Besides a change of notation, the proof is very similar to the one for the standard version of Fatou's lemma above, however the monotone convergence theorem for conditional expectations has to be applied. | Помимо изменения обозначений, доказательство очень похоже на доказательство для стандартной версии леммы Фату, описанное выше, однако должна быть применена теорема о монотонной сходимости для условных математических ожиданий. |
| Tunnell's theorem provides an easily testable criterion for determining whether a number is congruent; but his result relies on the Birch and Swinnerton-Dyer conjecture, which is still unproven. | Теорема Туннеля даёт простой критерий проверки для определения, является ли число конгруэнтным, но этот результат основывается на гипотезе Бёрча - Свиннертон-Дайера, которая не доказана. |
| Viviani's theorem, named after Vincenzo Viviani, states that the sum of the distances from any interior point to the sides of an equilateral triangle equals the length of the triangle's altitude. | Теорема Вивиани - утверждение в геометрии треугольника, согласно которому сумма расстояний от произвольной точки внутри равностороннего треугольника до его сторон постоянна и равна высоте треугольника. |
| Ashley Wednesday, star of the blockbuster Cube Theorem franchise, was spotted with pop rapper Conner4Real, leaving the exclusive New York City nightclub... | Эшли Уэнзди, звезду блокбастеров из серии "Кубическая теорема", КУБИЧЕСКАЯ ТЕОРЕМА видели с поп-рэпером РеальнымКоннером, когда они выходили из эксклюзивного клуба в Нью-Йорке... вчера вечером. |
| The Robertson-Seymour theorem is named after mathematicians Neil Robertson and Paul D. Seymour, who proved it in a series of twenty papers spanning over 500 pages from 1983 to 2004. | Теорема Робертсона - Сеймура названа именами математиков Нейла Робертсона и Пола Сеймура, которые доказали её в серии из двадцати статей общим объёмом в 500 страниц, вышедших с 1983 по 2004 годы. |
| Therefore, according to the Robertson-Seymour theorem, they can be characterized by a finite number of forbidden minors. | Таким образом, согласно теореме Робертсона - Сеймура, они могут быть охарактеризованы конечным числом запрещённых миноров. |
| Forbidden minors have also been studied for matroid branchwidth, despite the lack of a full analogue to the Robertson-Seymour theorem in this case. | Запрещённые миноры изучаются также для ширины ветвления матроида, вопреки отсутствия полной аналогии теоремы Робертсона - Сеймура в этом случае. |
| For any fixed constant k, the partial k-trees are closed under the operation of graph minors, and therefore, by the Robertson-Seymour theorem, this family can be characterized in terms of a finite set of forbidden minors. | Для любой фиксированной константы к частичные к деревья замкнуты относительно операции взятия миноров графов, а потому по теореме Робертсона - Сеймура, такое семейство графов может быть описано конечным набором запрещённых миноров. |
| Two nice theorems in this direction are Jaeger's 4-flow theorem (every 4-edge-connected graph has a nowhere-zero 4-flow) and Seymour's 6-flow theorem (every bridgeless graph has a nowhere-zero 6-flow). | Две элегантные теоремы в этом направлении - теорема Джагера о 4-потоке (любой рёберно 4-связный граф имеет нигде не нулевой 4-поток) и теорема Сеймура о 6-потоке (любой граф без мостов имеет нигде не нулевой 6-поток). |
| The De Bruijn-Erdős theorem shows that, for this problem, there exists a finite unit distance graph with the same chromatic number as the whole plane, so if the chromatic number is greater than five then this fact can be proved by a finite calculation. | Теорема де Брёйна - Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями. |
| G is finite (this is the de Bruijn-Erdős theorem of de Bruijn & Erdős 1951). δ(G) >= k - 1, that is, every vertex is adjacent to at least k - 1 others. | G конечен (теорема де Брёйна - Эрдёша). δ(G) >= k - 1, то есть любая вершина смежна по меньшей мере k - 1 другим вершинам. |
| Ramsey's theorem also implies the special case of the Erdős-Hajnal conjecture when H {\displaystyle H} itself is a clique or independent set. | Из теоремы Рамсея также следует специальный случай гипотезы Эрдёша - Хайналя, когда сам граф Н {\displaystyle H} является кликой или независимым множеством. |
| The Erdős-Szekeres theorem on monotone subsequences can be interpreted as an application of Dilworth's theorem to partial orders of order dimension two (Steele 1995). | Теорему Эрдёша - Секереша о монотонных подпоследовательностях можно интерпретировать как приложение теоремы Дилуорса к частичным порядкам размерности два (Steele 1995). |
| For this connection between Rado's lemma and the De Bruijn-Erdős theorem, see e.g. the discussion following Theorem A of Nash-Williams (1967). | Для связи леммы Радо и теоремы де Брёйна - Эрдёша см. обсуждение после теоремы А у Нэша-Вилльямса (Nash-Williams 1967). |
| Hall (2015, Theorem 4.34 and following discussion.) | Hall, 2015, с. Theorem 4.34 и последующее обсуждение. |
| It is a specific instance of the far more general shape discussed in Blaise Pascal's 1639 Hexagrammum Mysticum Theorem. | Уникурсальная гексаграмма является специфичным видом более общей формы, которую обсуждал Блез Паскаль в теореме 1639-го года Hexagrammum Mysticum Theorem. |
| Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. | Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
| This is due to the alternate segment theorem, which states that the angle between the tangent and chord equals the angle in the alternate segment. | Это связано с теоремой об отрезке круга, дополнительном данному (the alternate segment theorem,), в которой говорится, что угол между касательной и хордой равен вписанному в окружность углу, опирающемуся на эту хорду. |
| The tweakable narrow-block encryption (LRW) is an instantiation of the mode of operations introduced by Liskov, Rivest, and Wagner (see Theorem 2). | Настраиваемое узкоблочное шифрование (LRW) представляет собой экземпляр режима операций, введенного Лисковым, Ривестом и Вагнером (see Theorem 2). |
| For comparison, the Riemann-Roch theorem for a curve states that χ(D) = χ(0) + deg(D). | Для сравнения, теорема Римана - Роха для кривой утверждает, что χ (D) = χ (0) + d e g (D) {\displaystyle \chi (D)=\chi (0)+deg(D)}. |
| In mathematics, the Riemann-Roch theorem for surfaces describes the dimension of linear systems on an algebraic surface. | Теорема Римана - Роха для поверхностей описывает размерность линейных систем на алгебраической поверхности. |
| His work reinterprets Riemann-Roch not as a theorem about a variety, but about a morphism between two varieties. | Его работа даёт другое толкование теоремы Римана - Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями. |
| This theorem is proved by using the Nakai criterion and the Riemann-Roch theorem for surfaces. | Эта теорема доказана при помощи критерия Накаи и теоремы Римана - Роха для поверхности. |
| For surfaces, the Hirzebruch-Riemann-Roch theorem is essentially the Riemann-Roch theorem for surfaces combined with the Noether formula. | Для поверхностей Теорема Хирцебруха - Римана - Роха, по существу, является теоремой Римана - Роха для поверхностей, скомбинированной с формулй Нётера. |