عبد العزيز: الرجوع عن تعديل معلق واحد من 196.81.85.42 إلى نسخة 60727564 من Mr.Ibrahembot.

2023-07-14T22:40:16Z

الرجوع عن تعديل معلق واحد من 196.81.85.42 إلى نسخة 60727564 من Mr.Ibrahembot.

صفحة جديدة

{{ضبط عنوان الصفحة}}
[[ملف:999 Perspective.svg|280بك|يسار]]

في [[رياضيات|الرياضيات]]، [[تكرار عشري|التكرار العشري]] '''...0.999''' (يكتب في بعض الأحيان مع عدد أكثر أو أقل من التسعات قبل القطع النهائي، أو '''0.9'''، أو '''(9).0'''، أو {{بدون لف|<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 من قبل الرياضيين وأصبح جزءاً من التعليم الرياضي العام. لكن على الرغم من ذلك، تجد بعض الطلاب لاستغراب المساواة أو رفضها، وعادة ما تكون هناك صعوبة في إقناعهم بصحة هذه المساواة لذا فهي موضوع العديد من الدراسات في تعليم الرياضيات.

== براهين ==
=== برهان جبري ===
==== الكسور والقسمة المطولة ====
أحد أسباب التي تجعل الاعداد العشرية اللانهائية تمثل امتداداً للعدد العشري المحدود هو لتمثيل الكسور. باستخدام القسمة المطولة، تقسيم بسيط من الأعداد الصحيحة مثل 1/9 تكون نتيجته عدد عشري متكرر، وهو...0.111. وبإستعمال ذلك يمكن إثبات التساوي كالتالي:

:<math>
\begin{align}
\frac{1}{9} & = 0.111\dots \\
9 \times \frac{1}{9} & = 9 \times 0.111\dots \\
1 & = 0.999\dots
\end{align}
</math>

==== التلاعب بالارقام ====
عندما يتم ضرب عدد عشري بنسبة 10، فان الأرقام لاتتغير وإنما يتحرك كل رقم مرتبة واحدة إلى اليسار. وبالتالي 10 × ...0.999 يساوي...9.999، والذي هو أكبر ب 9 مرات من العدد الأصلي. يتم استعمال ماتقدم في المثال التالي:

:<math>
\begin{align}
x &= 0.999\ldots \\
10 x &= 9.999\ldots \\
10 x - x &= 9.999\ldots - 0.999\ldots \\
9 x &= 9 \\
x &= 1 \\
0.999\ldots &= 1
\end{align}
</math>

== برهان تحليلي ==
من خواص العدد الحقيقي المكتوب بالصيغة العشرية هي: ان يحوي على إشارة (موجب-سالب)، عدد محدد من الارقام التي تمثل العدد الصحيح، فارزة عشرية، وعدد من الأرقام تمثل تكون الكسر. ولأجل مناقشة...0.999 فاننا سنعرف العدد الصحيح من الرقم ب b0 وبالتالي يمكن تمثيل الرقم:

:<math>b_0.b_1b_2b_3b_4b_5 \dots.</math>

وهنا يجب التنبيه على ان الجزء الكسري من الرقم (مابعد الفارزة) غير «محدد» على عكس الجزء الصحيح من الرقم.

=== السلاسل اللامتناهية والمتواليات ===
{{مفصلة|تمثيل عشري}}
من أشهر الطرق الرياضية لتمثيل الرقم العشري المتوسع هي [[متسلسلة (رياضيات)|السلسلة اللانهائية]] وتكون كالتالي:

:<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>
:<math>ar+ar^2+ar^3+\cdots = \frac{ar}{1-r}</math>

وبما إن...0.999 يمكن تمثليها بالطريقة اعلاه كحاصل جمع مع نسبة مشتركة هي r = {{كسر مائل|1|10}} يكون الإثبات:
:<math>0.999\ldots = 9(\tfrac{1}{10}) + 9({\tfrac{1}{10}})^2 + 9({\tfrac{1}{10}})^3 + \cdots = \frac{9({\tfrac{1}{10}})}{1-{\tfrac{1}{10}}} = 1</math>

ظهر هذا الإثبات على يد [[ليونهارت أويلر]] عام 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>

الخطوة الأخيرة الـ{{كسر مائل|1|10''n''}} إلى 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>

الآن لتكن هناك فترات متقاطعة مغلقة يقل طولها تدريجياً هذه الفترات تحوي على رقم حقيقي واحد في تقاطعن. ولنعرف...b0.b1b2b3 على انه رقم مميز (ليس له مثيل) موجود في كل الفترات [b0, b0 + 1]، و[b0.b1, b0.b1 + 0.1] وهلم جراً. على هذا الاساس فليكن...0.999 هو رقمنا المميز وبالتالي فهو موجود في كل الفترات [0, 1]، [0.9, 1]، [0.99, 1] و [9..0.99, 1] ولكل متتالية محددة من التسعات. وبما ان ال 1 هو الرقم المشترك في كل تلك الفترات وبما إنا جعلنا...0.999 رقمنا المميز المشترك منذ البداية إذن 1=...0.999.<ref>Bartle and Sherbert pp. 60–62; Pedrick p. 29; Sohrab p. 46</ref>

الاستعانة بنظرية الفترات المغلقة وبإستعمال مفهومها المعروف ب[[أصغر الحدود العليا]] أو "suprema" يمكن الوصول لاثبات آخر لمسئلة تساوي ال...0.999، فلو عرفنا العدد...b0.b1b2b3 ليكون أصغر حد على للمجموعة { ...,b0, b0.b1, b0.b1b2}.<ref>Apostol pp. 9, 11–12; Beals p. 22; Rosenlicht p. 27</ref> فسيكون لنا ان نثبت بشكل ضمني بإن 1=...0.999. يقول توم أبوستول:
{{اقتباس|حقيقة إمكانية وجود تمثيلين عشريين مختلفين للرقم الحقيقي الواحد هو مجرد إنعكاس لحقيقة وجود أصغر حد أعلى "supremum" واحد لمجموعتين مختلفتين من الاعداد الحقيقية<ref>Apostol p. 12</ref>}}

== إثباتات من [[إنشاء الأعداد الحقيقية]] ==
{{مفصلة|إنشاء الأعداد الحقيقية}}
تعمل المناهج على تعريف الأعداد الحقيقية باعتبارها مبنية على [[كسر (رياضيات)|الأعداد الكسرية]]. [[عدد طبيعي|الأعداد الطبيعية]] (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>

=== حد ديديكايند ===
{{مفصلة|حد ديديكايند}}
في حد ديديكايند، كل عدد حقيقي x يُعرف على إنه '''[[مجموعة غير منتهية]] من كل الأعداد الكسرية الأقل منه'''.<ref>Enderton (p. 113) qualifies this description: "The idea behind Dedekind cuts is that a real number ''x'' can be named by giving an infinite set of rationals, namely all the rationals less than ''x''. We will in effect define ''x'' to be the set of rationals smaller than ''x''. To avoid circularity in the definition, we must be able to characterize the sets of rationals obtainable in this way..."</ref> فمثلاً العدد الحقيقي 1 هو مجموع كل الأعداد الكسرية الأقل من 1.<ref>Rudin pp. 17–20, Richman p. 399, or Enderton p. 119. To be precise, Rudin, Richman, and Enderton call this cut 1*, 1−, and 1''R'', respectively; all three identify it with the traditional real number 1. Note that what Rudin and Enderton call a Dedekind cut, Richman calls a "nonprincipal Dedekind cut".</ref> كل توسع عشري موجب يُمكن حسابه بسهولة عن طريق حد ديديكايند وذلك بأخذ مجموعة من الأعداد الكسرية الأقل من مرحلة معينة من التوسع. وعلى هذا الأساس فإن...0.999 هو مجموعة من الأعداد الكسرية (لنسميها r) بحيث r < 0، أو r < 0.9 أو r < 0.99 أو r أصغر أعداد أخرى تمثل بالشكل:
:<math>\begin{align}1-\left(\tfrac{1}{10}\right)^n\end{align}</math><ref>Richman p. 399</ref>
كل عنصر من...0.999 هو أقل من 1، وبالتالي في عنصر للعدد الحقيقي 1. وبشكل عكسي فإن عنصر العدد 1 هو عدد كسري:
:<math>\begin{align}\tfrac{a}{b}<1\end{align}</math>
وبالتالي:
:<math>\begin{align}\tfrac{a}{b}<1-\left(\tfrac{1}{10}\right)^b\end{align}</math>
وبما إن...0.999 و 1 لهما نفس العدد الكسري فهما إذن متساويان.

تعريف الأعداد الحقيقية كما هي موجودة في حد ديديكايند تم نشرها للمرة الأولى بوساطة [[ريتشارد ديدكايند]] عام 1872.<ref name="MacTutor2">{{استشهاد ويب |مسار=http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |عنوان=History topic: The real numbers: Stevin to Hilbert |الأول1=J. J. |الأخير1=O'Connor |الأول2=E. F. |الأخير2=Robertson |عمل=MacTutor History of Mathematics |تاريخ الوصول=2006-08-30 |تاريخ أرشيف=2007-09-29 |تاريخ=أكتوبر 2005 |مسار أرشيف=https://web.archive.org/web/20070929095431/http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |حالة المسار=dead }}</ref> العملية المستعملة أعلاه لإعطاء رقم حقيقي لكل توسع عُشري منقول من ورقة إيضاحية تحت مسمى «هل...0.999 =1؟» كتبها فريد ريجمان في مجلة رياضية موجهة للمدرسين في الجامعات ولطلابهم.<ref>Richman</ref>

=== متتالية كوشي ===
{{مفصلة|متتالية كوشي}}
الطريقة الأخرى لتعريف الأعداد الحقيقية هو تعريفها على إنه نهاية "limit" لمتتالية كوشي للأعداد كسرية. طريقة إنشاء الأعداد الحقيقية هذه تستخدم ترتيب الأرقام الكسرية بطريقة اقل صراحة. أولا المسافة بين x و y تُعرفان القيمة المطلقة |x − y|، وهي قيمة موجبة دائماً. بعدها تُعرف الأعداد الحقيقية لتكون متتالية لأعداد كسرية لها خاصية متتالية كوشي باستعمال هذه المسافة. فلهذه المتتالية (x2, x1, x0, ...) ارتباط بين الأعداد الطبيعية والكسرية، فلأي عدد كسري موجب δ عدد N بحيث xm − xn| ≤ δ| لِكُل m, n > N. (المسافة بين الأطراف تصبح أقل من أي عدد موجب كسري).)<ref>Griffiths & Hilton §24.2 "Sequences" p. 386</ref>

فإذا كانت (xn) و (yn) متتاليتا كوشي، فإنهما يُعرفان على إنهما متساويتان مثل الأعداد الحقيقية إذا كانت المتتالية (xn − yn) لها نهاية "limit" = صفر. فإذا كان العدد العُشري...b0.b1b2b3 الذي يُولد متتالية من الأعداد الكسرية لها خاصية كوشي؛ فإن هذا يمنحنا القدرة على تعريف قيمة العدد الحقيقي المساوية له.<ref>Griffiths & Hilton pp. 388, 393</ref> فعلى هذا الأساس تكون مهمتنا إثبات إن لهذه المتتاليتان:
:<math>\left(1 - 0, 1 - {9 \over 10}, 1 - {99 \over 100}, \dots\right)
= \left(1, {1 \over 10}, {1 \over 100}, \dots \right)</math>
لها [[نهاية (رياضيات)|نهاية]] = 0. باعتبار ان المتتالية مكونة مو n من الحدود بحيث n=1, 2, 3، فاننا يجب أن نعرف بأن:
:<math>\lim_{n\rightarrow\infty}\frac{1}{10^n} = 0.</math>
وهذه النهاية بسيطة <ref>Griffiths & Hilton p. 395</ref> لأولئك الفاهمين لتعريف النهايات. وبالتالي فإن 1 =...0.999.

تعريف الأعداد الحقيقية كمتتالية كوشي نُشر للمرة الأولى من قبل كُلٌ من [[إيدوارد هاين]] و[[غيورغ كانتور|جورج كانتور]] بشكل منفصل عام 1872.<ref name="MacTutor2" /> التقريب للتوسع العُشري أعلاه المتضمن لإثبات 1 =...0.999، يستند لعمل Griffiths و Hilton المنشور عام 1970 تحت اسم "comprehensive textbook of classical mathematics: A contemporary interpretation". الكتاب أُنشئ خصيصاً لتقديم نظرة ثانية بطريقة عصرية للمفاهيم المعروفة.<ref>Griffiths & Hilton pp.viii, 395</ref>

== تعميم ==
نتيجة 1 =...0.999 تعمم ببساطة في طريقين، أولاً كل عدد (ماعدا الصفر) لهُ عدد محدد من الأرقام العُشرية (ينتهي بأصفار) يعادلهُ عدد مكافئ له ينتهي بتكرار التسعات. مثلاً...0.24999 يساوي 0.25.<ref>Petkovšek p. 408</ref>

ثانياً، النظرية تطبق ايضاً على النُظم العددية الأخرى. مثلاً في [[نظام عد ثنائي|نظام العد الثنائي]]...0.111 يساوي 1 وفي [[نظام العد الثلاثي]]...0.222 يساوي 1. وكثيراً ماعمدت الأبحاث الرياضية لإثبات هكذا تساويات وعدم الأكتفاء بمثال...0.999.<ref>Protter and Morrey p. 503; Bartle and Sherbert p. 61</ref>

عملية التساوي هذه تعمم أكثر لتحضر أيضاً في [[أنظمة الأرقام الموضعية غير القياسية]]، حيث إن هذه الانظمة تحوي أيضاً على عدة تمثيلات للعدد الواحد وبشكل معقد أكثر. مثلاً:<ref>Kempner p. 611; Petkovšek p. 409</ref>
* في نظام العد [[الثلاثي المتزن]] فإن: 1/2= ...0.111 = ...1.111
* في نظام [[الرقم المضروب]] "factorial number system" فإن: 1 = ...1.000 = ...0.1234.

== استحالة وجود تمثيل وحيد للعدد ==
كل تلك الأنظمة العددية المذكورة أعلاه لها أكثر من تمثيل لبعض الأعداد الحقيقية ويُعزا ذلك للأختلاف الأساسي بين الأعداد الحقيقية كمجموعة مرتبة وكمجموعة مكونة من سلاسل لاحصر لها من الأرقام.

== المراجع ==

{{مراجع}}
{{تصنيف كومنز}}
{{أعداد حقيقية}}
{{شريط بوابات|رياضيات|نظرية الأعداد}}

[[تصنيف:1 (عدد)]]
[[تصنيف:أعداد حقيقية]]
[[تصنيف:مفارقات رياضية]]
[[تصنيف:مقالات تحوي براهين]]

0.999... - تاريخ المراجعة

عبد العزيز: الرجوع عن تعديل معلق واحد من 196.81.85.42 إلى نسخة 60727564 من Mr.Ibrahembot.