صورت دقیق مسئله (کتاب آکسلر)

نشان دهید که برای هر $\alpha, \beta \in \mathbb{C}$ داریم:

$$\alpha + \beta = \beta + \alpha$$

حل دقیق و بدون پرش محاسباتی

گام اول (نمایش بر اساس مؤلفه‌های حقیقی): فرض می‌کنیم $\alpha$ و $\beta$ دو عدد مختلط دلخواه باشند. طبق تعریف عدد مختلط، اعداد حقیقی منحصر‌به‌فرد $a, b, c, d \in \mathbb{R}$ وجود دارند به‌طوری‌که:

$$\alpha = a + bi$$

$$\beta = c + di$$

گام دوم (نوشتن سمت چپ تساوی و اعمال تعریف جمع مختلط): سمت چپ تساوی را می‌نویسیم:

$$\alpha + \beta = (a + bi) + (c + di)$$

طبق تعریف جمع در اعداد مختلط، بخش‌های حقیقی با هم و بخش‌های موهومی با هم جمع می‌شوند:

$$\alpha + \beta = (a + c) + (b + d)i$$

گام سوم (ارجاع به جابه‌جایی در اعداد حقیقی): چون $a, b, c, d$ همگی اعداد حقیقی هستند ($a, b, c, d \in \mathbb{R}$)، و جمع در اعداد حقیقی خاصیت جابه‌جایی دارد ($a + c = c + a$ و $b + d = d + b$)، می‌توانیم ترتیب جملات را درون پرانتزها عوض کنیم:

$$(a + c) + (b + d)i = (c + a) + (d + b)i$$

گام چهارم (بازسازی سمت راست تساوی): طبق تعریف جمع اعداد مختلط، عبارت حاصل را می‌توان به صورت جمع دو عدد مختلط $c + di$ و $a + bi$ بازنویسی کرد:

$$(c + a) + (d + b)i = (c + di) + (a + bi)$$

با جایگذاری $\beta = c + di$ و $\alpha = a + bi$ داریم:

$$(c + di) + (a + bi) = \beta + \alpha$$

نتیجه نهایی: بنابراین نشان دادیم:

$$\alpha + \beta = \beta + \alpha$$

و حکم مسئله به طور کامل اثبات شد $\blacksquare$

نکات باریک‌تر از مو

• دام استدلال دوری (Begging the Question): گفتن جمله‌ای مثل «چون جمع همیشه جابه‌جایی است، پس $\alpha+\beta=\beta+\alpha$» یک خطای جدی منطقی است. جمع در اعداد مختلط یک عمل جدید است که به تازگی تعریف شده و باید جابه‌جایی آن را به کمک جابه‌جایی در اعداد حقیقی اثبات کرد.
• عدم تفکیک بخش حقیقی و موهومی: برخی دانشجویان $i$ را یک متغیر مجهول فرض می‌کنند بدون اینکه به ساختار $a+bi$ و شرایط $a,b \in \mathbb{R}$ استناد کنند.