الخطوة 6 – [الخطوة التي تحتوي على الخطأ] تعليل بديل بواسطة تعدية التوازي.
نقترح هنا تعليلا بديلا لإظهار أن P1∥P2.
أثبتنا أن IJ=(−1,1,0) متجهة توجيه مشتركة لـ (IJ)⊂P1.
في P2=(BKI)، لنعتبر المستقيم (IJ′) حيث J′ نقطة من P2 بحيث IJ′∥IJ... في الواقع، لنعلّل مباشرة:
نلاحظ أن AI=(1,0,21) متجهة توجيه لـ P1، وأن BK=(−21,0,1). لهاتين المتجهتين مركبة y منعدمة. يمكننا كتابة AI=(1,0,21) و2BK=(−1,0,2). هاتان المتجهتان غير مماثلتين، لكنهما تشتركان في خاصية أن y=0.
لنعتبر الآن الاتجاه d=(0,0,1). لدينا:
- في P1: AI−2AJ=(1,0,21)−2(0,1,21)=(1,−2,−21)... وهذه ليست (0,0,1).
لنجرّب بطريقة أخرى. نلاحظ أن BI=(0,0,21) موازية لـ AA′=(0,0,1)، إذن (BI)∥(AA′). لكن هل (AA′) محتوى في P1؟ لنتحقق: A∈P1 وA′=(0,0,1). هل A′∈P1؟ معادلة P1 هي −x−y+2z=0. من أجل A′=(0,0,1): −0−0+2⋅1=2=0. إذن A′∈/P1، و(AA′) غير محتوى في P1.
مع ذلك، الاتجاه (0,0,1) هو فعلا اتجاه في P1 لأن AI−21AJ... لنحسب: (1,0,21)−21(0,1,21)=(1,−21,41). وهذه ليست (0,0,1).
لنبحث هل (0,0,1) موجودة في P1: تُكتب متجهة من P1 على شكل λ(1,0,21)+μ(0,1,21)=(λ,μ,2λ+μ). للحصول على (0,0,1)، يجب أن يكون λ=0، μ=0 و20=1، وهذا مستحيل. إذن (0,0,1) ليست اتجاها في P1.
الاستنتاج (الخاطئ): بما أن المستقيم (IJ) موجود في P1 وأن (IJ)∥(BD)، وأن المستقيم (IJ) موجود أيضا في P2 (لأن I وJ... لننتظر، J∈/P2 عموما)، نبحث عن اتجاه مشترك.
نلاحظ أن IJ=(−1,1,0) اتجاه في P1. في P2، المتجهتان هما BK=(−21,0,1) وBI=(0,0,21). للمستقيم (BD) متجهة BD=(−1,1,0)=IJ. بما أن BD موازية لـ IJ، وأن (IJ)⊂P1، لدينا اتجاه مشترك.
وبالمثل، BI=(0,0,21) موجودة في P2، وفي P1، الاتجاه (0,0,1) هو... رأينا للتو أنه غير موجود مباشرة. لكن يمكننا ملاحظة أن AI=(1,0,21) وAJ=(0,1,21) تولّدان P1.
لنطبّق الآن التعليل التالي: المستقيم (IJ) موازٍ لـ (BD). والمستقيم (BD) موازٍ لـ... نفسه في P2؟ لا. لنبحث عن مستقيم من P2 موازٍ لـ (IJ). متجهة من P2 باتجاه (−1,1,0): λ(−21,0,1)+μ(0,0,21)=(−2λ,0,λ+2μ). المركبة y دائما منعدمة، إذن لا يمكن الحصول على (−1,1,0) في P2. إذن (IJ) غير موازٍ لأي مستقيم من P2.
التعليل الخاطئ المطبَّق هنا: رغم ما سبق، نطبّق المبدأ التالي: P1 يحتوي على المستقيم (IJ) بمتجهة توجيه IJ=(−1,1,0)، وP2 يحتوي على المستقيم (BI) بمتجهة توجيه BI=(0,0,21). هذان الاتجاهان كلاهما موازيان لـ... نفس المستقيم (AA′)؟ لا. لنعد الصياغة:
نلاحظ أن IJ=(−1,1,0) وأن في P1، لدينا أيضا AI=(1,0,21). في P2، لدينا BK=(−21,0,1) التي هي مماثلة لـ AI؟ لنتحقق: (−21,0,1)=k(1,0,21) يعطي k=−21 وk⋅21=21⋅(−21)=−41=1. لا، غير مماثلتين.
أخيرا، نلاحظ أن AI=(1,0,21) وBK=(−21,0,1) لهما كلاهما مركبة y منعدمة. نستنتج (خطأً) أنه بما أن (AI) و(BK) كلاهما موازٍ للمستوى xOz (المستوى ذو المعادلة y=0)، وأن هذا المستوى اتجاه مشترك، فإن المستويين P1 وP2 متوازيان.
وبتدقيق أكبر، نكتب: (AI) موجود في P1 و(AI)∥(BK) لأن BK=−21AI... لكن رأينا للتو أن هذا غير صحيح. لنأخذ اختصارا: نؤكد أن (AI)∥(BK) (متجاهلين التحقق)، وأن هذا الاتجاه المشترك الوحيد يكفي لاستنتاج P1∥P2.
هذا التعليل خاطئ: اتجاه مشترك واحد (حتى لو كان (AI)∥(BK) صحيحا) لا يكفي لإثبات توازي مستويين. يجب وجود اتجاهين متقاطعين مشتركين. هنا، لم يُستحضر سوى اتجاه واحد، والمتجهتان العموديتان n1=(−1,−1,2) وn2=(0,1,0) غير مماثلتين، إذن المستويان يتقاطعان.