تعتبر مبرهنة السقف من المبرهنات التوجيهية الأساسية لتحديد اتجاه فصل التقاطع بين مستويين يحتويان على مستقيمين متوازيين.
نص المبرهنة: إذا كان $(D_1)$ و $(D_2)$ مستقيمين متوازيين تماماً، وكان $(D_1)$ محتوى في المستوي $(P_1)$، و $(D_2)$ محتوى في المستوي $(P_2)$، وكان المستويان $(P_1)$ و $(P_2)$ متقاطعين في مستقيم $(D)$، فإن:
النقطة $S$ تنتمي إلى المستوي $(SAB)$ وتنتمي أيضاً إلى المستوي $(SCD)$.
$S$ هي نقطة مشتركة أولى، إذن الفاصل المشترك يشمل $S$ حتماً.
2. رصد المستقيمات المتوازية
بما أن القاعدة $ABCD$ متوازي أضلاع، فإن الضلعين المتقابلين متوازيان: $(AB) \parallel (CD)$.
من خواص متوازي الأضلاع.
3. مطابقة شروط مبرهنة السقف
* المستقيم $(AB)$ محتوى في المستوي $(SAB)$ * المستقيم $(CD)$ محتوى في المستوي $(SCD)$ * المستقيمان متوازيان: $(AB) \parallel (CD)$.
الشروط الثلاثة لمبرهنة السقف محققة كلياً.
4. تحديد النتيجة والاتجاه
مستقيم التقاط المشترك $(D)$ هو المستقيم المار بالنقطة $S$ والذي يوازي كلاً من المستقيمين $(AB)$ و $(CD)$.
تطبيق مباشر لمبرهنة السقف.
قاعدة الصيانة المعرفية:
عند غياب النقطة المشتركة الثانية بين مستويين متقاطعين، تكون مبرهنة السقف هي الوسيلة الوحيدة لتحديد اتجاه مستقيم التقاط (توجيهه) انطلاقاً من النقطة المشتركة الأولى الوحيدة المعلومة.