In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.
معرّف البحث : 2510.11559العنوان : غاوس والأعداد p-adicالمؤلف : F. Lemmermeyerالتصنيف : math.NT (نظرية الأعداد)، math.HO (التاريخ والنظرة العامة)تاريخ النشر : 13 أكتوبر 2025رابط البحث : https://arxiv.org/abs/2510.11559 في دفاتره، سجّل غاوس حسابات متنوعة تتعلق بـ "التطابقات اللانهائية". هذه التطابقات اللانهائية هي أعداد p-adic؛ يحسب غاوس الجذر التربيعي للعدد 5 في الأعداد الصحيحة 11-adic من أجل إيجاد تقريب 11-adic لمجموع غاوس التربيعي، ويحسب جذراً تربيعياً غير تافه للعدد 1 في الأعداد الصحيحة 10-adic، ويحسب اللوغاريتمات 10-adic للأعداد الطبيعية الصغيرة.
يُنسب مفهوم الأعداد p-adic عادةً إلى Hensel، الذي أدخل هذه النظرية في عام 1899. طوّر Hasse لاحقاً الأعداد p-adic ليصبحوا أداة لا غنى عنها في نظرية الأعداد الجبرية من خلال اكتشاف المبدأ المحلي-العام. ومع ذلك، يكشف هذا البحث عن حقيقة تاريخية مهمة:
العمل الرائد لغاوس : سجّل غاوس في دفاتره بتاريخ يوليو 1800 حسابات متعلقة بـ "التطابقات اللانهائية"، وهذه في الواقع أعداد p-adic!الأهمية الزمنية : هذا يسبق الإدخال الرسمي لـ Hensel بحوالي 100 سنة، مما يدل على تفوق البصيرة الرياضية لغاوسالقيمة البحثية : إعادة النظر في التاريخ الرياضي واكتشاف المساهمات المهمة التي تم تجاهلهاتحليل الدفاتر الأصلية لغاوس للكشف عن الأصل الحقيقي لمفهوم الأعداد p-adic فك تشفير حسابات غاوس للـ "التطابقات اللانهائية" بموجب 241 وموجب 11 وموجب 10 إظهار أن غاوس كان قد أتقن العمليات الحسابية الأساسية للأعداد p-adic الاكتشاف التاريخي : إثبات أن غاوس استخدم مفهوم الأعداد p-adic في عام 1800، قبل Hensel بـ 99 سنةالتحليل التقني : تحليل مفصل لثلاث فئات من حسابات p-adic لغاوس:
جذور p-adic للمتعددات الحدية التقريب p-adic لمجاميع غاوس التربيعية الجذور التربيعية واللوغاريتمات في الأعداد 10-adic إعادة بناء الطريقة : إعادة تفسير طرق حساب غاوس باستخدام نظرية p-adic الحديثةالتحقق الحسابي : استخدام الأدوات الحسابية الحديثة للتحقق من صحة حسابات غاوسالمهمة الأساسية لهذا البحث هي فك تشفير والتحقق من ثلاث فئات من حسابات الأعداد p-adic في دفاتر غاوس:
حل المتعددة الحدية f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 f(x) = x^5 - 20x^4 - 86x^3 - 98x^2 + 80x + 3 f ( x ) = x 5 − 20 x 4 − 86 x 3 − 98 x 2 + 80 x + 3 في الأعداد 241-adic حساب التوسع 5 \sqrt{5} 5 في الأعداد 11-adic حساب الجذر التربيعي غير التافه للعدد 1 واللوغاريتمات الطبيعية في الأعداد 10-adic استخدم غاوس طريقة مشابهة لما يُعرف الآن باسم "Hensel's Lemma":
البحث أولاً عن جذر المتعددة الحدية بموجب p ثم رفعها تدريجياً إلى جذر بموجب p n p^n p n بالنسبة للجذر x 1 ≡ 2 ( m o d 241 ) x_1 \equiv 2 \pmod{241} x 1 ≡ 2 ( mod 241 ) ، حسب غاوس:
x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 241 2 + ⋯ x_1 = 2 + 191 \cdot 241 + 160 \cdot 241^2 + \cdots x 1 = 2 + 191 ⋅ 241 + 160 ⋅ 24 1 2 + ⋯ حسب غاوس التوسع 5 \sqrt{5} 5 في الأعداد 11-adic:
5 = 4 + 4 ⋅ 11 + 10 ⋅ 11 2 + 4 ⋅ 11 3 + 0 ⋅ 11 4 + 9 ⋅ 11 5 + ⋯ \sqrt{5} = 4 + 4 \cdot 11 + 10 \cdot 11^2 + 4 \cdot 11^3 + 0 \cdot 11^4 + 9 \cdot 11^5 + \cdots 5 = 4 + 4 ⋅ 11 + 10 ⋅ 1 1 2 + 4 ⋅ 1 1 3 + 0 ⋅ 1 1 4 + 9 ⋅ 1 1 5 + ⋯
استراتيجية الحساب :
إيجاد حل 5 n 2 ≡ 1 ( m o d 11 ) 5n^2 \equiv 1 \pmod{11} 5 n 2 ≡ 1 ( mod 11 ) وهو n = 3 n = 3 n = 3 استخدام التوسع الثنائي: 1 + x = 1 + 1 2 x − 1 8 x 2 + ⋯ \sqrt{1+x} = 1 + \frac{1}{2}x - \frac{1}{8}x^2 + \cdots 1 + x = 1 + 2 1 x − 8 1 x 2 + ⋯ تعيين x = 4 ⋅ 11 x = 4 \cdot 11 x = 4 ⋅ 11 وحساب 1 + 4 ⋅ 11 \sqrt{1 + 4 \cdot 11} 1 + 4 ⋅ 11 أخيراً، القسمة على n = 3 n = 3 n = 3 للحصول على النتيجة حسب غاوس الجذر التربيعي غير التافه للعدد 1 في الأعداد 10-adic:
ε = ⋯ 2001114846846461792218008213239954784512519836425781249 \varepsilon = \cdots 2001114846846461792218008213239954784512519836425781249 ε = ⋯ 2001114846846461792218008213239954784512519836425781249
باستخدام العلاقة التكرارية: إذا كان 1 − a 2 ≡ 10 n r ( m o d 10 n + 2 ) 1 - a^2 \equiv 10^n r \pmod{10^{n+2}} 1 − a 2 ≡ 1 0 n r ( mod 1 0 n + 2 ) ، فإن:
b ≡ − r 2 ( m o d 10 ) b \equiv -\frac{r}{2} \pmod{10} b ≡ − 2 r ( mod 10 )
الطرق الحسابية : طوّر غاوس العمليات الحسابية الأساسية للأعداد p-adicتوسعات المتسلسلات : استخدام متسلسلات ثنائية ولوغاريتمية لحسابات p-adicتقنيات الرفع : إتقان طريقة رفع الجذور من موجب p إلى موجب p n p^n p n استخدام التماثلات : الاستخدام الضمني لبنية Z 10 ≅ Z 2 ⊕ Z 5 \mathbb{Z}_{10} \cong \mathbb{Z}_2 \oplus \mathbb{Z}_5 Z 10 ≅ Z 2 ⊕ Z 5 استخدم المؤلف أداة الحساب الحديثة PARI/GP للتحقق من حسابات غاوس:
sqrt(5 + O(11^8)) = 4 + 4·11 + 10·11^2 + 4·11^3 + 9·11^5 + 5·11^6 + 8·11^7 + O(11^8)
الحسابات اليدوية لغاوس مقابل التحقق الحاسوبي الحديث الطرق التاريخية مقابل طرق نظرية p-adic الحديثة القياسية حساب غاوس: 5 = 9.0.4.10.4.4 \sqrt{5} = 9.0.4.10.4.4 5 = 9.0.4.10.4.4 (قراءة من اليمين إلى اليسار)
التحقق الحديث: صحيح تماماً، بدقة تصل إلى 11 6 11^6 1 1 6
عند حساب غاوس للدورات التربيعية a = − 1 + 5 2 a = \frac{-1+\sqrt{5}}{2} a = 2 − 1 + 5 و b = − 1 − 5 2 b = \frac{-1-\sqrt{5}}{2} b = 2 − 1 − 5 ظهر خطأ:
القيمة الصحيحة: a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 a = 6.7.9.9.8.7 قيمة غاوس: a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 a = 10.0.2.5.2.7 (خطأ في الاستعارة أثناء القسمة) تطابقت قيم اللوغاريتم المحسوبة من قبل غاوس بشكل أساسي مع الحسابات الحديثة:
log ( 31 ) = 80666080 \log(31) = 80666080 log ( 31 ) = 80666080 (غاوس)تحقق الحساب الحديث من خاصية اللوغاريتم log ( a b ) = log ( a ) + log ( b ) \log(ab) = \log(a) + \log(b) log ( ab ) = log ( a ) + log ( b ) معظم الحسابات دقيقة إلى p 6 p^6 p 6 أو أعلى توجد أخطاء حسابية في بعض الحسابات، لكن الطريقة صحيحة تعكس القدرة الحسابية الاستثنائية لغاوس Hensel (1899) : الإدخال الرسمي لنظرية الأعداد p-adicHasse : تطوير المبدأ المحلي-العامأبحاث Frei : الإشارة إلى أن غاوس كان يعرف "Hensel's Lemma"اكتشافات هذا البحث : غاوس أتقن فعلاً الحسابات p-adic الكاملةالموقع الأساسي للأعداد p-adic في نظرية الأعداد الجبرية التطبيقات في التشفير ونظرية الأعداد الحسابية الارتباط بنظرية الحقول المحلية إعادة التموضع التاريخي : غاوس هو الرائد الحقيقي لمفهوم الأعداد p-adic، قبل Hensel بـ 99 سنةالإنجازات التقنية : أتقن غاوس العمليات الحسابية الأساسية للأعداد p-adic والجذور التربيعية واللوغاريتمات وعمليات متقدمة أخرىالقيمة المنهجية : تتطابق طرق حساب غاوس بدرجة عالية مع النظرية الحديثةقيود المراجع : يعتمد فقط على دفاتر غاوس الموجودة، قد تكون هناك مواد لم يتم اكتشافهاصعوبات التفسير : لا تزال بعض جوانب الحسابات والنوايا والطرق تحتاج إلى مزيد من البحثالأنظمة الرمزية : معاني الرموز التي استخدمها غاوس مثل Λ \Lambda Λ لا تزال غير واضحةالتنقيب الأعمق : مواصلة دراسة دفاتر غاوس الأخرى والمواد غير المنشورةإعادة بناء الطريقة : إعادة بناء كاملة لنظرية p-adic لغاوس باستخدام اللغة الحديثةالتطبيقات التعليمية : استخدام طرق غاوس البديهية في تدريس الأعداد p-adicالقيمة التاريخية : اكتشاف تاريخي رياضي مهم، يعيد كتابة أصول الأعداد p-adicالعمق التقني : تحليل حسابي مفصل والتحقق الحديثالأساس الأدبي : بحث متين يعتمد على المراجع الأصليةالحوار عبر العصور : دمج مثالي للطرق الكلاسيكية مع النظرية الحديثةاكتمال التفسير : لا تزال أغراض وطرق بعض الحسابات غير واضحة بشكل كافٍالعمق النظري : التحليل يركز بشكل أساسي على المستوى الحسابي، والنقاش على المستوى النظري نسبي محدودتحليل التأثير : نقص في تحليل سبب عدم نشر ونشر هذه الأعمال من قبل غاوسالتأثير الأكاديمي : سيغيّر السرد في كتب التاريخ الرياضي حول أصول الأعداد p-adicالقيمة التعليمية : يوفر منظور تاريخي وبديهي لتدريس الأعداد p-adicالإلهام البحثي : يحفز إعادة النظر في الأصول التاريخية للمفاهيم الرياضية الأخرىأبحاث التاريخ الرياضي تدريس نظرية الأعداد p-adic دراسة طرق نظرية الأعداد الحسابية دراسة الفكر الرياضي لغاوس تتضمن المراجع الرئيسية:
دفاتر غاوس الأصلية (Cod. Ms. Gauß Schedae 5) الأعمال الرائدة لـ Hensel حول الأعداد p-adic (1899) أبحاث Frei حول الأعمال غير المنشورة في الفصل الثامن لغاوس الأدبيات المبكرة من القرن التاسع عشر حول مشكلة "الأعداد ذاتية التكرار" التقييم العام : هذا بحث مهم في التاريخ الرياضي، يكشف من خلال التحليل العميق لدفاتر غاوس الأصلية عن الأصل الحقيقي لمفهوم الأعداد p-adic. لا يتمتع البحث بقيمة تاريخية مهمة فحسب، بل يعكس أيضاً البصيرة الرياضية المتفوقة لغاوس التي تتجاوز عصره. على الرغم من أن هناك حاجة إلى مزيد من البحث في تفسير بعض التفاصيل التقنية، فإن هذا الاكتشاف سيغيّر بلا شك فهمنا لتاريخ الأعداد p-adic.