0.999...: الفرق بين النسختين

[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
لا ملخص تعديل
ط تدقيق إملائي
سطر 3:
في [[رياضيات|الرياضيات]]، [[التكرار العشري]] '''...0.999''' (يكتب في بعض الأحيان مع عدد أكثر أو أقل من التسعات قبل القطع النهائي، أو '''0.<span style="text-decoration: overline;">9</span>'''، أو '''(9).0'''، أو {{nowrap|<math alt="0.9 with dot over the 9" style="position:relative;top:-.3em">\scriptstyle\mathbf{0}.\mathbf{\dot{9}}</math>}}) هو [[عدد حقيقي]] يساوي [[1 (عدد)|رقم واحد]]. وبعبارة أخرى، فإن رموز "...0.999" و "1" يمثلان نفس العدد. وقد وضِعت البراهين على هذه المساواة مع درجات متفاوتة من الصرامة الرياضية، مع مراعاة تقريب الأرقام الحقيقية، والافتراضات الاساسية، السياق التاريخي، والجمهور المستهدف.
 
ماعدا الصفر، فإن كل الأعداد المُنتهية عشرياً لديها توأم مساواي لها متمثل بالعدد المتكرر عشريا من التسعات (على سبيل المثال، 8.32 و ...8.31999). المساواة بين ...0.999 و 1 يرتبط إرتباطاً وثيقا بغياب [[موحل في الصغر|العدد الموحل في الصغر]] في نظام العدد الحقيقي. مع وجود أنظمة عددية اخرى مثل [[عدد حقيقي فائق|الأعداد الحقيقية الفائقة]] تشابه نظام العدد الحقيقة في عدم احتوائها على العدد الموحل في الصغر. في مثل هذه الانطة العددية (والتي تمثل معظك انظمة [[التحليل الرياضي]]) فان العدد ...0.999 يُعبر عنه على انه مساوي ل1، ولكن في الانظمة العددية الاخرى، رمز "...0.999" يأخذ تعريفاً آخر حيث الرقم ذو العدد الغير متناهي من التسعات يخفق في الوصول الىإلى العدد 1 بفارق العدد الموحل بالصغر.
 
تم قبول المساواة بين ...0.999 = 1 من قبل الرياضيين وأصبح جزءاً من التعليم الرياضي العام. لكن على الرغم من ذلك، تجد بعض الطلاب لاستغراب المساواة أو رفضها، وعادة ما تكون هناك صعوبة في إقناعهم بصحة هذه المساواة لذا فهي موضوع العديد من الدراسات في تعليم الرياضيات.
سطر 21:
 
==== التلاعب بالارقام ====
عندما يتم ضرب عدد عشري بنسبة 10، فان الأرقام لاتتغير وإنما يتحرك كل رقم مرتبة واحدة إلى اليسار. وبالتالي 10 × ...0.999 يساوي ...9.999، والذي هو أكبر ب 9 مرات من العدد الأصلي. يتم إستعمالاستعمال ماتقدم في المثال التالي:
 
:<math>
سطر 47:
:<math>b_0 . b_1 b_2 b_3 b_4 \ldots = b_0 + b_1\left({\tfrac{1}{10}}\right) + b_2\left({\tfrac{1}{10}}\right)^2 + b_3\left({\tfrac{1}{10}}\right)^3 + b_4\left({\tfrac{1}{10}}\right)^4 + \cdots .</math>
بالنسبة ...0.999 فانه يمكن إستعمالاستعمال نظرية [[متسلسلة متقاربة|المتسلسلة المتقاربة]] الخاصة بـ[[السلسلة الهندسية]]:<ref>Rudin p. 61, Theorem 3.26; J. Stewart p. 706</ref>
 
إذا كان <math>1 > |r|</math>
سطر 56:
 
ظهر هذا الإثبات على يد [[ليونهارت أويلر]] عام 1970م ي كتابه [[عناصر من الجبر]].<ref>Euler p. 170</ref>
[[ملف:Base4 333.svg|تصغير|خط الأعداد لكسور الرقم 4 (.3, .33, .333, ...) تتقارب الىإلى الواحد]]
 
[[المتتالية]] (x2, x1, x0, ...) لها [[نهاية متتالية]] x إذا كانت المساقة |x-xn| تصغر كلما زاد n، لذا فان ...0.999=1 يمكن ان تفسر نفسها وتثبت كالتي:<ref>The limit follows, for example, from Rudin p. 57, Theorem 3.20e. For a more direct approach, see also Finney, Weir, Giordano (2001) ''Thomas' Calculus: Early Transcendentals'' 10ed, Addison-Wesley, New York. Section 8.1, example 2(a), example 6(b).</ref>
:<math>0.999\ldots = \lim_{n\to\infty}0.\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k} = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n} = 1.\,</math>
 
الخطوة الأخيرة الـ{{frac|1|10<sup>''n''</sup>}} الىإلى n عندما تقترب n من ال ∞ تعتمد على إحتمالية ارخميدس للارقام الحقيقية. الطرق المعتمدة على المتتالية إستطردت في شرح المسالة فمثلاً جاء في كتاب "The University Arithmetic" التالي: "+999. المستمر الىإلى المالانهاية =1 لان كل إالحاق للرقم 9 يجعل القيمة أقرب الىإلى 1". اما كتاب "Arithmetic for Schools" الصادر عام 1895 يقول: "عندما يؤخذ عدد كبير من التسعات؛ فان الفرق بين ال 1 و ...999. يصبح قليلاً بشكل لايصدق".<ref>Davies p. 175; Smith and Harrington p. 115</ref>.
 
=== فترات متداخلة وأقل الحدود العليا ===
[[ملف:999 Intervals C.svg|تصغير|فترات متداخلة:1 = ...1.000 = ...0.222]]
إذا كان الرقم الحقيقي x يقع في الفترة المغلقة [0, 10] (يعني ان الرقم يساوي او اكثرأكثر من 0 وأقل او يساوي 10)، فلو أردنا تقسيم هذه الفترة الىإلى عشرة فترات تتقاطع فقط في نهايتها فان هذه الفترات العشرة ستكون [0, 1]، [1, 2]، [2, 3] حتى نصل للفترة [9, 10]. الرقم x يجب ان ينتمي لأحد هذه الفترات بالضرورة، فلو إفترضنا انه ينتمي للفترة [2, 3]، هنا لنأخذ الرقم 2 ونقسمه الىإلى عشر فترات هي [2, 2.1]، [2.1, 2.2]، ....، [2.9, 3]. بالإستمرار بهذه العملية سنحصل على عدد لامتناهي من المتتاليات للفترات المتداخلة، تُوصف من قبل عدد لامتناهي من الارقام b3، b2، b1، b0، ... لتكتب مثل:
:<math>x = b_0.b_1b_2b_3 \dots.</math>
بهذه الطريقة فان تعريف 1=..0.999 و 1=1.000 يعكسان على التوالي حقيقة ان 1 يقع في كلا الفترتين [0, 1] و [1, 2]، لذا فان للمرء ان يختار اي من هذين القترتين لإيجاد ارقامها. للتأكد بان هذا الترميز لا يفشل علامة التساوي "="، فإننا نحتاج لطريقة لإعادة بناء رقم مميز وحقيقي لكل رقم عشري. يمكن تحقيق ذلك باستعمال [[نهاية (رياضيات)|الحدود]] "limits".<ref>Beals p. 22; I. Stewart p. 34</ref>
سطر 78:
تعمل المناهج على تعريف الأعداد الحقيقية باعتبارها مبنية على [[الأعداد الكسرية]]. [[الأعداد الطبيعية]] (0، 1، 2، ...) تبدأ من 0 وتسمر للاعلى بحيث يكون لكل عدد رقم سابق "successor". الآن يمكنا ان نوسع الأعداد الطبيعية لجعلها تشمل أقرانها من الأرقام السالبة وبذلك نحصل على [[الأعداد الصحيحة]]. ولنقوم بتوسيع أكبر بحيث تشمل الأرقام الكسرية. أعداد النظام هذه مرتبطة ببعضها بالعمليات الحسابية [[الضرب]]، [[القسمة]]، [[الجمع]]، [[الطرح]]. إذن فان هذه الاعداد تتضمن ترتيب ونظام بحيث يمكن مقارنة رقم بآخر ونجد بانه أقل او أكثر او مساوي له.
 
الخطوة الكبيرة من الكسرية الىإلى الحقيقية، وهناك على الأقل طريقتان شهيرتان لتحقيق هذه الخطوة. تلكا الطريقاتان هما [[حد ديديكايند]] و[[متتالية كوشي]] المنشورتان عام 1872. إثباتات 1=...0.999 التي تستعمل هذه الطرق غير موجودة في التحليل الحقيقي لكن بعض الكتاب وصفوا التعبير عن الفكرة بإستخدام "طرق الإنشاء" بانها اكثرأكثر مناسبة منطقياً وان نتائج الإثباتات من خلالها تكون "مستقلة بذاتها" بشكل أكبر.<ref>The historical synthesis is claimed by Griffiths and Hilton (p.xiv) in 1970 and again by Pugh (p. 10) in 2001; both actually prefer Dedekind cuts to axioms. For the use of cuts in textbooks, see Pugh p. 17 or Rudin p. 17. For viewpoints on logic, Pugh p. 10, Rudin p.ix, or Munkres p. 30</ref>
 
=== حد ديديكايند ===
سطر 114:
* في نظام [[الرقم المضروب]] "factorial number system" فإن: 1 = ...1.000 = ...0.1234.
 
== إستحالةاستحالة وجود تمثيل وحيد للعدد ==
كل تلك الأنظمة العددية المذكورة أعلاه لها أكثر من تمثيل لبعض الأعداد الحقيقية ويُعزا ذلك للأختلاف الأساسي بين الأعداد الحقيقية كمجموعة مرتبة وكمجموعة مكونة من سلاسل لاحصر لها من الأرقام.