مثال ۴.۱: اثبات جابهجایی ضرب مختلط (Commutativity of Complex Multiplication)
ضرب اعداد مختلط خاصیت جابهجایی دارد (یعنی )؛ این نتیجه مستقیماً از خواص جابهجایی جمع و ضرب در دستگاه اعداد حقیقی ناشی میشود.
۱. تصویر کلان و استراتژی اثبات
اعداد مختلط به عنوان زوجهای مرتبی از اعداد حقیقی ساخته شدهاند. بنابراین برای اثبات هر خاصیت جبری در ، یک استراتژی استاندارد وجود دارد:
- نمایش اعداد مختلط به شکل صریح مولفههای حقیقی: و .
- بسط عبارت طبق تعریف جمع و ضرب مختلط.
- استفاده از خواص بنیادین اعداد حقیقی (جابهجایی و توزیعپذیری در ).
- بازسازی مجدد عبارت به شکل ضرب در جهت معکوس.
۲. صورت دقیق ریاضی و اثبات آکسلر
برای نشان دادن اینکه برای هر برقرار است، فرض کنید:
که در آن .
آنگاه طبق تعریف ضرب اعداد مختلط داریم:
از آنجا که در اعداد حقیقی عملهای جمع و ضرب دارای خاصیت جابهجایی هستند، میدانیم:
و همچنین:
در نتیجه بخشهای حقیقی با هم و بخشهای موهومی با هم برابرند، پس:
۳. تمرین تکمیلی: اثبات جابهجایی جمع مختلط (تمرین ۱ بخش ۱.۱)
فرض کنید و دو عدد مختلط دلخواه باشند ().
طبق تعریف ۱.۱:
به دلیل خاصیت جابهجایی جمع در اعداد حقیقی ( و ):
با اعمال مجدد تعریف جمع اعداد مختلط:
۴. نکته آموزشی و اهمیت متدلوژیک
این اثبات نمونهای درخشان از تقلیل یک مفهوم نو به مفاهیم اثباتشده قبلی است. ما نیازی به اختراع منطق جدید نداریم؛ استحکام ساختار جبری از پایههای استوار دستگاه اعداد حقیقی وام گرفته میشود.
۵. ارتباطات و پیوندهای اتمیک
- تعریف عمل ضرب: تعریف ۱.۱: اعداد مختلط C
- فهرست کامل ویژگیها: ویژگیهای ۳.۱: ویژگیهای حساب مختلط
- کاربرد در تفریق و تقسیم: تعریف ۵.۱: تفریق و تقسیم در اعداد مختلط