Let $n \in \mathbb{Z}_{\geq 2}$. We study the generalized Fermat equation \[x^{13}+y^{13}=z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z)=1.\] Using a combination of techniques, including the modular method, classical descent, unit sieves, and Chabauty and Mordell--Weil sieve methods over number fields, we show that for $n=5$ all its solutions $(a,b,c)$ are trivial, i.e. satisfy $abc=0$. Under the assumption of GRH, we also show that for $n=7$ there are only trivial solutions. Furthermore, we provide partial results towards solving the equation for general $n \in \mathbb{Z}_{\geq 2}$, in particular that any solution $(a,b,c)$ with $13\mid c$ is trivial.
معرّف البحث : 2510.12092العنوان : حول معادلة فيرما المعممة x 13 + y 13 = z n x^{13} + y^{13} = z^n x 13 + y 13 = z n المؤلفون : Alex J. Best, Sander R. Dahmen, Nuno Freitasالتصنيف : math.NT (نظرية الأعداد)تاريخ النشر : 15 أكتوبر 2025رابط البحث : https://arxiv.org/abs/2510.12092 يدرس هذا البحث معادلة فيرما المعممة x 13 + y 13 = z n x^{13}+y^{13}=z^n x 13 + y 13 = z n ، حيث x , y , z ∈ Z x,y,z \in \mathbb{Z} x , y , z ∈ Z ، gcd ( x , y , z ) = 1 \gcd(x,y,z)=1 g cd( x , y , z ) = 1 ، و n ∈ Z ≥ 2 n \in \mathbb{Z}_{\geq 2} n ∈ Z ≥ 2 . من خلال دمج عدة تقنيات متقدمة، بما في ذلك طرق الأشكال النمطية، والنزول الكلاسيكي، وغربلة الوحدات، وطرق تشابوتي وموردل-ويل على حقول الأعداد، يثبت المؤلفون أن جميع حلول المعادلة عندما n = 5 n=5 n = 5 هي حلول تافهة فقط (أي تحقق a b c = 0 abc=0 ab c = 0 ). تحت فرضية ريمان المعممة (GRH)، يثبتون أيضاً أنه عندما n = 7 n=7 n = 7 توجد فقط حلول تافهة. بالإضافة إلى ذلك، يقدم البحث نتائج جزئية للحالة العامة، وخاصة يثبتون أن أي حل يحقق 13 ∣ c 13\mid c 13 ∣ c يجب أن يكون تافهاً.
معادلة فيرما المعممة هي تعميم للمعادلة الكلاسيكية لفيرما، بالصيغة:
x p + y q = z r , x , y , z ∈ Z , gcd ( x , y , z ) = 1 x^p + y^q = z^r, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1 x p + y q = z r , x , y , z ∈ Z , g cd( x , y , z ) = 1
يركز هذا البحث على الحالة حيث الثلاثية الأسية هي ( 13 , 13 , n ) (13,13,n) ( 13 , 13 , n ) ، أي:
x 13 + y 13 = z n , x , y , z ∈ Z , gcd ( x , y , z ) = 1 x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1 x 13 + y 13 = z n , x , y , z ∈ Z , g cd( x , y , z ) = 1
الأهمية النظرية : معادلة فيرما المعممة تمثل مشكلة أساسية في نظرية الأعداد، وتربط بين نظرية الأعداد الجبرية والهندسة الحسابية ونظرية الأشكال النمطيةالسياق التاريخي : تم حل هذه المعادلة بالفعل للحالات n = 2 n=2 n = 2 (Bennett-Skinner) و n = 3 n=3 n = 3 (Bennett-Vatsal-Yazdani)التحديات التقنية : مع زيادة الأسس، تواجه الطرق التقليدية صعوبات حسابية ونظرية متزايدةالطرق التقنية الفردية محدودة الفعالية عند التعامل مع أسس أكبر التعقيد الحسابي يزداد بشكل حاد مع نمو الأسس هناك حاجة إلى طرق غربلة أكثر دقة وأدوات نظرية أشكال نمطية أقوى الحل الكامل لحالات محددة : تحديد كامل لحلول المعادلة عندما n = 5 n=5 n = 5 ، وحل الحالة n = 7 n=7 n = 7 تحت فرضية ريمان المعممةنتائج عامة : إثبات أنه لجميع n ≥ 2 n \geq 2 n ≥ 2 ، أي حل يحقق 13 ∣ c 13\mid c 13 ∣ c يجب أن يكون تافهاًالابتكار المنهجي : عرض كيفية دمج عدة تقنيات حديثة بفعالية للتغلب على حدود الطرق التقليديةالتقنيات الحسابية : تطوير طرق غربلة وحدات معززة تقلل بشكل كبير من عدد منحنيات فوق إهليلجية يجب دراستهاالبحث عن جميع الحلول الأساسية (primitive solutions) لمعادلة فيرما المعممة x 13 + y 13 = z n x^{13} + y^{13} = z^n x 13 + y 13 = z n ، أي الحلول الصحيحة ( x , y , z ) (x,y,z) ( x , y , z ) التي تحقق gcd ( x , y , z ) = 1 \gcd(x,y,z) = 1 g cd( x , y , z ) = 1 .
يستخدم المؤلفون استراتيجية تقسيم الحالات:
الحالة الأولى : 13 ∣ c 13 \mid c 13 ∣ c (مكافئة لـ 13 ∣ a + b 13 \mid a+b 13 ∣ a + b )الحالة الثانية : 13 ∤ c 13 \nmid c 13 ∤ c بالنسبة للحالة الأولى، يستخدم المؤلفون منحنيين فراي:
E a , b E_{a,b} E a , b : معرّف على Q ( 13 ) \mathbb{Q}(\sqrt{13}) Q ( 13 ) F a , b F_{a,b} F a , b : معرّف على الحقل الجزئي الحقيقي الكامل من الدرجة الثالثة K K K النتائج الرئيسية :
القضية 2.1 : تمثيل ρ E , p \rho_{E,p} ρ E , p غير قابل للاختزالالقضية 2.2 : بالنسبة لـ p ≥ 5 p \geq 5 p ≥ 5 و p ≠ 13 p \neq 13 p = 13 ، لدينا ρ E , p ≅ ρ Z , p \rho_{E,p} \cong \rho_{Z,p} ρ E , p ≅ ρ Z , p ، حيث Z Z Z هو أحد E 1 , − 1 E_{1,-1} E 1 , − 1 أو E 1 , 0 E_{1,0} E 1 , 0 أو E 1 , 1 E_{1,1} E 1 , 1 باستخدام تحليل كثيرة الحدود x 13 + y 13 x^{13} + y^{13} x 13 + y 13 على الحقل K K K :
x 13 + y 13 = F ⋅ σ ( F ) ⋅ σ 2 ( F ) ⋅ ( x + y ) x^{13} + y^{13} = F \cdot \sigma(F) \cdot \sigma^2(F) \cdot (x+y) x 13 + y 13 = F ⋅ σ ( F ) ⋅ σ 2 ( F ) ⋅ ( x + y )
حيث F F F هي كثيرة حدود متجانسة من الدرجة الرابعة. من خلال طريقة النزول الكلاسيكية، يتم اختزال المشكلة إلى تحديد النقاط النسبية على منحنيات فوق إهليلجية:
C p , e : Y 2 = e X p + 4 p − 1 ( ρ 2 − ρ + 1 ) p ρ − 2 C_{p,e}: Y^2 = eX^p + 4^{p-1}(\rho^2-\rho+1)^p\rho^{-2} C p , e : Y 2 = e X p + 4 p − 1 ( ρ 2 − ρ + 1 ) p ρ − 2
الطبقة الأولى من الغربلة (بدون استخدام معلومات الأشكال النمطية):
بالنسبة لكل عدد أولي p p p (حيث 5 ≤ p ≤ 47 5 \leq p \leq 47 5 ≤ p ≤ 47 ، p ≠ 13 p \neq 13 p = 13 )، يتم تقليل الوحدات الممكنة e e e إلى اثنتين تشمل e = 1 e=1 e = 1 (من الحلول التافهة) ووحدة "زائدة" واحدة الطبقة الثانية من الغربلة (مع دمج معلومات الأشكال النمطية):
استخدام معلومات العدد الأولي المساعد q = 19 q=19 q = 19 دمج خصائص منحنى فراي E a , b / Q ( 13 ) E_{a,b}/\mathbb{Q}(\sqrt{13}) E a , b / Q ( 13 ) القضاء الناجح على الوحدات الزائدة، خاصة بالنسبة لـ p = 5 , 7 p=5,7 p = 5 , 7 بالنسبة لـ p = 5 , 7 p=5,7 p = 5 , 7 ، يتم استخدام طريقة تشابوتي على حقول الأعداد لتحديد النقاط النسبية على منحنيات فوق إهليلجية C p C_p C p :
حالة p = 5 p=5 p = 5 :
رتبة جاكوبيان J 5 J_5 J 5 تساوي 2 تطبيق طريقة تشابوتي على حقول الأعداد من سيكسك دمج غربلة موردل-ويل لتحديد جميع النقاط النسبية حالة p = 7 p=7 p = 7 (تحت فرضية ريمان المعممة):
رتبة جاكوبيان J 7 J_7 J 7 تساوي 1 تطبيق طريقة تشابوتي القياسية توسيع طريقة منحنيات فراي المتعددة : تعميم النتائج من المرجع 6 إلى حالة d = 1 d=1 d = 1 غربلة وحدات معززة : من خلال العمل محلياً عند العدد الأولي p p p واستخدام معلومات m o d p 2 \bmod p^2 mod p 2 ، تحقيق غربلة فعالةدمج الطرق : دمج ذكي لمزايا طرق الأشكال النمطية والنزول والغربلة وطريقة تشابوتيليكن p ∈ { 5 , 7 } p \in \{5,7\} p ∈ { 5 , 7 } ، وعندما p = 7 p=7 p = 7 نفترض فرضية ريمان المعممة. إذن معادلة فيرما المعممة
x 13 + y 13 = z p , x , y , z ∈ Z , gcd ( x , y , z ) = 1 x^{13} + y^{13} = z^p, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1 x 13 + y 13 = z p , x , y , z ∈ Z , g cd( x , y , z ) = 1
الحلول الوحيدة هي الحلول التافهة: ( ± 1 , ∓ 1 , 0 ) (\pm 1, \mp 1, 0) ( ± 1 , ∓ 1 , 0 ) ، ( ± 1 , 0 , ± 1 ) (\pm 1, 0, \pm 1) ( ± 1 , 0 , ± 1 ) و ( 0 , ± 1 , ± 1 ) (0, \pm 1, \pm 1) ( 0 , ± 1 , ± 1 ) .
بالنسبة لجميع الأعداد الصحيحة n ≥ 2 n \geq 2 n ≥ 2 ، المعادلة
x 13 + y 13 = z n , x , y , z ∈ Z , gcd ( x , y , z ) = 1 x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1 x 13 + y 13 = z n , x , y , z ∈ Z , g cd( x , y , z ) = 1
لا تملك حلولاً غير تافهة تحقق 13 ∣ c 13 \mid c 13 ∣ c (مكافئة لـ 13 ∣ a + b 13 \mid a+b 13 ∣ a + b ).
استخدام نظام Magma الحسابي لإجراء جميع الحسابات العددية بالنسبة لـ p = 5 p=5 p = 5 : تحديد C 5 ( K ) = { ( X 0 , ± Y 0 ) , ( X 1 , ± Y 1 ) , ∞ } C_5(K) = \{(X_0,\pm Y_0), (X_1,\pm Y_1), \infty\} C 5 ( K ) = {( X 0 , ± Y 0 ) , ( X 1 , ± Y 1 ) , ∞ } بالنسبة لـ p = 7 p=7 p = 7 : تحت فرضية ريمان المعممة، تحديد C 7 ( K ) = { ( X 0 , ± Y 0 ) , ∞ } C_7(K) = \{(X_0,\pm Y_0), \infty\} C 7 ( K ) = {( X 0 , ± Y 0 ) , ∞ } التحقق من أن النقاط الإضافية لا تقابل حلولاً للمعادلة الأصلية أظهرت غربلة الوحدات أداءً ممتازاً في الممارسة:
الطبقة الأولى من الغربلة تقلل الوحدات المرشحة من O ( p 12 ) O(p^{12}) O ( p 12 ) إلى اثنتين الطبقة الثانية من الغربلة تقضي على الوحدات الزائدة بالنسبة لـ p = 5 , 7 p=5,7 p = 5 , 7 وكذلك 11 ≤ p ≤ 37 11 \leq p \leq 37 11 ≤ p ≤ 37 (حيث p ≠ 13 p \neq 13 p = 13 )، القضاء الناجح على جميع الوحدات الزائدة يبني هذا البحث على الأعمال المهمة التالية:
Bennett-Skinner (2004): حل حالة p = 2 p=2 p = 2 Bennett-Vatsal-Yazdani (2004): حل حالة p = 3 p=3 p = 3 Billerey وآخرون (2019,2023): تطوير طريقة منحنيات فراي المتعددة ونظرية منحنيات فراي ذات الصلةSiksek (2013): طريقة تشابوتي على حقول الأعدادالحل الكامل لمعادلة فيرما المعممة مع الثلاثية الأسية ( 13 , 13 , 5 ) (13,13,5) ( 13 , 13 , 5 ) و ( 13 , 13 , 7 ) (13,13,7) ( 13 , 13 , 7 ) (الأخيرة تحتاج إلى فرضية ريمان المعممة) توفير نتائج جزئية مهمة للأسس العامة (حالة 13 ∣ c 13 \mid c 13 ∣ c ) عرض فعالية استخدام عدة تقنيات حديثة مدمجة معاً نتائج n = 7 n=7 n = 7 تعتمد على فرضية ريمان المعممة بالنسبة لأسس أولية أكبر، التعقيد الحسابي لا يزال مرتفعاً جداً تطبيق بعض التقنيات (مثل تشابوتي على مجموعات Selmer) يحتاج إلى تطوير إضافي محاولة حل حالة n = 7 n=7 n = 7 بدون شروط التوسع إلى أسس أولية أكبر تطوير متغيرات أقوى من طريقة تشابوتي استكشاف إمكانيات تطبيق متنوعات فراي عالية الأبعاد الابتكار المنهجي : عرض ناجح لدمج عضوي لعدة تقنيات، مما يوفر نموذجاً لحل مشاكل مماثلةالعمق النظري : يتضمن عدة مجالات عميقة: نظرية الأعداد الجبرية والهندسة الحسابية ونظرية الأشكال النمطيةالدقة الحسابية : تصميم وتنفيذ غربلة الوحدات يعكس مهارات حسابية عاليةاكتمال النتائج : إعطاء إجابة كاملة للحالات المدروسةالاعتماد على الفرضيات : نتائج n = 7 n=7 n = 7 تحتاج إلى فرضية ريمان المعممة، مما يحد من عدم الشروطقابلية التوسع : لا تزال قابلية تطبيق الطريقة على أسس أكبر بحاجة إلى التحققالتعقيد التقني : الحاجة إلى دمج عدة نظريات عميقة تزيد من صعوبة التحققالقيمة الأكاديمية : تقدم حدود البحث في معادلات فيرما المعممةالمساهمة المنهجية : توفير مسارات تقنية جديدة للمشاكل ذات الصلةالأهمية الحسابية : عرض الدور المهم للأدوات الحسابية الحديثة في البحث النظريتنطبق هذه الطريقة على:
معادلات فيرما المعممة ذات البنية الخاصة معادلات ديوفانتين التي يمكن بناء منحنيات فراي مناسبة لها الحالات التي يمكن تطبيق غربلة الوحدات بفعالية فيها يستشهد هذا البحث بـ 21 مرجعاً مهماً، يغطي نظرية الأشكال النمطية والهندسة الحسابية ونظرية الأعداد الحسابية وغيرها من المجالات الكلاسيكية والمتقدمة، مما يوفر أساساً نظرياً متيناً للبحث.