مبرهنة السقف وتوازي المستويات
1. مبرهنة السقف (The Roof Theorem)
تعتبر مبرهنة السقف من المبرهنات التوجيهية الأساسية لتحديد اتجاه فصل التقاطع بين مستويين يحتويان على مستقيمين متوازيين.
نص المبرهنة: إذا كان $(D_1)$ و $(D_2)$ مستقيمين متوازيين تماماً، وكان $(D_1)$ محتوى في المستوي $(P_1)$، و $(D_2)$ محتوى في المستوي $(P_2)$، وكان المستويان $(P_1)$ و $(P_2)$ متقاطعين في مستقيم $(D)$، فإن:
$$(D) \parallel (D_1) \quad \text{و} \quad (D) \parallel (D_2)$$
2. مبرهنات توازي المستويات
ينظم توازي المستويات في الفضاء بناءً على الشروط الخطية للمستقيمات المحتواة داخلها وفق المبرهنتين التاليتين:
المبرهنة 1 (شرط توازي مستويين): يتوازى مستويان إذا وفقط إذا كان أحدهما محتوياً على مستقيمين متقاطعين ويوازيان المستوي الآخر.
المبرهنة 2: إذا كان مستويان متوازيين، فإن كل مستوٍ يقطع أحدهما يقطع الآخر حتماً، ويكون مستقيما التقاطع (الفصلان المشتركان) متوازيين تماماً.
$$(P_1) \parallel (P_2) \quad \text{و} \quad (Q) \cap (P_1) = (D_1) \quad \text{و} \quad (Q) \cap (P_2) = (D_2) \implies (D_1) \parallel (D_2)$$
3. مثال تطبيقي (تطبيق مبرهنة السقف في هرم)
ليكن $SABCD$ هرماً قاعدته $ABCD$ متوازي أضلاع. نعتبر المستوي $(P_1)$ المشكل بالنقط $(SAB)$ والمستوي $(P_2)$ المشكل بالنقط $(SCD)$. عيّن مستقيم تقاطعهما $(D)$.
| المرحلة الاستدلالية | خطوات البرهان وتطبيق المبرهنة | التعليل الهندسي |
|---|---|---|
| 1. البحث عن نقطة مشتركة | النقطة $S$ تنتمي إلى المستوي $(SAB)$ وتنتمي أيضاً إلى المستوي $(SCD)$. | $S$ هي نقطة مشتركة أولى، إذن الفاصل المشترك يشمل $S$ حتماً. |
| 2. رصد المستقيمات المتوازية | بما أن القاعدة $ABCD$ متوازي أضلاع، فإن الضلعين المتقابلين متوازيان: $(AB) \parallel (CD)$. | من خواص متوازي الأضلاع. |
| 3. مطابقة شروط مبرهنة السقف | * المستقيم $(AB)$ محتوى في المستوي $(SAB)$ * المستقيم $(CD)$ محتوى في المستوي $(SCD)$ * المستقيمان متوازيان: $(AB) \parallel (CD)$. | الشروط الثلاثة لمبرهنة السقف محققة كلياً. |
| 4. تحديد النتيجة والاتجاه | مستقيم التقاط المشترك $(D)$ هو المستقيم المار بالنقطة $S$ والذي يوازي كلاً من المستقيمين $(AB)$ و $(CD)$. | تطبيق مباشر لمبرهنة السقف. |
عند غياب النقطة المشتركة الثانية بين مستويين متقاطعين، تكون مبرهنة السقف هي الوسيلة الوحيدة لتحديد اتجاه مستقيم التقاط (توجيهه) انطلاقاً من النقطة المشتركة الأولى الوحيدة المعلومة.