يتحدد تعامد مستويين في الفضاء بالاعتماد على تعامد مستقيم من أحدهما مع المستوي الآخر كشرط كافٍ وقاطع.
نص المبرهنة: يتعامد مستويان إذا وفقط إذا كان أحدهما يشمل مستقيماً عمودياً على المستوي الآخر.
$$(D) \subset (P_2) \quad \text{و} \quad (D) \perp (P_1) \implies (P_2) \perp (P_1)$$
المسقط العمودي لنقطة معلومة على مستقيم أو مستوٍ هو أداة هندسية لحساب المسافات والأبعاد الأقصر في الفضاء الإقليدي:
ليكن $ABCDEFGH$ مكعباً. أثبت أن المستويين $(AEF)$ و $(ABC)$ متعامدان، ثم حدد المسقط العمودي للنقطة $E$ على المستوي $(ABC)$.
إذا كان مستويان متعامدين، فإن كل مستقيم محتوى في أحدهما وعمودي على فصلهما المشترك يكون عمودياً على المستوي الآخر حتماً.