0.999...

انطباع أسلوبي عن الرقم العشري المتكرر 0.9999...، والذي يمثل الرقم 9 الذي يتكرر بلا نهاية

0.999... هو عدد عشري دوري يُمثل العدد 1. [ 1 ] [ 2 ] تُمثل النقاط الثلاث قائمة لا نهائية من الأرقام "9". [ أ ] وفقًا للقواعد القياسية لتمثيل الأعداد الحقيقية بالصيغة العشرية، فإن قيمته هي أصغر عدد أكبر من أو يساوي أي عدد في المتتالية 0.9، 0.99، 0.999، وهكذا. يمكن إثبات أن هذا العدد هو  1؛ أي، 0.999...=1.{\displaystyle 0.999\ldots =1.}

على الرغم من المفاهيم الخاطئة الشائعة، فإن 0.999... ليس "تقريبًا 1 بالضبط" أو "قريب جدًا ولكن ليس تمامًا 1"؛ بل إن "0.999..." و"1" يمثلان نفس الرقم تمامًا .

توجد طرق عديدة لإثبات هذه المساواة، بدءًا من الحجج البديهية وصولًا إلى البراهين الرياضية الدقيقة . تعتمد الحجج البديهية عمومًا على خصائص الأعداد العشرية المنتهية ، والتي تُعمم دون برهان لتشمل الأعداد العشرية غير المنتهية. فيما يلي برهان بسيط ولكنه دقيق، لا يتطلب سوى العمليات الحسابية الأساسية وخاصية أرخميدس : لكل عدد حقيقي، يوجد عدد طبيعي أكبر منه (على سبيل المثال، بالتقريب لأعلى). أما البراهين الأخرى، فتعتمد عمومًا على الخصائص الأساسية للأعداد الحقيقية وطرق حساب التفاضل والتكامل ، مثل المتسلسلات والنهايات . أما لماذا يرفض البعض هذه المساواة، فهو سؤال يُدرس في مناهج تعليم الرياضيات .

في أنظمة العد الأخرى ، قد يحمل العدد 0.999... نفس المعنى، أو تعريفًا مختلفًا، أو قد يكون غير مُعرَّف. لكل عدد عشري منتهٍ غير صفري تمثيلان متساويان (على سبيل المثال، 8.32000... و8.31999...). وجود قيم ذات تمثيلات متعددة هو خاصية لجميع أنظمة العد الموضعية التي تُمثل الأعداد الحقيقية.

برهان ابتدائي

خاصية أرخميدس : أي نقطة x قبل خط النهاية تقع بين نقطتين P n (شاملة).

يمكن إثبات المعادلة 0.999... = 1 باستخدام أدوات المقارنة والجمع الرياضية للأعداد العشرية (المحدودة) فقط ، دون الحاجة إلى الرجوع إلى مواضيع متقدمة. البرهان الوارد أدناه هو صياغة مباشرة للحقيقة البديهية التي مفادها أنه عند رسم الأعداد 0.9، 0.99، 0.999، إلخ، على خط الأعداد ، لا يتبقى أي مكان لوضع عدد بينها وبين 1. يشير الرمز 0.999... إلى أصغر نقطة على خط الأعداد تقع على يمين جميع الأعداد 0.9، 0.99، 0.999، إلخ. ولأنه لا يوجد في النهاية أي مكان بين 1 وهذه الأعداد، فإن النقطة 1 هي بالضرورة أصغر نقطة، وبالتالي فإن 0.999... = 1 .

شرح بديهي

إذا وضعنا 0.9، 0.99، 0.999، إلخ، على خط الأعداد ، فسنرى فورًا أن جميع هذه النقاط تقع على يسار 1، وأنها تقترب أكثر فأكثر من 1. لأي عددx{\displaystyle x}أي أقل من 1، فإن المتتالية 0.9، 0.99، 0.999، وهكذا ستصل في النهاية إلى عدد أكبر من 1.x{\displaystyle x}لذا ، ليس من المنطقي ربط 0.999... بأي رقم أصغر من 1.

في الوقت نفسه، سيكون كل عدد أكبر من 1 أكبر من أي عدد عشري على الصورة 0.999...9 لأي عدد محدود من التسعات. لذلك، لا يمكن تعريف 0.999... بأي عدد أكبر من 1 أيضًا.

لأن 0.999... لا يمكن أن يكون أكبر من 1 أو أصغر من 1، فلا بد أن يساوي 1 ليكون عددًا حقيقيًا على الإطلاق. [ 3 ] [ 4 ]

إثبات صارم

لنرمز بـ 0.999 إلى العدد 0.999...9، حيثن{\displaystyle n}الرقم تسعة بعد الفاصلة العشرية. بالتالي ، 0.91 = 0.9 ، 0.92 = 0.99 ، 0.93 = 0.999 ، وهكذا. لدينا 1 - 0.91 = 0.1 =110{\displaystyle \textstyle {\frac {1}{10}}}1 -0.(9) 2 = 0.01 =1102{\displaystyle \textstyle {\frac {1}{10^{2}}}}وهكذا؛ أي أن 1 − 0.(9) n =110ن{\textstyle {\frac {1}{10^{n}}}}لكل عدد طبيعين{\displaystyle n} .

يتركx{\displaystyle x}ليكن عددًا لا يزيد عن 1 ويزيد عن 0.9، 0.99، 0.999، إلخ؛ أي أن 0.99n <x{\displaystyle x}≤ 1 ، لكلن{\displaystyle n}بطرح هذه المتباينات من 1، نحصل على 0 ≤ 1 −x{\displaystyle x}< 110ن{\displaystyle \textstyle {\frac {1}{10^{n}}}} .

يشترط في نهاية البرهان ألا يكون هناك عدد موجب أصغر من110ن{\textstyle {\frac {1}{10^{n}}}}للجميعن{\displaystyle n}هذا يتبع من خاصية أرخميدس ، التي يمكن التعبير عنها كالتالي: "لكل عدد حقيقي، يوجد عدد طبيعي أكبر منه". بحساب المقلوب ، يتضح أنه لكل عدد حقيقي موجب، توجد أعداد طبيعية مقلوبها أصغر. لذلك، لأي عدد حقيقي موجب، لا بد من وجود عدد طبيعي مقلوبه أصغر منه .ن{\displaystyle n}بحيث110ن{\textstyle {\frac {1}{10^{n}}}}أصغر. [ 5 ] [ 6 ] تشير هذه الخاصية إلى أنه إذا كان 1 −x{\displaystyle x}< 110ن{\displaystyle \textstyle {\frac {1}{10^{n}}}}للجميعن{\displaystyle n}ثم 1x{\displaystyle x}لا يمكن أن تساوي إلا صفرًا. لذا،x{\displaystyle x}= 1 و 1 هو أصغر عدد أكبر من جميع الأعداد 0.9، 0.99، 0.999، إلخ. أي أن 1 = 0.999... ، كما هو مذكور. [ 7 ]

يعتمد هذا البرهان على خاصية أرخميدس للأعداد النسبية والحقيقية. يمكن توسيع الأعداد الحقيقية إلى أنظمة عددية ، مثل الأعداد الفائقة الحقيقية ، التي تتضمن أعدادًا متناهية الصغر ( متناهية الصغر ) وأعدادًا متناهية الكبر ( لا نهائية ). [ 8 ] [ 9 ] عند استخدام هذه الأنظمة ، لا يُستخدم الرمز 0.999... عادةً، لأنه لا يوجد عدد أصغر بين الأعداد الأكبر من جميع الأعداد 0.999 . [ ب ]

الحدود العليا الدنيا والاكتمال

يُبين هذا الاستدلال جزئيًا وجود حدٍّ أعلى أدنى للمتتالية 0.9، 0.99، 0.999، إلخ: وهو أصغر عدد أكبر من جميع حدود المتتالية. ومن بديهيات نظام الأعداد الحقيقية بديهية الاكتمال ، التي تنص على أن لكل متتالية محدودة حدًّا أعلى أدنى. [ 10 ] [ 11 ] يُعد هذا الحد الأعلى الأدنى أحد طرق تعريف المتسلسلات العشرية اللانهائية: فالعدد الحقيقي المُمثَّل بتسلسل عشري لانهائي هو الحد الأعلى الأدنى لتقسيماته المحدودة. [ 12 ] لا يشترط الاستدلال هنا افتراض الاكتمال ليكون صحيحًا، لأنه يُبين أن هذه المتتالية المحددة من الأعداد النسبية لها حدٌّ أعلى أدنى، وأن هذا الحد الأعلى الأدنى يساوي واحدًا. [ 13 ]

الحجج الجبرية

تُعدّ الأمثلة الجبرية البسيطة للمساواة موضوعًا للنقاش والنقد التربوي. يناقش بايرز (2007) الحجة القائلة بأنه في المدرسة الابتدائية، يُعلَّم المرء أن13{\textstyle {\frac {1}{3}}}= 0.333... ، لذا، بتجاهل جميع التفاصيل الدقيقة، فإن "ضرب" هذه المتطابقة في 3 يعطي 1 = 0.999... . ويضيف أن هذه الحجة غير مقنعة، بسبب غموض لم يُحل حول معنى علامة المساواة ؛ فقد يعتقد الطالب: "بالتأكيد لا يعني ذلك أن العدد 1 هو نفسه المقصود بالرمز 0.999... " .  1. [ 14 ] يناقش ريتشمان (1999) كيف أن "هذه الحجة تستمد قوتها من حقيقة أن معظم الناس قد تم تلقينهم قبول المعادلة الأولى [ أي أن13{\textstyle {\frac {1}{3}}}= 0.333... ] دون تفكير"، ولكنه يشير أيضًا إلى أن الحجة قد تدفع المتشككين إلى التشكيك في هذا الافتراض. [ 15 ]

كما يقدم بايرز الحجة التالية.

x=0.999...10x=9.999...بضربها في 1010x=9+0.999...عن طريق فصل الجزء الصحيح10x=9+xبحسب تعريف x9x=9عن طريق الطرح xx=1بالقسمة على 9{\displaystyle {\begin{aligned}x&=0.999\ldots \\10x&=9.999\ldots &&{\text{بالضرب في }}10\\10x&=9+0.999\ldots &&{\text{بفصل الجزء الصحيح}}\\10x&=9+x&&{\text{بحسب تعريف }}x\\9x&=9&&{\text{بطرح }}x\\x&=1&&{\text{بالقسمة على }}9\end{aligned}}}

قد يقبل الطلاب الذين لم يقبلوا الحجة الأولى الحجة الثانية أحيانًا، لكنهم، في رأي بايرز، لم يحلوا الغموض بعد، وبالتالي لا يفهمون تمثيل الأعداد العشرية اللانهائية. ويذكر بيريسيني وبيريسيني (2007) ، عند تقديمهما الحجة نفسها، أنها لا تفسر المساواة، مشيرين إلى أن مثل هذا التفسير من المرجح أن يتضمن مفاهيم اللانهاية والكمال . [ 16 ] ويخلص بالدوين ونورتون (2012) ، نقلاً عن كاتز وكاتز (2010أ) ، إلى أن معالجة الهوية بناءً على مثل هذه الحجج، دون المفهوم الرسمي للنهاية، سابقة لأوانها. [ 17 ] ويتفق تشنغ (2023) مع هذا الرأي، مجادلاً بأن معرفة إمكانية ضرب 0.999... في 10 عن طريق تحريك الفاصلة العشرية تفترض إجابةً على السؤال الأعمق حول كيفية إعطاء معنى للتعبير 0.999... من الأساس. [ 18 ] ويُقدّم ريتشمان (1999) الحجة نفسها ، حيث يُشير إلى أن المتشككين قد يتساءلون عما إذاx{\displaystyle x}قابل للإلغاء - أي ما إذا كان من المنطقي طرح x{\displaystyle x}من كلا الجانبين. [ 15 ] وبالمثل، يجادل آيزنمان (2008) بأن كلاً من عملية الضرب والطرح التي تزيل العدد العشري اللانهائي تتطلب مزيدًا من التبرير. [ 19 ]

البراهين التحليلية

التحليل الحقيقي هو دراسة الأسس المنطقية للتفاضل والتكامل ، بما في ذلك سلوك المتتابعات والمتسلسلات من الأعداد الحقيقية. [ 20 ] تُثبت البراهين الواردة في هذا القسم أن 0.999... = 1 باستخدام تقنيات مألوفة من التحليل الحقيقي.

المتسلسلات والمتتابعات اللانهائية

من التطورات الشائعة في توسيع الأعداد العشرية تعريفها على أنها متسلسلات لانهائية . بشكل عام ب0.ب1ب2ب3ب4...=ب0+ب1(110)+ب2(110)2+ب3(110)3+ب4(110)4+.{\displaystyle 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 .}

بالنسبة لـ 0.999... يمكن تطبيق نظرية التقارب المتعلقة بالمتسلسلات الهندسية ، والتي تنص على أنه إذا |ر|{\displaystyle \vert r\vert }< 1، ثم [ 21 ]أر+أر2+أر3+=أر1-ر.{\displaystyle ar+ar^{2}+ar^{3}+\cdots ={\frac {ar}{1-r}}.}

بما أن 0.999... هو مثل هذا المجموع معأ=9{\displaystyle a=9}والنسبة المشتركةر=110{\displaystyle \textstyle r={\frac {1}{10}}}، تسهل هذه النظرية حل المسألة: 0.999...=0+9(110)+9(110)2+9(110)3+=9(110)1-110=1.{\displaystyle 0.999\ldots =0+9\left({\tfrac {1}{10}}\right)+9\left({\tfrac {1}{10}}\right)^{2}+9\left({\tfrac {1}{10}}\right)^{3}+\cdots ={\frac {9\left({\tfrac {1}{10}}\right)}{1-{\tfrac {1}{10}}}}=1.}

يظهر هذا البرهان في وقت مبكر يعود إلى عام 1770 في كتاب ليونارد أويلر " عناصر الجبر" . [ 22 ]

الحدود: الفترة 1، بما في ذلك متتالية الكسور ذات الأساس 4 (0.3، 0.33، 0.333، ...) التي تتقارب إلى 1.

إن مجموع المتسلسلة الهندسية هو في حد ذاته نتيجة أقدم حتى من أويلر. استخدم اشتقاق نموذجي من القرن الثامن عشر معالجة حدًا حدًا، مشابهة للبرهان الجبري المذكور أعلاه، وحتى عام ١٨١١، استخدم كتاب بونيكاسل " مقدمة في الجبر" مثل هذه الحجة للمتسلسلات الهندسية لتبرير نفس العملية على ٠٫٩٩٩... .[ ٢٣ ] أدى رد فعل القرن التاسع عشر ضد أساليب الجمع الليبرالية هذه إلى التعريف الذي لا يزال سائدًا حتى اليوم: يُعرَّف مجموع المتسلسلة بأنه نهاية متتالية مجاميعها الجزئية. يحسب برهانٌ مُقابلٌ للنظرية تلك المتتالية صراحةً؛ ويمكن إيجاده في العديد من المقدمات القائمة على البراهين في حساب التفاضل والتكامل أو التحليل. [ ٢٤ ]

تسلسل (x0{\displaystyle x_{0}}،x1{\displaystyle x_{1}}،x2{\displaystyle x_{2}}...) له القيمةx{\displaystyle x}كحد أقصى لها إذا كانت المسافة|x-xن|{\displaystyle \left\vert x-x_{n}\right\vert }يصبح صغيراً بشكل تعسفي عندمان{\displaystyle n}يزداد. يمكن تفسير العبارة التي تنص على أن 0.999... = 1 وإثباتها على أنها حد: [ ج ]0.999... =دهـو ليمن0.99...9ن =دهـو ليمنك=1ن910ك=ليمن(1-110ن)=1-ليمن110ن=1-0=1.{\displaystyle 0.999\ldots \ {\overset {\underset {\mathrm {def} }{}}{=}}\ \lim _{n\to \infty }0.\underbrace {99\ldots 9} _{n}\ {\overset {\underset {\mathrm {def} }{}}{=}}\ \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-0=1.}

يمكن تفسير المعادلتين الأوليين على أنهما تعريفات مختصرة للرموز. ويمكن إثبات المعادلات المتبقية. الخطوة الأخيرة، وهي أن 10 n يقترب من 0 عندمان{\displaystyle n}يقترب من اللانهاية ( {\displaystyle \infty }غالبًا ما يُبرر هذا النهج، الذي يعتمد على النهايات ، بخاصية أرخميدس للأعداد الحقيقية. ويُصاغ هذا الموقف تجاه 0.999... بعبارات أكثر إيحاءً ولكنها أقل دقة. على سبيل المثال، يشرح كتاب " الحساب الجامعي" الصادر عام 1846 أن "0.999 +، ممتدًا إلى ما لا نهاية = 1، لأن كل إضافة للرقم 9 تُقرّب القيمة من 1"؛ بينما يقول كتاب "الحساب للمدارس" الصادر عام 1895 : "عند أخذ عدد كبير من الرقم 9، يصبح الفرق بين 1 و0.99999... ضئيلًا للغاية". [ 25 ] كثيرًا ما يُفسر الطلابهذه الاستدلالات بشكل خاطئ على أنها تعني أن 0.999... نفسه أقل من 1. [ 26 ]

الفترات المتداخلة والحدود العليا الدنيا

الفترات المتداخلة: في النظام العددي ذي الأساس 3، 1 = 1.000... = 0.222... .

يُعرّف تعريف المتسلسلة أعلاه العدد الحقيقي المُسمى بالصيغة العشرية. وهناك منهج مُكمّل مُصمم للعملية المعاكسة: بالنسبة لعدد حقيقي مُعطى، يتم تعريف الصيغة العشرية (أو الصيغ العشرية) لتسميته.

إذا كان عددًا حقيقيًاx{\displaystyle x}إذا كان من المعروف أن العدد يقع في الفترة المغلقة [0، 10] (أي أنه أكبر من أو يساوي 0 وأصغر من أو يساوي 10)، فيمكن للمرء أن يتخيل تقسيم تلك الفترة إلى عشرة أجزاء تتداخل فقط عند نقاط نهايتها: [0، 1] ، [1، 2] ، [2، 3] ، وهكذا حتى [9، 10] .x{\displaystyle x}يجب أن ينتمي إلى إحدى هذه الفترات؛ إذا كان ينتمي إلى [2، 3] ، يتم تسجيل الرقم "2" وتقسيم تلك الفترة إلى [2، 2.1] ، [2.1، 2.2] ، ...، [2.8، 2.9] ، [2.9، 3] . يؤدي استمرار هذه العملية إلى سلسلة لانهائية من الفترات المتداخلة ، مُرقمة بسلسلة لانهائية من الأرقام .ب1{\displaystyle b_{1}}،ب2{\displaystyle b_{2}}،ب3{\displaystyle b_{3}}... ، ويكتب أحدهم x=ب0.ب1ب2ب3....{\displaystyle x=b_{0}.b_{1}b_{2}b_{3}\ldots .}

في هذا الشكل، تعكس المتطابقتان 1 = 0.999... و 1 = 1.000... على التوالي، حقيقة أن العدد 1 يقع في كل من الفترة [0, 1] والفترة [1, 2] ، لذا يمكن اختيار أيٍّ من الفترتين الجزئيتين عند إيجاد أرقامه. ولضمان عدم إساءة استخدام علامة "=" في هذا الترميز، يلزم إيجاد طريقة لإعادة بناء عدد حقيقي فريد لكل خانة عشرية. يمكن تحقيق ذلك باستخدام النهايات، ولكن هناك طرق أخرى تعتمد على ترتيب الأرقام. [ 27 ]

أحد الخيارات المباشرة هو نظرية الفترات المتداخلة ، التي تضمن أنه عند إعطاء سلسلة من الفترات المغلقة المتداخلة التي تصبح أطوالها صغيرة بشكل تعسفي، فإن الفترات تحتوي على عدد حقيقي واحد فقط في تقاطعها .ب1{\displaystyle b_{1}}،ب2{\displaystyle b_{2}}،ب3{\displaystyle b_{3}}, ... is defined to be the unique number contained within all the intervals [b0{\displaystyle b_{0}}, b0{\displaystyle b_{0}} + 1], [b0.b1{\displaystyle b_{0}.b_{1}}, b0.b1{\displaystyle b_{0}.b_{1}} + 0.1], and so on. 0.999... is then the unique real number that lies in all of the intervals [0, 1], [0.9, 1], [0.99, 1], and [0.99...9, 1] for every finite string of 9s. Since 1 is an element of each of these intervals, 0.999... = 1.[28]

The nested intervals theorem is usually founded upon a more fundamental characteristic of the real numbers: the existence of least upper bounds or suprema. To directly exploit these objects, one may define b0.b1b2b3{\displaystyle b_{0}.b_{1}b_{2}b_{3}}... to be the least upper bound of the set of approximants b0{\displaystyle b_{0}}, b0.b1{\displaystyle b_{0}.b_{1}}, b0.b1b2{\displaystyle b_{0}.b_{1}b_{2}}, ....[29] One can then show that this definition (or the nested intervals definition) is consistent with the subdivision procedure, implying 0.999... = 1 again. Tom Apostol concludes, "the fact that a real number might have two different decimal representations is merely a reflection of the fact that two different sets of real numbers can have the same supremum."[30]

Proofs from the construction of the real numbers

Some approaches explicitly define real numbers to be certain structures built upon the rational numbers, using axiomatic set theory. The natural numbers{0, 1, 2, 3, ...} begin with 0 and continue upwards so that every number has a successor. One can extend the natural numbers with their negatives to give all the integers, and to further extend to ratios, giving the rational numbers. These number systems are accompanied by the arithmetic of addition, subtraction, multiplication, and division.[31][32] More subtly, they include ordering, so that one number can be compared to another and found to be less than, greater than, or equal to another number.[33]

يُعدّ الانتقال من الأعداد النسبية إلى الأعداد الحقيقية امتدادًا هامًا. وهناك طريقتان شائعتان على الأقل لتحقيق هذا الانتقال، نُشرتا عام ١٨٧٢: قطوع ديديكيند ومتتاليات كوشي . لا توجد في كتب التحليل الحقيقي براهين تُثبت أن ٠٫٩٩٩... = ١ باستخدام هذه الطرق مباشرةً، حيث اتجهت الدراسات الحديثة خلال العقود القليلة الماضية نحو استخدام التحليل البديهي. وحتى عند تقديم طريقة ما، فإنها تُستخدم عادةً لإثبات بديهيات الأعداد الحقيقية، والتي بدورها تدعم البراهين المذكورة أعلاه. ومع ذلك، يُبدي العديد من المؤلفين أن البدء بطريقة ما أكثر منطقية، وأن البراهين الناتجة تكون أكثر اكتفاءً ذاتيًا. [ د ]

ديديكيند يقطع

في نهج قطع ديديكيند ، كل عدد حقيقيx{\displaystyle x}يُعرَّف بأنه المجموعة اللانهائية لجميع الأعداد النسبية الأقل منx{\displaystyle x}[ هـ ] على وجه الخصوص ، العدد الحقيقي 1 هو مجموعة جميع الأعداد النسبية الأقل من 1. [ و ] كل عملية توسيع عشري موجب تحدد بسهولة قطع ديديكيند: وهي مجموعة الأعداد النسبية الأقل من مرحلة معينة من مراحل التوسيع. لذا فإن العدد الحقيقي 0.999... هو مجموعة الأعداد النسبية.ر{\displaystyle r}بحيثر{\displaystyle r}< 0 ، أور{\displaystyle r}< 0.9 ، أور{\displaystyle r}< 0.99 ، أور{\displaystyle r}أقل من عدد آخر من الشكل [ 34 ]1-110ن=0.(9)ن=0.99...9ن تسعات.{\displaystyle 1-{\frac {1}{10^{n}}}=0.(9)_{n}=0.\underbrace {99\ldots 9} _{n{\text{ nines}}}.}

كل عنصر من عناصر 0.999... أصغر من 1، لذا فهو عنصر من عناصر العدد الحقيقي 1. وبالعكس، جميع عناصر 1 هي أعداد نسبية يمكن كتابتها على الصورة . أب<1،{\displaystyle {\frac {a}{b}}<1,} معب>0{\displaystyle b>0}وب>أ{\displaystyle b>a}وهذا يعني 1-أب=ب-أب1ب>110ب،{\displaystyle 1-{\frac {a}{b}}={\frac {b-a}{b}}\geq {\frac {1}{b}}>{\frac {1}{10^{b}}},} وبالتالي أب<1-110ب.{\displaystyle {\frac {a}{b}}<1-{\frac {1}{10^{b}}}.}

منذ 1-110ب=0.(9)ب<0.999...،{\displaystyle 1-{\frac {1}{10^{b}}}=0.(9)_{b}<0.999\ldots ,} بحسب التعريف أعلاه، فإن كل عنصر من 1 هو أيضًا عنصر من 0.999...، وبالاقتران مع البرهان أعلاه على أن كل عنصر من 0.999... هو أيضًا عنصر من 1، فإن المجموعتين 0.999... و1 تحتويان على نفس الأعداد النسبية، وبالتالي فهما نفس المجموعة، أي أن 0.999... = 1 .

نُشر تعريف الأعداد الحقيقية كقطاعات ديديكيند لأول مرة على يد ريتشارد ديديكيند عام 1872. [ 35 ] ويعود النهج المذكور أعلاه لتخصيص عدد حقيقي لكل تمثيل عشري إلى ورقة بحثية بعنوان "هل 0.999 ... = 1 ؟" بقلم فريد ريتشمان في مجلة الرياضيات . [ 15 ] ويشير ريتشمان إلى أن أخذ قطاعات ديديكيند في أي مجموعة جزئية كثيفة من الأعداد النسبية يُعطي النتائج نفسها؛ وعلى وجه الخصوص، يستخدم الكسور العشرية ، التي يكون برهانها أكثر مباشرة. كما يشير إلى أن التعريفات تسمح عادةً بـ {x{\displaystyle x}|x{\displaystyle x}< 1} أن يكون قطعًا ولكن ليس {x{\displaystyle x}|x{\displaystyle x}≤ 1} (أو العكس). [ 36 ] يؤدي تعديل إضافي للإجراء إلى بنية مختلفة حيث لا يكون الاثنان متساويين. على الرغم من أنه متسق، إلا أن العديد من القواعد الشائعة للحساب العشري لم تعد صالحة، على سبيل المثال، الكسر13{\textstyle {\frac {1}{3}}}ليس له تمثيل؛ انظر §  أنظمة الأرقام البديلة أدناه.

متواليات كوشي

ثمة نهج آخر يتمثل في تعريف العدد الحقيقي بأنه نهاية متتالية كوشي من الأعداد النسبية. يعتمد هذا البناء للأعداد الحقيقية على ترتيب الأعداد النسبية بشكل أقل مباشرة. أولًا، المسافة بينx{\displaystyle x}وy{\displaystyle y}يُعرَّف بأنه القيمة المطلقة|x-y|{\displaystyle \left\vert x-y\right\vert }، حيث القيمة المطلقة|z|{\displaystyle \left\vert z\right\vert }يُعرَّف بأنه الحد الأقصى لـz{\displaystyle z}و-z{\displaystyle -z}وبالتالي ، فهي ليست سالبة أبدًا. ثم تُعرَّف الأعداد الحقيقية بأنها متتابعات الأعداد النسبية التي تتمتع بخاصية متتابعة كوشي باستخدام هذه المسافة. أي، في المتتابعةx0{\displaystyle x_{0}}،x1{\displaystyle x_{1}}،x2{\displaystyle x_{2}}... ، دالة من الأعداد الطبيعية إلى الأعداد النسبية، لأي عدد نسبي موجبدلتا{\displaystyle \delta }يوجدشمال{\displaystyle N}بحيث|xم-xن|دلتا{\displaystyle \left\vert x_{m}-x_{n}\right\vert \leq \delta }للجميعم،ن>شمال{\displaystyle m,n>N} ; تصبح المسافة بين الحدود أصغر من أي عدد نسبي موجب. [ 37 ]

لو(xن){\displaystyle (x_{n})}و(yن){\displaystyle (y_{n})}إذا كان لدينا متتابعتان من نوع كوشي، فإنهما تُعرّفان بأنهما متساويتان كأعداد حقيقية إذا كانت المتتابعة(xن-yن){\displaystyle (x_{n}-y_{n})}له حد أقصى 0. اقتطاعات العدد العشريب0.ب1ب2ب3{\displaystyle b_{0}.b_{1}b_{2}b_{3}}... توليد متتالية من الأعداد النسبية، وهي متتالية كوشي؛ ويُعتبر هذا تعريفًا للقيمة الحقيقية للعدد. [ 38 ] وبالتالي، في هذا الشكل، تكمن المهمة في إثبات أن متتالية الأعداد النسبية (1-0،1-910،1-99100،...)=(1،110،1100،...){\displaystyle \left(1-0,1-{9 \over 10},1-{99 \over 100},\ldots \right)=\left(1,{1 \over 10},{1 \over 100},\ldots \right)} له حد أقصى 0. بالنظر إلى ن{\displaystyle n}الحد النوني للمتتالية، لـنشمال{\displaystyle n\in \mathbb {N} }لذلك ، يجب إثبات أن ليمن110ن=0.{\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{10^{n}}}=0.}

يمكن إثبات ذلك من خلال تعريف النهاية . لذا مرة أخرى، 0.999... = 1. [ 39 ]

نُشر تعريف الأعداد الحقيقية كمتتابعات كوشي لأول مرة بشكل منفصل من قِبل إدوارد هاين وجورج كانتور ، وذلك أيضًا في عام 1872. [ 35 ] يتبع النهج المذكور أعلاه للتوسعات العشرية، بما في ذلك إثبات أن 0.999... = 1 ، بشكل وثيق عمل غريفيث وهيلتون لعام 1970 بعنوان "كتاب مدرسي شامل للرياضيات الكلاسيكية: تفسير معاصر" . [ 40 ]

التمثيل العشري اللانهائي

في مناهج الرياضيات بالمدارس الثانوية ، تُبنى الأعداد الحقيقية عادةً بتعريف العدد باستخدام عدد صحيح متبوعًا بفاصلة عشرية ، ثم سلسلة غير منتهية تُكتب كسلسلة نصية لتمثيل الجزء الكسري من أي عدد حقيقي مُعطى. في هذا البناء، تُمثل مجموعة أي تركيبة من عدد صحيح وأرقام بعد الفاصلة العشرية (أو الفاصلة في الأنظمة غير العشرية) مجموعة الأعداد الحقيقية. يمكن إثبات أن هذا البناء يُحقق جميع بديهيات الأعداد الحقيقية بعد تعريف علاقة تكافؤ على المجموعة تُعرّف 1 = 0.999... ، وكذلك لأي أعداد عشرية غير صفرية أخرى تحتوي على عدد محدود من الحدود غير الصفرية في السلسلة العشرية مع نسختها التي تنتهي بالرقم 9. بعبارة أخرى، يُعدّ تحقق المساواة 0.999... = 1 شرطًا ضروريًا لكي تتصرف سلاسل الأرقام كأعداد حقيقية. [ 41 ] [ 42 ]

ترتيب كثيف

من بين المفاهيم التي يمكن أن تحل هذه المشكلة شرطُ الترتيب الكثيف للأعداد الحقيقية . يعني الترتيب الكثيف أنه إذا لم يكن هناك عنصر جديد بين عنصرين من المجموعة، فيجب اعتبار العنصرين متساويين. لذلك، إذا كان العدد 0.999... مختلفًا عن 1، فلا بد من وجود عدد حقيقي آخر بينهما، ولكن لا يوجد أي عدد من هذا القبيل: لا يمكن تغيير رقم واحد في أيٍّ منهما للحصول على هذا العدد. [ 43 ]

التعميمات

يمكن تعميم النتيجة التي مفادها أن 0.999... = 1 بسهولة بطريقتين. أولًا، لكل عدد غير صفري ذي تمثيل عشري محدود (أو ما يعادله، سلسلة لا نهائية من الأصفار في نهايته) نظير له ينتهي بالرقم 9. على سبيل المثال، 0.24999... يساوي  0.25، تمامًا كما في الحالة الخاصة المدروسة. هذه الأعداد هي الكسور العشرية بالضبط، وهي كثيفة . [ 44 ] [ 12 ]

ثانيًا، تنطبق نظرية مماثلة في كل أساس عددي . على سبيل المثال، في الأساس 2 ( نظام العد الثنائي ) 0.111... يساوي 1، وفي الأساس 3 ( نظام العد الثلاثي ) 0.222... يساوي 1. بشكل عام، أي أساس عددي منتهٍب{\displaystyle b}يوجد تعبير مماثل بأرقام لاحقة متكررة تساويب-1{\displaystyle b-1}من المرجح أن تتجاهل كتب التحليل الحقيقي مثال 0.999... وتقدم أحد هذين التعميمين أو كليهما منذ البداية. [ 45 ]

توجد تمثيلات بديلة للعدد 1 أيضًا في الأنظمة العددية غير الصحيحة. على سبيل المثال، في نظام النسبة الذهبية ، التمثيلان القياسيان هما 1.000... و0.101010...، وهناك عدد لا نهائي من التمثيلات الأخرى التي تتضمن أعدادًا متجاورة من 1. عمومًا، بالنسبة لجميع الأنظمة العددية تقريبًاq{\displaystyle q}بين 1 و 2، يوجد عدد لا يحصى من القواعد-q{\displaystyle q}توسعات العدد 1. في المقابل، لا يزال هناك عدد لا يُحصى منq{\displaystyle q}، بما في ذلك جميع الأعداد الطبيعية الأكبر من 1، والتي لها أساس واحد فقطq{\displaystyle q}توسيع العدد 1، باستثناء التوسيع البسيط 1.000... . وقد توصل إلى هذه النتيجة لأول مرة بول إيردوس ، وميكلوس هورفاث، وإشتفان جو حوالي عام 1990. وفي عام 1998، حدد فيلموس كومورنيك وباولا لوريتي أصغر قاعدة من هذا النوع، وهو ثابت كومورنيك-لوريتي.q{\displaystyle q}= 1.787231650... . في هذا النظام العددي، 1 = 0.11010011001011010010110011010011... ؛ تُعطى الأرقام بواسطة متتالية ثو-مورس ، وهي متتالية غير متكررة. [ 46 ]

يتناول تعميم أوسع نطاقًا أنظمة الأرقام الموضعية الأكثر عمومية . ولها أيضًا تمثيلات متعددة، وفي بعض النواحي، تكون الصعوبات أسوأ. على سبيل المثال: [ 47 ]

أثبت بيتكوفشيك (1990) أنه لأي نظام موضعي يُسمّي جميع الأعداد الحقيقية، فإن مجموعة الأعداد الحقيقية ذات التمثيلات المتعددة تكون كثيفة دائمًا. ويصف البرهان بأنه "تمرين تعليمي في طوبولوجيا المجموعات النقطية الأولية "؛ إذ يتضمن النظر إلى مجموعات القيم الموضعية على أنها فضاءات ستون، وملاحظة أن تمثيلاتها الحقيقية تُعطى بواسطة دوال متصلة . [ 48 ]

التطبيقات

يُستخدم العدد 0.999... كتمثيل للعدد 1 في نظرية الأعداد الأولية . ففي عام 1802، نشر هـ. جودوين ملاحظةً حول ظهور الرقم 9 في التمثيلات العشرية الدورية للكسور التي مقاماتها أعداد أولية معينة . [ 49 ] ومن الأمثلة على ذلك:

  • 17{\textstyle {\frac {1}{7}}}= 0. 142857 و 142 + 857 = 999 .
  • 173{\textstyle {\frac {1}{73}}}= 0.01369863 و 0136 + 9863 = 9999 .

أثبت إي. ميدي نتيجة عامة حول هذه الكسور، تُعرف الآن باسم نظرية ميدي ، في عام 1836. كان المنشور غامضًا، وليس من الواضح ما إذا كان برهانه يتضمن بشكل مباشر 0.999...، ولكن برهانًا حديثًا واحدًا على الأقل من قِبل ويليام جي. ليفيت يتضمن ذلك. إذا أمكن إثبات أنه إذا كان عدد عشري من الشكل 0.ب1ب2ب3{\displaystyle 0.b_{1}b_{2}b_{3}}إذا كان ... عددًا صحيحًا موجبًا، فلا بد أن يكون 0.999...، وهو ما يفسر وجود الرقم 9 في النظرية. [ 50 ] يمكن أن تحفز الدراسات في هذا الاتجاه مفاهيم مثل القواسم المشتركة الكبرى ، والحساب النمطي ، وأعداد فيرما الأولية ، وترتيب عناصر المجموعة، والتبادلية التربيعية . [ 51 ]

المواضع 1/4 و 2 / 3 و 1 في مجموعة كانتور

بالعودة إلى التحليل الحقيقي، فإن نظير الأساس 3 0.222... = 1 يلعب دورًا رئيسيًا في توصيف أحد أبسط الأشكال الكسورية ، وهي مجموعة كانتور للثلث الأوسط : تقع نقطة في فترة الوحدة في مجموعة كانتور إذا وفقط إذا كان من الممكن تمثيلها في نظام ثلاثي باستخدام الرقمين 0 و2 فقط.

الـن{\displaystyle n}يشير الرقم ⁠ في التمثيل إلى موضع النقطة فين{\displaystyle n}المرحلة الثالثة من مراحل البناء. على سبيل المثال، النقطة23{\textstyle {\frac {2}{3}}}يُعطى العدد 0.2 أو 0.2000... كقيمة معتادة، لأنه يقع على يمين أول عملية حذف وعلى يسار كل عملية حذف لاحقة.13{\textstyle {\frac {1}{3}}}لا يُمثَّل بالقيمة 0.1 بل بالقيمة 0.0222...، لأنه يقع على يسار أول عملية حذف وعلى يمين كل عملية حذف لاحقة. [ 52 ]

يظهر تكرار الرقم 9 أيضًا في عمل آخر لجورج كانتور. يجب أخذه في الاعتبار لبناء برهان صحيح، بتطبيق حجته القطرية لعام 1891 على التوسعات العشرية، لإثبات عدم قابلية عدّ فترة الآحاد. يحتاج هذا البرهان إلى القدرة على تحديد أزواج معينة من الأعداد الحقيقية على أنها مختلفة بناءً على توسعاتها العشرية، لذا يجب تجنب أزواج مثل 0.2 و0.1999... تمثل طريقة بسيطة جميع الأعداد ذات التوسعات غير المنتهية؛ بينما تستبعد الطريقة المعاكسة تكرار الرقم 9. [ g ] يستخدم أحد المتغيرات، الذي قد يكون أقرب إلى حجة كانتور الأصلية، الأساس 2، ومن خلال تحويل التوسعات ذات الأساس 3 إلى توسعات ذات الأساس 2، يمكن إثبات عدم قابلية عدّ مجموعة كانتور أيضًا. [ 53 ]

شكوك بين الطلاب

كثيرًا ما يرفض طلاب الرياضيات مساواة 0.999... و1، لأسباب تتراوح بين اختلاف مظهرهما الظاهري وشكوك عميقة حول مفهوم النهاية واختلافات حول طبيعة الكميات المتناهية في الصغر. وهناك العديد من العوامل المشتركة التي تُسهم في هذا الالتباس:

  • غالباً ما يكون الطلاب "متمسكين ذهنياً بفكرة أن العدد لا يمكن تمثيله إلا بطريقة واحدة فقط باستخدام الأعداد العشرية". إن رؤية عددين عشريين مختلفين تماماً يمثلان نفس العدد يبدو مفارقة ، تتفاقم بظهور العدد 1 الذي يبدو مفهوماً جيداً. [ h ]
  • يفسر بعض الطلاب "0.999..." (أو رمز مشابه) على أنه سلسلة طويلة ولكنها محدودة من الرقم 9، ربما بطول متغير وغير محدد. وإذا قبلوا سلسلة لانهائية من الرقم 9، فقد يتوقعون مع ذلك وجود الرقم 9 الأخير "في اللانهاية". [ 54 ]
  • يؤدي الحدس والتعليم غير الواضح إلى جعل الطلاب ينظرون إلى نهاية المتتالية على أنها عملية لا نهائية وليست قيمة ثابتة، إذ لا يشترط أن تصل المتتالية إلى نهايتها. وعندما يتقبل الطلاب الفرق بين متتالية الأعداد ونهايتها، فقد يفسرون عبارة "0.999..." على أنها تعني المتتالية نفسها وليس نهايتها. [ 55 ]

هذه الأفكار خاطئة في سياق الأعداد الحقيقية القياسية، على الرغم من أن بعضها قد يكون صحيحًا في أنظمة عددية أخرى، سواء تم ابتكارها لفائدتها الرياضية العامة أو كأمثلة مضادة تعليمية لفهم 0.999... بشكل أفضل؛ انظر §  في أنظمة الأعداد البديلة أدناه.

توصل ديفيد تال إلى العديد من هذه التفسيرات ، حيث درس خصائص التدريس والإدراك التي تؤدي إلى بعض سوء الفهم الذي واجهه مع طلابه الجامعيين. وبعد إجراء مقابلات مع طلابه لتحديد سبب رفض الغالبية العظمى منهم للمساواة في البداية، وجد أن "الطلاب استمروا في تصور 0.999... على أنه سلسلة من الأرقام تقترب أكثر فأكثر من 1 وليس قيمة ثابتة، لأنه "لم يتم تحديد عدد المنازل العشرية" أو "إنه أقرب عدد عشري ممكن أقل من 1 " . [ 26 ]

الوسيط الأساسي لضرب 0.333... =13{\textstyle {\frac {1}{3}}}يمكن للمعادلة 3 أن تقنع الطلاب المترددين بأن 0.999... = 1. ومع ذلك، عندما يواجهون التناقض بين إيمانهم بالمعادلة الأولى وعدم إيمانهم بالثانية، يبدأ بعض الطلاب إما في عدم تصديق المعادلة الأولى أو ببساطة يشعرون بالإحباط. [ 56 ] كما أن الطرق الأكثر تطورًا ليست مضمونة النتائج: فقد يلجأ الطلاب القادرون تمامًا على تطبيق تعريفات دقيقة إلى الصور البديهية عندما يفاجأون بنتيجة في الرياضيات المتقدمة، بما في ذلك 0.999... . على سبيل المثال، تمكن أحد طلاب التحليل الحقيقي من إثبات أن 0.333... =13{\textstyle {\frac {1}{3}}}باستخدام تعريف القيمة العليا ، ثم أصرت على أن 0.999... < 1 بناءً على فهمها السابق للقسمة المطولة . [ 57 ] ولا يزال بإمكان آخرين إثبات ذلك.13{\textstyle {\frac {1}{3}}}= 0.333... ، ولكن عند مواجهة البرهان الكسري ، يصرون على أن "المنطق" يتجاوز الحسابات الرياضية.

يروي مازور (2005) قصة طالبٍ لامعٍ في حساب التفاضل والتكامل، كان "يُشكك في كل ما أقوله تقريبًا في الصف، لكنه لم يُشكك أبدًا في حاسبته"، وقد وصل إلى الاعتقاد بأن تسعة أرقام هي كل ما يحتاجه المرء لإجراء العمليات الحسابية، بما في ذلك حساب الجذر التربيعي للعدد 23. ظل الطالب غير مرتاحٍ لحجةٍ تقييديةٍ مفادها أن 9.99... = 10 ، واصفًا إياها بأنها "عملية نمو لا نهائية متخيلة بشكلٍ جامح". [ 58 ]

كجزء من نظرية APOS للتعلم الرياضي، يقترح دوبينسكي وآخرون (2005) أن الطلاب الذين يتصورون 0.999... كسلسلة محدودة وغير محددة بمسافة متناهية الصغر من 1، "لم يبنوا بعدُ تصورًا كاملًا لعملية العدد العشري اللانهائي". أما الطلاب الآخرون الذين لديهم تصور كامل لعملية 0.999... فقد لا يكونون قادرين بعدُ على "تغليف" تلك العملية في "تصور موضوعي"، مثل تصورهم الموضوعي للعدد 1، وبالتالي ينظرون إلى العملية 0.999... والموضوع 1 على أنهما غير متوافقين. كما يربطون هذه القدرة الذهنية على التغليف بالنظر إلى13{\textstyle {\frac {1}{3}}}كرقم في حد ذاته وللتعامل مع مجموعة الأعداد الطبيعية ككل. [ 59 ]

ظاهرة ثقافية

مع ظهور الإنترنت ، أصبحت النقاشات حول 0.999... شائعة في مجموعات الأخبار ومنتديات النقاش ، بما في ذلك العديد من النقاشات التي لا علاقة لها بالرياضيات ظاهريًا. في مجموعة أخبار sci.math في التسعينيات، أصبح الجدال حول 0.999... "رياضة شعبية"، وكان أحد الأسئلة التي تمت الإجابة عليها في قسم الأسئلة الشائعة . [ 60 ] [ 61 ] يغطي قسم الأسئلة الشائعة بإيجاز ...13{\displaystyle \textstyle {\frac {1}{3}}}، والضرب في 10، والنهايات، ويشير أيضًا إلى متتابعات كوشي.

تتناول إحدى حلقات عمود "ذا ستريت دوب" الصحفي ذي الاهتمام العام، الصادر عام 2003، موضوع 0.999... عبر13{\textstyle {\frac {1}{3}}}والحدود، والقول عن المفاهيم الخاطئة،

لا يزال الجزء البدائي فينا يقاوم، قائلاً: إن 0.999~ لا يمثل عددًا ، بل عملية . لإيجاد عدد، علينا إيقاف العملية، وعندها ينهار منطق أن 0.999~ = 1. هذا هراء. [ 62 ]

ذكرت مقالة في موقع Slate أن مفهوم 0.999... "محل جدل واسع على مواقع إلكترونية متنوعة، بدءًا من منتديات لعبة World of Warcraft وصولًا إلى منتديات آين راند ". [ 63 ] كما يُستخدم 0.999... في النكات الرياضية ، مثل: [ 64 ]

س: كم عدد علماء الرياضيات اللازمين لتغيير مصباح كهربائي ؟ ج: 0.999999....

لقد قورنت حقيقة أن 0.999... يساوي 1 بمفارقة زينون للعدّاء . [ 65 ] يمكن نمذجة مفارقة العدّاء رياضيًا، ومن ثم حلها، كما هو الحال مع 0.999...، باستخدام متسلسلة هندسية. ومع ذلك، فليس من الواضح ما إذا كان هذا الأسلوب الرياضي يعالج القضايا الميتافيزيقية الكامنة التي كان زينون يستكشفها. [ 66 ]

في أنظمة الأرقام البديلة

على الرغم من أن الأعداد الحقيقية تشكل نظامًا عدديًا مفيدًا للغاية ، إلا أن قرار تفسير الرمز "0.999..." على أنه تسمية عدد حقيقي هو في النهاية اصطلاح، ويجادل تيموثي جوورز في كتابه "الرياضيات: مقدمة قصيرة جدًا" بأن المتطابقة الناتجة 0.999... = 1 هي اصطلاح أيضًا:

ومع ذلك، فهي ليست بأي حال من الأحوال اتفاقية اعتباطية، لأن عدم اعتمادها يجبر المرء إما على ابتكار أشياء جديدة غريبة أو على التخلي عن بعض قواعد الحساب المألوفة. [ 67 ]

أجزاء متناهية الصغر

تعتمد بعض البراهين على أن 0.999... = 1 على خاصية أرخميدس للأعداد الحقيقية: وهي عدم وجود أعداد متناهية الصغر غير صفرية . تحديدًا، يجب أن يكون الفرق 1 − 0.999... أصغر من أي عدد نسبي موجب، لذا يجب أن يكون عددًا متناهيًا في الصغر؛ ولكن بما أن الأعداد الحقيقية لا تحتوي على أعداد متناهية الصغر غير صفرية، فإن الفرق يساوي صفرًا، وبالتالي فإن القيمتين متساويتان.

مع ذلك، توجد بنى جبرية مرتبة متماسكة رياضيًا ، بما في ذلك بدائل مختلفة للأعداد الحقيقية، وهي غير أرخميدية. يوفر التحليل غير القياسي نظامًا عدديًا بمجموعة كاملة من الأعداد المتناهية الصغر (ومعكوساتها). [ i ] طور أ. هـ. لايتستون توسيعًا عشريًا للأعداد الفائقة الحقيقية في (0، 1) * . يوضح لايتستون كيفية ربط كل عدد بتسلسل من الأرقام. 0.د1د2د3...؛...د-1دد+1...،{\displaystyle 0.d_{1}d_{2}d_{3}\ldots ;\ldots d_{\infty -1}d_{\infty }d_{\infty +1}\ldots ,} مفهرسة بالأعداد الفائقة الطبيعية . على الرغم من أنه لا يناقش 0.999... بشكل مباشر، إلا أنه يوضح العدد الحقيقي13{\textstyle {\frac {1}{3}}}يُمثَّل هذا العدد بالصيغة 0.333...;...333...، وهو نتيجة لمبدأ التحويل . ونتيجةً لذلك، فإن العدد 0.999...;...999... يساوي 1. مع هذا النوع من التمثيل العشري، لا يُمثِّل كل امتداد عددًا. على وجه الخصوص، لا يُمثِّل العددان "0.333...;...000..." و"0.999...;...000..." أي عدد. [ 68 ]

التعريف القياسي للعدد 0.999... هو نهاية المتتالية 0.9، 0.99، 0.999، ... . وهناك تعريف آخر يتضمن حدًا فائقًا ، أي فئة التكافؤ [(0.9، 0.99، 0.999، ...)] لهذه المتتالية في بناء القوة الفائقة ، وهو عدد يقل عن 1 بمقدار متناهي الصغر. [ 69 ] وبشكل أعم، العدد الفائق الحقيقيuح{\displaystyle u_{H}}= 0.999...;...999000... ، مع الرقم الأخير 9 في رتبة فائقة الطبيعة لا نهائية .ح{\displaystyle H}، يحقق متباينة صارمةuح<1{\displaystyle u_{H}<1}وبناءً على ذلك، يمكن أن يكون التفسير البديل لعبارة "صفر متبوع بعدد لا نهائي من التسعات" هو [ 70 ]0.999...ح=1-110ح.{\displaystyle {\underset {H}{0.\underbrace {999\ldots } }}\;=1\;-\;{\frac {1}{10^{H}}}.}

جميع هذه التفسيرات لـ "0.999..." قريبة جدًا من 1. يصف إيان ستيوارت هذا التفسير بأنه طريقة "معقولة تمامًا" لتبرير الحدس القائل بأن "هناك نقصًا طفيفًا" في 0.999... مقارنةً بـ 1. [ j ] إلى جانب كاتز وكاتز (2010ب) ، يشكك إيلي (2010) أيضًا في افتراض أن أفكار الطلاب حول 0.999... < 1 هي حدس خاطئ حول الأعداد الحقيقية، ويفسرها بالأحرى على أنها حدس غير قياسي قد يكون ذا قيمة في تعلم حساب التفاضل والتكامل. [ 71 ]

هاكنبوش

تُقدّم نظرية الألعاب التوافقية مفهومًا مُعمّمًا للأعداد يشمل الأعداد الحقيقية وأكثر من ذلك بكثير. [ 72 ] على سبيل المثال، في عام 1974، وصف إلوين بيرلكامب تطابقًا بين سلاسل من القطع الحمراء والزرقاء في تمثيل هاكنبوش والتوسعات الثنائية للأعداد الحقيقية، مُستلهمًا ذلك من فكرة ضغط البيانات . على سبيل المثال، قيمة سلسلة هاكنبوش LRRLRLRL... هي 0.010101... 2 =13{\textstyle {\frac {1}{3}}}ومع ذلك ، فإن قيمة LRLLL... (المقابلة لـ 0.111... 2 ) أقل من 1 بمقدار ضئيل للغاية. والفرق بينهما هو العدد السريالي1ω{\textstyle {\frac {1}{\omega }}}، أينω{\displaystyle \omega }هو أول عدد ترتيبي لانهائي ؛ اللعبة ذات الصلة هي LRRRR... أو 0.000 ... 2. [ k ]

ينطبق هذا على التمثيل الثنائي للعديد من الأعداد النسبية، حيث تكون قيم الأعداد متساوية ولكن مسارات الشجرة الثنائية المقابلة لها مختلفة. على سبيل المثال، 0.10111... 2 = 0.11000... 2 ، وكلاهما يساوي 34{\displaystyle \textstyle {\frac {3}{4}}}، لكن التمثيل الأول يتوافق مع مسار الشجرة الثنائية LRLRLLL...، بينما يتوافق الثاني مع المسار المختلف LRLLRRR...‍ .

إعادة النظر في الطرح

ثمة طريقة أخرى قد تُضعف بها البراهين، وهي إذا لم يكن الناتج 1 − 0.999... موجودًا ببساطة لأن الطرح ليس ممكنًا دائمًا. تشمل البنى الرياضية التي تتضمن عملية جمع دون عملية طرح أنصاف الزمر التبادلية ، والمونيدات التبادلية ، وأنصاف الحلقات . وقد تناول ريتشمان (1999) نظامين من هذا القبيل، مصممين بحيث يكون 0.999... < 1. [ 15 ]

أولًا، يُعرّف ريتشمان (1999) العدد العشري غير السالب بأنه توسيع حرفي للعدد العشري. ويُعرّف الترتيب المعجمي وعملية الجمع، مشيرًا إلى أن 0.999... < 1 ببساطة لأن 0 < 1 في خانة الآحاد، ولكن بالنسبة لأي عدد عشري غير منتهٍ ...x{\displaystyle x}، واحد لديه 0.999... +x{\displaystyle x}= 1 + x{\displaystyle x}إذن ، من خصائص الأعداد العشرية أنه لا يمكن دائمًا إلغاء عملية الجمع؛ وخاصية أخرى هي أنه لا يوجد عدد عشري يقابل13{\displaystyle \textstyle {\frac {1}{3}}}بعد تعريف عملية الضرب، تشكل الأعداد العشرية حلقة شبهية موجبة، مرتبة كليًا، وتبديلية . [ 73 ]

وفي سياق تعريف الضرب، يُعرّف ريتشمان أيضاً نظاماً آخر يُطلق عليه اسم "القطع ".د{\displaystyle D}وهي مجموعة قطوع ديديكيند للكسور العشرية. عادةً، يؤدي هذا التعريف إلى الأعداد الحقيقية، ولكن بالنسبة للكسور العشريةد{\displaystyle d}وهو يسمح بالقطع ( -{\displaystyle -\infty }،د{\displaystyle d}) و "القطع الرئيسي"(-{\displaystyle -\infty }،د{\displaystyle d}والنتيجة هي أن الأعداد الحقيقية "تتعايش بشكل غير مريح" مع الكسور العشرية. مرة أخرى،0.999... < 1.لا توجد أعداد متناهية الصغر موجبة في القطع .د{\displaystyle D}لكن هناك "نوع من الكمية المتناهية الصغر السالبة"، 0⁻ ، التي ليس لها تمثيل عشري. ويستنتج أن 0.999... = 1 + 0⁻ ، بينما المعادلة " 0.999... +x{\displaystyle x}= 1 "ليس لها حل. [ l ]

الأعداد p -adic

عند سؤال المبتدئين عن 0.999...، غالبًا ما يعتقدون بوجود "رقم 9 أخير"، معتقدين أن 1 − 0.999... عدد موجب، فيكتبونه "0.000...1". بغض النظر عن صحة هذا الاعتقاد، فإن الهدف البديهي واضح: إضافة 1 إلى الرقم 9 الأخير في 0.999... سيؤدي إلى تحويل جميع الأرقام 9 إلى أصفار، وترك 1 في خانة الآحاد. من بين أسباب أخرى، تفشل هذه الفكرة لعدم وجود "رقم 9 أخير" في 0.999... [ 74 ] . مع ذلك، يوجد نظام يحتوي على سلسلة لانهائية من الأرقام 9، بما في ذلك الرقم 9 الأخير، ولكن الفاصلة العشرية فيه تقع على يمين الأرقام 9 وليس على يسارها.

الأعداد الصحيحة ذات 4 أحرف (النقاط السوداء)، بما في ذلك المتتالية (3، 33، 333، ...) التي تتقارب إلى -1. المقابل ذو 10 أحرف هو ...999 = -1 .

الص{\displaystyle p}الأعداد الأدية هي نظام عددي بديل ذو أهمية في نظرية الأعداد . ومثل الأعداد الحقيقية،ص{\displaystyle p}- يمكن بناء الأعداد الأدية من الأعداد النسبية عبر متتابعات كوشي ؛ يستخدم هذا البناء مقياسًا مختلفًا يكون فيه الصفر أقرب إلى ص{\displaystyle p}وأقرب بكثير إلىصن{\displaystyle p^{n}}، مما هو عليه بالنسبة إلى 1. [ 75 ] الص{\displaystyle p}- تشكل الأعداد الأدية حقلاً للأعداد الأوليةص{\displaystyle p}وخاتم للآخرينص{\displaystyle p}، بما في ذلك 10. لذلك يمكن إجراء العمليات الحسابية فيص{\displaystyle p}- مدمنون.

في الأعداد العشرية، تمتد نظائر التوسعات العشرية إلى اليسار. يحتوي التوسع العشري ...999 على الرقم 9 في نهايته، ولكنه لا يحتوي على الرقم 9 في بدايته. يمكن إضافة 1 إلى خانة الآحاد، ويتبقى أصفار فقط بعد تطبيق العملية: 1 + ...999 = ...000 = 0 ، وبالتالي ...999 = -1 . [ 76 ] يستخدم اشتقاق آخر متسلسلة هندسية. المتسلسلة اللانهائية التي يشير إليها "...999" لا تتقارب في الأعداد الحقيقية، ولكنها تتقارب في الأعداد العشرية، وبالتالي يمكن إعادة استخدام الصيغة المألوفة: [ 77 ]...999=9+9(10)+9(10)2+9(10)3+=91-10=-1.{\displaystyle \ldots 999=9+9(10)+9(10)^{2}+9(10)^{3}+\cdots ={\frac {9}{1-10}}=-1.}

قارن ذلك بالمتسلسلة في القسم أعلاه . ابتكرت طالبة في الصف السابع اشتقاقًا ثالثًا، إذ كانت تشك في حجة معلمتها القائلة بأن 0.999... = 1 ، لكنها استلهمت فكرة تطبيق برهان الضرب في 10 المذكور أعلاه في الاتجاه المعاكس: إذاx{\displaystyle x}= ...999 ، ثم 10x{\displaystyle x}= ...990 ، إذن 10x{\displaystyle x}=x{\displaystyle x}-9 ، ومن ثمx{\displaystyle x}= −1 مرة أخرى. [ 76 ]

في نظام الأعداد العشرية، لا يُعدّ التعبير 0.999... تعبيرًا ذا معنى، لأنّ المجاميع الجزئية لا تتقارب. وكامتداد أخير، بما أنّ 0.999... = 1 (في الأعداد الحقيقية) و ...999 = −1 (في نظام الأعداد العشرية)، فبـ"الإيمان الأعمى والتلاعب غير المدروس بالرموز" [ 78 ] يمكن جمع المعادلتين والوصول إلى ...999.999... = 0. هذه المعادلة لا معنى لها سواءً كتعبير في نظام الأعداد العشرية أو كتعبير عشري عادي، ولكنّها تُصبح ذات معنى وصحيحة في التعبير العشري اللانهائي المزدوج للملف اللولبي ذي الأعداد العشرية ، مع تكرار الأطراف اليسرى لتمثيل الأعداد الحقيقية وتكرار الأطراف اليمنى لتمثيل الأعداد العشرية. [ 79 ]

انظر أيضاً

ملحوظات

  1. يُكتب هذا أيضًا على النحو التالي: 0.(9)، أو 0. 9 ، أو 0. . 9 .
  2. على سبيل المثال، يمكن إثبات ذلك كما يلي: إذا كان x أي عدد بحيث يكون 0.(9) nx < 1 ، فإن 0.(9) n −1 ≤ 10 x − 9 < x < 1. وبالتالي، إذا كان x يتمتع بهذه الخاصية لجميع قيم n ، فإن العدد الأصغر 10 x − 9 يتمتع بها أيضًا.
  3. تُستنتج النهاية، على سبيل المثال، من رودين (1976) ، صفحة 57، النظرية 3.20هـ. وللحصول على نهج أكثر مباشرة، انظر أيضًا فيني، وير وجيوردانو (2001) ، القسم 8.1، المثال 2(أ)، المثال 6(ب).
  4. يُزعم أن غريفيث وهيلتون (1970) ، ص. xiv، وبوغ (2002) ، ص. 10، يتبنيان التركيب التاريخي؛ وكلاهما في الواقع يُفضلان استخدام قطع ديديكيند على البديهيات. للاطلاع على استخدام القطع في الكتب الدراسية، انظر بوغ (2002) ، ص. 17 أو رودين (1976) ، ص. 17. للاطلاع على وجهات نظر حول المنطق، انظر بوغ (2002) ، ص. 10، رودين (1976) ، ص. ix، أو مونكرز (2000) ، ص. 30.
  5. يوضح إندرتون (1977) ، صفحة 113، هذا الوصف قائلاً: "تكمن الفكرة وراء قطوع ديديكيند فيإمكانية تسمية عدد حقيقي x من خلال إعطاء مجموعة لانهائية من الأعداد النسبية، أي جميع الأعداد النسبية الأصغر من x . سنعرّف x فعلياً على أنه مجموعة الأعداد النسبية الأصغر من x . ولتجنب التكرار في التعريف، يجب أن نكون قادرين على تحديد خصائص مجموعات الأعداد النسبية التي يمكن الحصول عليها بهذه الطريقة ..."
  6. رودين (1976) ، الصفحات 17-20، ريتشمان (1999) ، الصفحة 399، أو إندرتون (1977) ، الصفحة 119. وللدقة، يُطلق رودين وريتشمان وإندرتون على هذا القطع 1* و1− و 1 R على التوالي؛ ويُعرّفه الثلاثة جميعًا بالعدد الحقيقي التقليدي 1. لاحظ أن ما يُطلق عليه رودين وإندرتون اسم قطع ديديكيند، يُطلق عليه ريتشمان اسم "قطع ديديكيند غير الرئيسي".
  7. يستعرض كلٌّ من ماور (1987) ، ص 60، ومانكيويتز (2000) ، ص 151، الطريقة الأولى؛ وينسبها مانكيويتز إلى كانتور، لكن المصدر الأساسي غير واضح. ويذكر مونكرز (2000) ، ص 50، الطريقة الثانية.
  8. بانش (1982) ، ص 119؛ تال وشوارزنبرغر (1978) ، ص 6. الاقتراح الأخير يعود إلى بوريل (1998) ، ص 28: "ربما يكون الرقم 1 هو الأكثر طمأنينة من بين جميع الأرقام ... لذلك من المقلق بشكل خاص عندما يحاول أحدهم تمرير 0.9 على أنه 1."
  9. للحصول على معالجة كاملة للأعداد غير القياسية، انظر روبنسون (1996) .
  10. ستيوارت (2009) ، ص 175؛ المناقشة الكاملة لـ 0.999... موزعة على الصفحات 172-175.
  11. يناقش بيرلكامب، كونواي ، وجاي (1982) ، الصفحات 79-80، 307-311، العددين 1 و 1/3، ويتطرقون إلى 1 / ω . وتستند لعبة 0.111 ... 2 مباشرةً إلى قاعدة بيرلكامب.
  12. ريتشمان (1999) ، ص 398-400. رودين (1976) ، ص 23 ينسب هذا البناء البديل (ولكن على العقلانيات) كآخر تمرين في الفصل 1.

مراجع

  1. ستيلويل 1994 .
  2. أبوستول 1974 .
  3. تشنغ (2023) ، ص 141.
  4. دايموند (1955) .
  5. بالدوين ونورتون (2012) .
  6. Meier & Smith (2017) , §8.2.
  7. ستيوارت وتال (2015) ، ص 38-39.
  8. ستيوارت (2009) ، ص 175.
  9. بروب (2023) .
  10. ستيلويل (1994) ، ص 42.
  11. إيرل ونيكلسون (2021) ، "مقيد".
  12. 1 2 روزنليت (1985) ، ص. 27.
  13. بولدري (2009) ، ص 47.
  14. بايرز (2007) ، ص 39.
  15. 1 2 3 4 ريتشمان (1999) .
  16. ^ بيريسيني وبيريسيني (2007) ، ص. 186 . 
  17. Baldwin & Norton (2012) ; Katz & Katz (2010a) .
  18. تشنغ (2023) ، ص 136.
  19. أيزنمان (2008) ، ص 38.
  20. تاو (2003) .
  21. رودين (1976) ، ص. 61، النظرية 3.26؛ ستيوارت (1999) ، ص. 706.
  22. أويلر (1828) ، ص  170 .
  23. Grattan-Guinness (1970) ، ص 69؛ Bonnycastle (1806) ، ص 177.
  24. ستيوارت (1999) ، ص 706؛ رودين (1976) ، ص 61؛ بروتر وموري (1991) ، ص 213؛ بو (2002) ، ص 180؛ كونواي (1978) ، ص 31.
  25. ديفيز (1846) ، ص 175؛ سميث وهارينغتون (1895) ، ص 115.
  26. 1 2 طويل (2000) ، ص. 221.
  27. Beals (2004) ، ص 22؛ Stewart (2009) ، ص 34.
  28. بارتل وشيربرت (1982) ، ص 60-62؛ بيدريك (1994) ، ص 29؛ سهراب (2003) ، ص 46.
  29. ^ الرسول (1974) ، ص 9، 11-12؛ بيلز (2004) ، ص. 22؛ روزنليت (1985) ، ص. 27.
  30. أبوستول (1974) ، ص 12.
  31. ^ تشنغ (2023) ، ص 153-156.
  32. كونواي (2001) ، ص 25-27.
  33. رودين (1976) ، ص 3، 8.
  34. ريتشمان (1999) ، ص 399.
  35. 1 2 أوكونور وروبرتسون (2005) .
  36. ريتشمان (1999) ، ص 398-399. "لماذا نفعل ذلك؟ تحديدًا لاستبعاد وجود عددين مختلفين 0 و 9 و1. [...] لذلك نرى أنه في التعريف التقليدي للأعداد الحقيقية، فإن المعادلة 0.9 = 1 مضمنة في البداية."
  37. غريفيثس وهيلتون (1970) ، ص 386، §24.2 "التسلسلات".
  38. غريفيثس وهيلتون (1970) ، ص 388، 393.
  39. غريفيثس وهيلتون (1970) ، ص 395.
  40. غريفيثس وهيلتون (1970) ، ص. 8، 395.
  41. جاورز (2001) .
  42. لي (2011) .
  43. أرتيغ (2002) ، ص 212، "... يُعرف ترتيب الأعداد الحقيقية بأنه ترتيب كثيف. ومع ذلك، اعتمادًا على السياق، يمكن للطلاب التوفيق بين هذه الخاصية ووجود أعداد قبل أو بعد عدد معين (0.999... غالبًا ما يُنظر إليه على أنه سابق للعدد 1).".
  44. ^ بيتكوفشيك (1990) ، ص. 408.
  45. ^ بروتر وموري (1991) ، ص. 503؛ بارتل وشيربرت (1982) ، ص. 61.
  46. ^ كومورنيك ولوريتي (1998) ، ص. 636.
  47. ^ كيمبنر (1936) ، ص. 611؛ بيتكوفشيك (1990) ، ص. 409.
  48. ^ بيتكوفشيك (1990) ، ص 410-411.
  49. جودوين (1802) ؛ ديكسون (1919) ، ص 161.
  50. ليفيت (1984) ، ص 301.
  51. جينسبيرج (2004) ، ص 26-30؛ لويتس (2006) ، ص 1-3؛ ليفيت (1967) ، ص 669، 673؛ شريدر-فريشيت (1978) ، ص 96-98.
  52. ^ بوغ (2002) ، ص. 97؛ أليجود، سوير ويورك (1996) ، الصفحات من 150 إلى 152؛ بروتر وموري (1991) ، ص. 507؛ بيدريك (1994) ، ص. 29.
  53. رودين (1976) ، ص 50؛ بو (2002) ، ص 98.
  54. Tall & Schwarzenberger (1978) ، ص 6-7؛ Tall (2000) ، ص 221.
  55. تال وشوارزنبرغر (1978) ، ص.  تال (2000) ، ص. 221.
  56. طويل (1976) ، ص 10-14.
  57. بينتو وتال (2001) ، ص.  إدواردز وورد (2004) ، ص. 416-417.
  58. ^ مازور (2005) ، ص 137 – 141.
  59. دوبينسكي وآخرون (2005) ، ص 261-262.
  60. ريتشمان (1999) ، ص 396.
  61. دي فريوت (1994) .
  62. آدامز (2003) .
  63. إلينبيرغ (2014) .
  64. ^ رينتيلن ودوندز (2005) ، ص. 27.
  65. ريتشمان (1999) ؛ آدامز (2003) ؛ إلينبيرغ (2014) .
  66. والاس (2003) ، ص 51؛ ماور (1987) ، ص 17.
  67. جاورز (2002) ، ص 60.
  68. ^ لايتستون (1972) ، ص 245-247.
  69. ^ تاو (2012) ، ص 156-180.
  70. كاتز وكاتز (2010أ) .
  71. كاتز وكاتز (2010ب) ؛ إيلي (2010) .
  72. كونواي (2001) ، الصفحات 3-5، 12-13، 24-27.
  73. ريتشمان (1999) ، ص 397-399.
  74. غاردينر (2003) ، ص 98؛ غاورز (2002) ، ص 60.
  75. ^ ماسكاري وميولا (1988) ، ص. 83 84 . 
  76. 1 2 Fjelstad (1995) ، ص. 11.
  77. ^ فجيلستاد (1995) ، ص 14-15.
  78. دي سوا (1960) ، ص 901.
  79. ^ ديسوا (1960) ، ص. 902 903.

مصادر

للمزيد من القراءة