معادله منحنی بیضوی (Elliptic Curve Equation)، در ریاضیات (Mathematics)
انواع معادلات (Equation) را در آموزش زیر شرح دادیم :
معادله منحنی بیضوی (Elliptic Curve Equation) :
🔍 تعریف: منحنی بیضوی یک منحنی جبری هموار از درجه ۳ است که به شکل
\[ y^2 = x^3 + ax + b \](با شرط
\[ 4a^3 + 27b^2 \neq 0 \]برای هموار بودن) نوشته می شود. این منحنی ها در نظریه اعداد، رمزنگاری، و قضیه آخر فرما نقش اساسی دارند.
\[ y^2 = x^3 + ax + b \quad , \quad \Delta = 4a^3 + 27b^2 \neq 0 \]📌 ویژگی های اصلی:
گروه: نقاط روی منحنی بیضوی (به همراه یک نقطه در بینهایت) یک گروه آبلی تشکیل می دهند (قانون جمع).
قضیه مودولاریتی: هر منحنی بیضوی روی اعداد گویا با یک فرم مودولار مرتبط است (نقش کلیدی در اثبات آخرین قضیه فرما).
کاربرد در رمزنگاری: رمزنگاری منحنی بیضوی (ECC) از سختی مسئله لگاریتم گسسته روی منحنی های بیضوی استفاده می کند.
نقاط گویا: یافتن نقاط گویا روی منحنی های بیضوی یک زمینه تحقیقاتی فعال است (قضیه موردل).
💡 مثال های متنوع:
🔹 مثال ۱:
\[ y^2 = x^3 - x \]— نقاط گویا: (0,0), (1,0), (-1,0) و ...
🔹 مثال ۲:
\[ y^2 = x^3 + 1 \]— نقاط: (0,±1), (2,±3), ...
🔹 مثال ۳:
\[ y^2 = x^3 - 2 \]— نقاط: (3,±5).
🔹 مثال ۴ (منحنی بله-رما):
\[ y^2 = x^3 - 432x + 8208 \]— مربوط به اعداد ۱۷۲۹.
🌍 کاربردها: رمزنگاری (ECC، تبادل کلید، امضای دیجیتال)، نظریه اعداد (اثبات آخرین قضیه فرما، حل معادلات سیاله)، فاکتورگیری اعداد بزرگ (الگوریتم لنسترا).
📝 نکته جالب: اثبات آخرین قضیه فرما توسط اندرو وایلز در سال ۱۹۹۴ بر روی منحنی های بیضوی و قضیه مودولاریتی متکی بود. او نشان داد که یک منحنی بیضوی خاص (که اگر قضیه فرما نقض می شد وجود داشت) نمی تواند وجود داشته باشد.
🧮 قانون جمع: برای جمع دو نقطه P و Q روی منحنی، ابتدا خط گذرنده از آنها را رسم می کنیم. این خط منحنی را در نقطه سوم R قطع می کند. سپس
\[ P + Q \]برابر قرینه R نسبت به محور x است. این عملیات یک ساختار گروهی ایجاد می کند.
⚠️ نکته: شرط
\[ 4a^3 + 27b^2 \neq 0 \]تضمین می کند که منحنی هموار است (بدون نقطه تکین).
📈 قضیه موردل: گروه نقاط گویا روی یک منحنی بیضوی، یک گروه آبلی با تولید متناهی است. یعنی تعداد متناهی مولد وجود دارد که بقیه نقاط با جمع و تفریق آنها به دست می آیند.
🔬 مثال عددی: روی منحنی
\[ y^2 = x^3 - 2x \]، نقاط (0,0) و (-1,1) و (2,2) و ... نقاط گویا هستند. جمع این نقاط را می توان با قانون جمع محاسبه کرد.
