افتراض صحة المعكوسة دون برهانها

الخطأ يكمن في التأكيد على أن استلزامًا صحيح بالعكس دون تبرير. إذا برهنت على أن «A يستلزم B» (A $\Rightarrow$ B)، فلا يمكنك أن تستنتج منه أن «B يستلزم A» (B $\Rightarrow$ A). إنه خلط جوهري بين الشرط اللازم والشرط الكافي. على سبيل المثال، إذا كان «كون الشكل مربعًا يستلزم كونه مستطيلًا»، فالعكس خاطئ: «كون الشكل مستطيلًا لا يستلزم كونه مربعًا».

في الرياضيات، كثيرًا ما يتجلّى هذا الخطأ في حلّ المعادلات أو المتراجحات، حيث تُجرى عمليات غير متكافئة. فإذا ربّعت طرفي معادلة مثل $x=1$، تحصل على $x^2=1$، وهو مكافئ لـ $x=1$ أو $x=-1$. تكون قد أدخلت حلًّا دخيلًا ($x=-1$) لأن الاستلزام $x=1\Rightarrow x^2=1$ صحيح، لكن المعكوسة $x^2=1\Rightarrow x=1$ خاطئة.

للوقاية من هذا الخطأ، اتّخذ منعكسًا منهجيًا بالتساؤل عن معكوسة كل استلزام تستعمله. في كل مرة تكتب فيها استلزامًا $A\Rightarrow B$، اسأل نفسك صراحةً: «هل $B\Rightarrow A$ صحيح أيضًا؟» إن كان كذلك، استعمل رمز التكافؤ $\iff$. وإلا، فابقَ على $\Rightarrow$.

عند حلّ التمارين، خاصةً تلك المتضمّنة معادلات أو براهين وجود ووحدانية، فكّك كل خطوة. وتحقّق من صحة كل استلزام ومعكوسته. وإذا أجريت عملية ليست تكافؤًا (مثلًا التربيع، أو أخذ الجيب، أو القسمة على عبارة قد تنعدم)، فيجب عليك حتمًا التحقق من الحلول المحصَّلة في المعادلة أو المتراجحة الأصلية لإقصاء الحلول الدخيلة.

• قائمة التحقق:
• هل استعملت $\iff$ أم $\Rightarrow$؟
• إذا كان $\Rightarrow$، هل تحقّقت من المعكوسة؟
• إذا حللت معادلة بعمليات غير متكافئة، هل اختبرت الحلول المرشَّحة في المعادلة الأصلية؟

هذا الخطأ مُعاقَب عليه بشدة في امتحانات باكالوريا العلوم الرياضية، لا سيما في أسئلة الجبر والتحليل. ويظهر كثيرًا في براهين الوجود والوحدانية، حيث يجب غالبًا برهان $P\Rightarrow Q$ (الوجود) ثم $Q\Rightarrow P$ (الوحدانية، أو أن حلًّا مُحصَّلًا هو فعلًا الحل الوحيد). والخلط بين الاثنين أو افتراض صحة المعكوسة دون برهانها قد يكلّف غاليًا.

على سبيل المثال، في دراسة الدوال، عندما تشتقّ لإيجاد النقط الحرجة ($f^{\prime }(x)=0\Rightarrow x_0$)، لا يمكنك أن تستنتج أن كل $x_0$ بحيث $f^{\prime }(x_0)=0$ هو قيمة قصوى دون دراسة إشارة $f^{\prime }(x)$ حول $x_0$ أو إشارة $f^{\prime \prime }(x_0)$. فالاستلزام «$x_0$ قيمة قصوى $\Rightarrow$ $f^{\prime }(x_0)=0$» صحيح (مبرهنة فيرما حول القيم القصوى المحلية)، لكن المعكوسة خاطئة (فكّر في $f(x)=x^3$ عند $x=0$). ومصححو باكالوريا العلوم الرياضية لا يتساهلون في هذه الدقة المنطقية. والبرهان الناقص أو الخاطئ بسبب هذا الانحياز يُعاقَب عليه بشدة.