اثبات مستقیم: اثباتی که از فرض به نتیجه به‌صورت مستقیم می‌رسد.

اثبات مستقیم: مسیری بی‌واسطه از فرض تا نتیجه

۱. تعریف و ساختار اصلی اثبات مستقیم

در ریاضیات، وقتی می‌خواهیم درستی یک گزاره شرطی به فرم «اگر P آنگاه Q» را نشان دهیم، اثبات مستقیم¹ ساده‌ترین راه است. در این روش، فرض می‌کنیم P درست است و سپس با یک زنجیره منطقی از استدلال‌های ریاضی (بدون استفاده از روش‌های غیرمستقیم مانند برهان خلف) به درستی Q می‌رسیم.

ویژگی کلیدی اثبات مستقیم، شفافیت و گام‌به‌گام بودن آن است؛ هر مرحله مستقیماً از مرحله قبل و با استفاده از تعریف‌ها، قضایا یا اصول موضوعه نتیجه می‌شود. در دبیرستان، بیشتر اثبات‌هایی که در جبر و نظریه اعداد می‌بینید از این نوع هستند.

فرم کلی یک اثبات مستقیم به صورت زیر نمایش داده می‌شود:

که در آن هر پیکان نشان‌دهنده یک استنتاج منطقی معتبر است.

۲. اثبات مستقیم در اعداد زوج و فرد

یکی از رایج‌ترین کاربردهای اثبات مستقیم در دبیرستان، اثبات ویژگی‌های اعداد زوج و فرد است. ابتدا تعریف‌ها را مرور می‌کنیم:

• عدد زوج²: عددی که بر 2 بخش‌پذیر باشد. یعنی به شکل $2k$ که k یک عدد صحیح است.
• عدد فرد³: عددی که بر 2 بخش‌پذیر نباشد. یعنی به شکل $2k+1$ که k عدد صحیح است.

گزاره: اگر n یک عدد فرد باشد، آنگاه n^2 نیز فرد است.

اثبات مستقیم گام‌به‌گام:

1. فرض می‌کنیم $n$ فرد است. پس بر اساس تعریف، عدد صحیح kای وجود دارد به طوری که $n = 2k + 1$.
2. حال n^2 را محاسبه می‌کنیم: $n^2 = (2k+1)^2$.
3. از اتحاد مربع دوجمله‌ای استفاده می‌کنیم: $(2k+1)^2 = 4k^2 + 4k + 1$.
4. عامل مشترک 4k را از دو جمله اول می‌گیریم: $4k^2+4k+1 = 4k(k+1) + 1$.
5. عبارت $4k(k+1)$ بر 2 بخش‌پذیر است (چون ضریب 4 دارد). پس می‌توان نوشت $4k(k+1) = 2 \times [2k(k+1)]$. بنابراین کل عبارت به شکل $2m+1$ است که در آن $m = 2k(k+1)$ یک عدد صحیح است.
6. از آنجا که $n^2 = 2m+1$، طبق تعریف، n^2 عددی فرد است. اثبات کامل شد.

۳. اثبات مستقیم در مورد جمع اعداد زوج

یک گزاره دیگر که با اثبات مستقیم به سادگی قابل اثبات است:

گزاره: جمع هر دو عدد زوج، عددی زوج است.

اثبات مستقیم:

• فرض کنید a و b دو عدد زوج باشند.
• پس اعداد صحیح k و l وجود دارند به طوری که $a = 2k$ و $b = 2l$.
• جمع آنها را می‌نویسیم: $a + b = 2k + 2l = 2(k + l)$.
• از آنجا که k+l یک عدد صحیح است، عبارت $2(k+l)$ مضربی از 2 بوده و بنابراین زوج است.
• نتیجه: جمع هر دو عدد زوج، زوج است.

این اثبات بسیار کوتاه و شفاف نشان می‌دهد که چگونه ساختار مستقیم، نیازی به فرض خلاف یا روش‌های پیچیده ندارد.

۴. کاربرد عملی: اثبات در نامساوی‌ها

اثبات مستقیم فقط به اعداد صحیح محدود نمی‌شود. در نامساوی‌ها نیز کاربرد گسترده دارد. به مثال زیر توجه کنید:

گزاره: اگر x و y دو عدد حقیقی مثبت باشند، آنگاه $x + y \ge 2\sqrt{xy}$ (نامساوی بین میانگین حسابی و هندسی⁴ برای دو عدد).

اثبات مستقیم (از فرض به نتیجه):

• از آنجا که $(\sqrt{x} - \sqrt{y})^2 \ge 0$ (مربع هر عدد حقیقی نامنفی است)، با بسط آن داریم: $x - 2\sqrt{xy} + y \ge 0$.
• با انتقال جمله $- 2\sqrt{xy}$ به سمت راست نامساوی: $x + y \ge 2\sqrt{xy}$.
• به نتیجه مطلوب رسیدیم. همان‌طور که می‌بینید، کل اثبات فقط با شروع از یک گزاره همواره درست ($(\sqrt{x} - \sqrt{y})^2 \ge 0$) و انجام عملیات جبری مجاز به دست آمد.

۵. چالش‌های مفهومی در اثبات مستقیم

۶. جمع‌بندی

پاورقی

¹ اثبات مستقیم (Direct Proof): روشی برای اثبات درستی یک گزاره به صورت $P \Rightarrow Q$ که در آن فرض P گرفته شده و با استفاده از قواعد منطقی و تعاریف، نتیجه Q استنتاج می‌شود.

² عدد زوج (Even Number): عدد صحیحی که بر 2 بخش‌پذیر باشد و به فرم $2k$ (با $k \in \mathbb{Z}$) نمایش داده شود.

³ عدد فرد (Odd Number): عدد صحیحی که بر 2 بخش‌پذیر نباشد و به فرم $2k+1$ (با $k \in \mathbb{Z}$) نمایش داده شود.

⁴ نامساوی میانگین حسابی و هندسی (AM-GM Inequality): برای اعداد نامنفی، میانگین حسابی همیشه بزرگتر یا مساوی میانگین هندسی است. برای دو عدد $x, y \ge 0$ داریم $\frac{x+y}{2} \ge \sqrt{xy}$ که معادل $x+y \ge 2\sqrt{xy}$ است.