Китайская теорема об остатках
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
условие расположения двух прямых, плоскостей или прямой и плоскости, при котором указанные геометрические объекты составляют прямой угол (символ ⊥)
Перпендикулярные плоскости
Признак перпендикулярности двух плоскостей
Теорема 1
Если прямая...
плоскости перпендикулярна другой плоскости, то эти плоскости перпендикулярны друг другу....
Так как прямая $AB$ перпендикулярна плоскости $\beta $, то она перпендикулярна и прямой $AC$....
она перпендикулярна и этим плоскостям....
, по теореме 1, плоскости $\beta $ и $\gamma $ перпендикулярны.
В статье рассматривается задачи о построении прямой, перпендикулярной данной прямой, и о построении прямой, перпендикулярной данной плоскости, как правило, сводятся к построению высоты некоторого треугольника. Эта задача в общем случае является задачей метрического характера.
Перпендикулярность прямых
Рассмотрим две произвольные пересекающиеся прямые....
Тогда
Определение 1
Пересекающиеся прямые будем называть перпендикулярными, если хотя бы один...
Основная теорема перпендикулярных прямых
Введем следующую теорему:
Теорема 1
Две прямые, являющиеся...
перпендикулярными для третьей будут непересекающимися....
Тогда, так как прямые $(NM)$ и $(XY)$ перпендикулярны к прямой $(PZ)$ и, следовательно, углы между ними
Дорисовав к чертежу проекции стрелки, мы увидим инволютивное преобразование. Геометрические чертежи превращаются в диаграммы инволюций и их композиций. Это упрощает понимание и работу с известными теоремами, а при обобщении на многомерные пространства легко связывает геометрию сфер с проективным пространством и неевклидовыми геометриями. Если к теореме Паппа применить геометрию перпендикулярного и вместо слова инцидентность использовать слово перпендикулярность, мы получим истинные и содержательные геометрические утверждения.
для любого набора попарно простых чисел m1, m2, ... , mn найдется целое число x, дающее заданные остатки a1, a2, ... , an при делении на m1, m2, ... , mn, т. е. при каждом k x ≡ ak (mod mk)
прямая эллиптического пространства, отстоящая от данной прямой на постоянном расстоянии
аксиальный вектор