Professional Documents
Culture Documents
ضبط الرياضيات 2022
ضبط الرياضيات 2022
اإ
يإ
الثان إ
أخيإالقارئ،إنقدمإإليكإالصدارإالثانيإمنإكتابإضبطإالرياضياتإ(سلسلةإحدثنيإياإأستاذ)إ .إ
هذاإالكتابإهوإمجموعةإمنإالمقاالتإتمثلإحصيلةإعملإلسنواتإفيإمجموعةإابنإالبناإالمراكشيإالمتواجدةإعلىإ
موقعإالفيسبوك،إفيإشرحإالرياضياتإوإماإيدورإحولها،إنرجواإمنإهللاإعزإوجلإأنإيكونإخالصاإلوجههإوإأنإيإنفعإ
بهإالسالمإوإالمسلمينإ .إ
إنإهذاإالكتابإالإيتبعإالطريقةإالتقليدي ةإفيإسردإالنظرياتإوإالمبرهناتإوإطرحإالتمارين،إإنماإالغرضإمنهإملئإفراغإ
موجودإحالياإفيإالمكتبةإالعربيةإإذإهوإيهتمإبشرحإالمفاهيمإالرياضياتية،إمماإصنعتإوإلماإصنعتإوإيربطهاإبالعقلإ
البشريإوإبماإحولإناإمنإالكونإ .إ
بالنسبةإللترميزاتإالرياضياتيةإفهذاإالكتابإيتبعإاالصطالحإالمتعارفإعليهإبكتابتهاإمنإاليسارإإلىإاليمينإ .إ
إ
التعريف بمجموعة ابن البناء المراكشي لضبط الرياضيات والبحث العلمي
تإ
مجموعةإإخيريةإ تنشطإ علىإإموقعإ الفاسبوكإإافتتحتإ بتاريخإإ)(3/10/2018إإتهدفإ إلىإ إحياءإإوضبطإ الرياضيا إ
باللغ إةإالعربيةإعنإطريق :إ
-نشرإوتبسيطإمفاهيمهاإباللغةإالعربيةإحتىإيتعلمإالمشاركونإمصطلحاتهاإوتحريرهاإبلغتنا .
-تبسيطإالمفاهيمإالرياضياتيةإالمكتشفةإمنإالغربإفيإاألربعةإالقرونإاألخيرةإوشرحإطرقإصناعتهاإوتاريخهاإباللغةإ
العربية.
-ضبطإالصناعةإالرياضياتيةإوتدريبإالمشتغلينإبذلكإعليها
فمشروعإمجموعتناإيهدفإإلىإتكوينإالعقولإالرياضياتيةإوجاءإليمألإفراغاإفيإالشبكةإعموماإ والمجموعاتإخصوصاإ
ألنإالمراجعإوالمجموعاتإالتيإتشرحإالمفاهيمإالرياضياتيةإبالعربيةإناذرةإجداإإنإلمإنقلإشبهإمنعدمة.
هللاإإعزإ وجلإإأنإ الإ يكتفيإ المشاركونإ بتعلمإ الرياضياتإ فقطإ بلإ يتعلمونإ الضبطإ فيإ جميعإ
الذيإ نأملهإ بمشيئةإ إ
أنإينشروا إماإيتعلمونهإهناإويحملونإالمشعلإغذاإبفتحإمجموعاتإأخرىإمثيلةإلمجموعتناإبلإسنفرحإإنإ
إ الميادينإ و
فتحتإمجموعاتإأخرىإتضبطإالرياضياتإوتنشرهاإباللغةإالعربيةإفندعواإمنإاستطاعإلذلكإكمإا إندعواإالجميعإإلىإ
اصالحإنياتهمإوافادةإغيرهمإبماإاستفادوهإهنا.
إ
إ
ال تنسى اخي الكريم االخ عبدالحكيم ومن قام بإعداد وتنسيق هذا الكتاب ومشرفي المجموعة من صالح دعائك
تأليف:إعبدالحكيمإبنإشعبان إة إ
ج
إعدادإوتنسيق:إعباسإخضرإفرإ
إ
إ
إ
إ
الصفحــة الموضــــــــــــــــــــــوع
7 تمهيد 1إ
8 نظرية األعداد 2إ
10 نظرية المجموعات 3إ
12 المنطق وطرق البرهنة 4إ
14 الجبر 5إ
15 هندسة إقليدس 6إ
التحليل :الدوال ،النهايات ،االستمرار، 7إ
16
االشتقاق ،تكامل ريمان إ
18 الطبولوجيا والهندسة التفاضلية 8إ
20 نظرية القياس والمكاملة 9إ
21 االحتماالت 10إ
22 تاريخ الرياضيات 11إ
23 ضبط الرياضيات 12إ
25 طرق التدريس 13إ
27 الرياضيات التطبيقية 14إ
30 مقدمة
31 افتتاحي إة
37 ابنإالبناءإالمراكشيإ..إمرجعإأوروباإفيإالجبر
46 العبقريةإالعربيةإالسالميةإفيإالترميزإالرياضيإ:إعندماإتصبحإالرياضياتإ
خوارزمياتإعقلي إة
47 متفرقاتإفيإالرياضياتإوفلسفتهإا
49 الرياضياتإقائمةإعلىإطريقةإفهمإالبشرإللواقعإ
50 عندماإتصبحإالرياضياتإقاطرةإالعلومإ...إماإلمإينتبهإإليهإالمشتغلونإعندناإ
ت
بالرياضيا إ
52 ت
الرياضيات مبنيةإعلىإالمجموعا إ
53 الرياضياتإباختصا إر
54 ي
ماإهوإالضبطإالرياضيات إ
58 مجموعةإبورباكيإ:إماإلهاإوماإعليهإا
61 إلىإكلإمنإانتسبإإلىإعلمإمنإالمسلمين
121 لنضبط الرياضيات معا :العددπ 67 يا أستاذ حدثني عن المجموعة
130 األعداد بشكل مبسط :التكرار والتوجيه 76 يا أستاذ حدثني عن األعداد األولية
لنصنع مجموعة األعداد المركبة بطريقة يا أستاذ حدثني عن األعداد الناطقة ؟ ما
149 87
مختلفة هي ولماذا تكتب بعدد فوق عدد ؟
يا أستاذ :ما عالقة التمثيل الهندسي لنضبط الحدس الرياضي معا :السلسلة
151 93
لألعداد العقدية بالدالة األسية ؟ المتناسقة
الكتابة الرياضياتية :من العدد إلى بين األعداد المتسامية واألعداد الحقيقية
165 110
الترميز والمتغير والمجهول الجبرية غير الناطقة
296 برهان ثان لمبرهنة كنتور برنشتاين 201 الترتيب الجيد واإلستغراق
297 برهان ثالث لمبرهنة كنتور برنشتاين 202 يا أستاذ حدثني عن عالقة الترتيب
مسلمة االختيار ،مبرهنة زارميلو :لماذا نلجأ
البراهين الثالثة لمبرهنة كنتور لمثل هذا ؟ ولماذا يرفضها أصحاب المنطق
299 206
برنشتاين في ملف واحد الحدسي ,هل هذه خالفات فلسفية أو صناعة
لحضارة الغد ؟
عندما تتساوى قدرة مجموعة األعداد يا أستاذ حدثني عن مسلمة االختيار ،مبرهنة
306 الحقيقية مع قدرة مجموعة مجموعات 209 زارملو ،توطئة زورن :ماذا تخبرنا هذه
أجزاء مجموعة األعداد الطبيعية الثالث ؟
شرح و برهنة تكافؤ مسلمة االختيار مع
309 لننظر إلى المعادالت بطريقة مختلفة 213
مبرهنة زارملو و توطئة زورن
توطئة اإلنقسام الثالثي في المقارنة بين نضبط الرياضيات معا :أين تختبئ مسلمة
314 242
المجموعات االختيار
370 خطأ شائع في البرهان التراجع 344 النظرة المجموعاتية لالستلزام ومشاكلها
تعميم البرهان بالتراجع على مجموعات المنطق كأنك تراه :هل كل استدالل صحيح
372 350
كيفية منها المجموعات غير القابلة للعد ينتج قضية صحيحة ؟
حدثني يا أستاذ :لماذا الجداء السلمي يا أيها الكثير حدود ذو الدرجة الفردية
414 390
عددي والشعاعي شعاعي وكالهما ... لماذا تقبل جذرا
الشعاع مفهومه وتعريفه :من هندسة الصفر ،النقطة الشاذة في الحلقة :لماذا ال
415 391
إقليدس إلى فضاء هلبرت يقبل الصفر مقلوبا
498 طول منحنى دالة 444 الدالة األسية بين الترميز والحسابات الجبرية
لنضبط الرياضيات معا :مبرهنة القيم
المتوسطة ،االستمرار ،دوال داربو ... عالقة أولر :األسية بين المفهوم الجبري للعدد i
499 لننظر للمبرهنة بشكل مختلف عن 445
والمفهوم التحليلي للعددπ
المعتاد
كيف تفسر وجود دوال تحقق خاصية
501 مبرهنة القيم المتوسطة رغم أنها غير 446 الدالة األسية :تعميم تحليلي لخاصية جبرية
مستمرة
وجود تكامل ريمان ال يعني وجود من مبرهنة القيم المتوسطة ونحو مبرهنة
524 الدالة االصلية 464 التزايدات المنتهية
االستمرارإليسإبشرطإفيإدالةإلوجودإ
525 465 التقريب ،التقريب التآلفي
دالةإأصليةإلها
586 بين نظيم الدالة ونظيم شعاع 559 اإلبسيلون المظلوم في فهمه (نسخة (2
592 المشاغب :ما هو الجبر الباناخي 565 الماالنهاية العددية :بين الجبر والطبولوجيا
595 يا أستاذ حدثني عن المنوعات التفاضلية 569 ما العالقة بين النظيم والمسافة
نظرة تاريخة ألسباب ظهور تكامل مدخل إلى القياس :برهان عدم قابلية
631 602
لوبيغ العد لمجموعة األعداد الحقيقية بالتراجع
643 وماذاإلوإكانتإكلإهذهإالحساباتإمجردإنظرةإبشريةإللكونإ؟
703 المشاغب والترجمة 654 الرياضيات تفكير سليم بتجريد أفكار بسيطة
706 الكتابة العشرية النظيفة وغير النظيفة 656 ميراث نيكوال بورباكي في الرياضيات
720 بين المعرفة الرياضية والمعرفة الواقعية 660 الرياضيات بين الضبط والتحريف
ما الفرق بين الثابت و المتغير و قيمة لنضبط الرياضيات معا :هل هذه المعادلة تقبل
724 668
من قيمه والمجهول والوسيط حال في مجموعة ما
لنضبط الرياضيات معا :عندما ال يفرق رحلة ألف قرن وقرن في البحث عن المثالية
725 669
التلميذ بين عبارة الدالة والدالة البشرية في الصفر المتناهي في الصغر
لنضبط الرياضيات معا :مسألة اليمين كيف تتخلص الرياضيات من الذوق البشري :
726 671
واليسار في R اإلبسيلون نموذجا
لنضبط الرياضيات معا :كيف نحرر من األخطاء الشائعة :حمل المصطلحات
744 696
برهانا عن طريق مثال تطبيقي العلمية على معاني ألفاظها اللغوية
ماذا لو كانت الماالنهاية مجرد جهلنا بين المعنى اللغوي والعرفي واإلصطالحي :
746 697
بالمنتهي اإلبسيلون نموذجا
747 كيف أصبح قويا في الرياضيات 698 الفرق بين الكتابة الرياضية والكتابة اللغوية
780 التلميذ بين التشويه والتجريد 755 الدوال العددية في المناهج التدريسية
ربط إستمرارية الدالة بالمنحنى خطأ المشاغب المجنون :نحن نعلم وأنت ال
781 756
رياضيا تعلم
784 لماذا نحفظ جدول الضرب 762 قلة الضبط مشكل ثقافي
ما ال تذكره مذكرة األستاذ :الربط عندما يقيس النحويون ...يا استاذ ال
785 763
بين المعارف تتوقف عن المطالعة
وقفت أمام تالمذتك تشرح لهم درسا، عندما يتحول األستاذ إلى عامل في
788 764
فكيف تريهم حالوة الرياضيات الماكدونالد
الحاجة أم اإلختراع إنما التطور وليد بين الخبز والفرماج (الجبن) :التدريس
794 772
المستحيل األكاديمي والتدريس اإلبداعي
التعليم بين جمود الموروث الفكري هل يحب إعادة بربكة الرياضيات
795 773
للكبار وحب االستفسار للصغار المدرسية
المشاغب و القط المتشغشبرودنجر :ما من الظواهر الكونية نحو فضاء الدوال
838 ال تعرفه عن اإلبسيلون ،الحتمية، 810 الحقيقية
الزمن ومشكلة اختفاء المعلومة
إ
تمهيإد
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
1مجموع من مصدرين:
http://www.mawhopon.net/?p=4293
http://scientific.ma/%D8%A7%D8%A8%D9%86-%D8%A7%D9%84%D8...
إ
الماالنهاية:
هماإنوعانإإ :إ
إالماالنهايةإالعدديةإ وهيإعدمإمقدرةإحدإعناصرإالمتتاليةإإالإلعددإمنتهإمنها.
والماالنهايةإالمجموعاتيةإ وهيإعدمإمقدرةإمقابلةإالمجموعةإلعددإمنتهإمنإالعناصرإالطبيعيةإوهيإمراتب،إإذنإ
مفهومإالماالنها يةإمنبعثإمنإعدمإمقدرتناإعلىإالحاطةإبكمإعناصرإمجموع إة
من هو الرياضياتي ؟
كلإمختصإفيإعلمإيشترطإفيهإمعرفةإمضمونهإعلماإوتطبيقا،إوالرياضياتإالإتختلفإعنإغيرهاإمنإالعلوم،
فالرياضياتيإ هوإ العارفإ بمضمونإ الرياضياتإ تعاريفاإ وضبطا،إإأيإ عالمإ بمحتواهاإ منإ نظريةإ المجموعاتإ
البنىإالجبريةإإلىإالطبولوجياإوالقياسإوغيرهاإمنإالفروعإبإضافةإكونهإقادراإعلىإتطبيقهاإوالمقصودإبالتطبيقإ
إ و
البرهنةإالمنطقيةإباستعمالإالمبرهناتإالرياضية،إوالرياضياتإكغيرهاإمنإالعلومإأصحابهاإيصنفونإلدرجات.
فأدنىإالدرجاتإمعرفةإالمشتهرإمنهاإمعإالتطبيق.
ثمإيأتيإالختصاصإكالمختصإفيإالهندسةإالتفاضليةإمثالإوهذاإيعرفإغيرإالمشتهرإمنها.
والدرجةإالثانيةإهيإدرجةإالمنتجإوهوإالذيإيفوقإدرجةإاالستعمالإإلرإدرجةإاالنتاجإكصناعةإمبرهناتإجديدةإ
وهذاإالذيإبطلبإمنإالباحثين.
والدرجةإالثالثةإ وهيإالعلياإ وهؤالءإ يجددونإفيفتحونإفروعاإ جديدةإ كريمانإ وهلبرت إوغودلإوغيرهم ،إالمشكلإ
الموجودإاليومإأنهإفيإاألصلإكلإمتخرجإمنإالجامعةإبعدإأربعإأو خمسإسنواتإالبدإأنإيكونإفيإالدرجةإ
تإ
األولىإلذلكإكانإقبالإيعطىإلكنإيدرسإثالثإسنواتإشهادةإليسانسإوهيإمتخرجإأماإأربعإسنوا إ
إفشهادة Maîtriseوهوإالمتمكن.
لكنإ اليومإ ألسبابإ عديدةإ أصبحإإالمتخرجونإ الإ يعتبرونإ منإ أصحابإ الدرجةإ األولىإ ألنهمإ الإ يضبطونإ
الضروريإمنإالرياضيات.
وعموماإالشهاداتإاليومإلمإيعدإلهاإمعنىإالنهاإأصبحتإموجهةإللعملإأكثرإمنهاإللعلم .
إ
إ
إ
إ
البرهنة والتفسير
ياإأستاذإالإتخلطإبينإالبرهنةإ والتفسير إأماإالبرهنةإفهيإمجموعةإخطواتإاستدالليةإمنطقيةإمرتبطةإللوصولإ
إلىإالنتيجةإأماإالتفسيرإفهوإشرحإسببإاختياركإلهذهإالخطواتإدونإغيرهاإومناسبتهاإللمطلوب ...إ
إالبرهنةإجوابإكيفإ؟إوالتفسيرإجوابإلماذاإ إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
1 −
10
9
(0.999.... = 9 10
) −n
= lim = 1
10 1
1 −
10
kurt gödel
david hilbert
نظريةإاألعداد
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
-1تعريفإالقيمةإالمطلق إة
ببحثإسريعإفيإالمراجعإعنإتعريفإالقيمةإالمطلقةإنجإد:
منإأجلإكلإعددإحقيقي xنعرفإالقيمةإالمطلقةإلهإوالتيإنرمزإلهاإبـ | |xكالتالي:
|x| = x , x > 0
|x| = -x , x < 0
|x| = 0 , x = 0
ويمكنإأنإنالحظإمباشرةإأنهاإدالةإحقيقيةإمن Rنحو R+إهناكإمنإيجمعإحالةإالصفرإمعإالحالةإالموجبةإ
تماماإوهناكإمنإيصيغإالتعريفإبشكلإآخر ) |x| = max(x,-xوالذيإيعودإكذلكإللترتيبإبالشارة.
-2المفهومإ الحدسيإ لل قيمةإ المطلقةإ فيإ ظلإ السياقإ التاريخيإ لتطورهاإ معإ نظرةإ تاريخيةإ سريعةإ لمفهومإ
ي
القيمةإالمطلقةإعندإكوش إ
منإحيثإالسياقإالتاريخيإظهورإالقيمةإالمطلقةإكتعريفإمتأخرإجداإ(أقلإمنإقرنإونصف)إرغمإأنإالمفهومإ
كانإموجوداإحدسياإلكنهإمرتبطإباألعدادإالموجبةإوالسالبةإولذلكإيجبإعليناإطرحإالسؤالإالتالي:
القيمةإالمطلقةإهلإهيإعمليةإحسابيةإأمإخاصيةإعدديةإ؟
هلإهيإمسافةإ؟
-6التعميماتإالممكنةإلمفهومإالقيمةإالمطلق إة
لفهمإالتعميمإلمبدأإبهذهإاألمثلة،إفماإالفرقإبي إ
ن
5 . 5 = 25
5 . 5 = 25
5 . 5 = 25
إذاإعلمناإأنإاألولىإخمسإقطعاتإمستقيمةإطولهاإخمسةإ والثانيةإمربعإضلعهإخمسةإ والثالثةإشعاعإطويلتهإ
خمسةإإ؟
إنإ كانتإالعملياتإالجبريةإتسهلإالحساباتإهناإوتعطيهاإ نفسإالصبغةإفإنهاإتخفيإالمفاهيمإاألخرىإ ألنهاإ
تجريدإلعمليةإالبناءإوالتفكيك.
فعندماإنكتبإخمسإقطعإمستقيمةإطولإكلإمنهاإخمسةإفالعملية 5 . 5 = 25
وإنإكانإفيهاإخمسةإمرتينإفكلإمنإالخمسةإلها إ مفهومهاإلكنإتبقيإالقيمةإالمطلقةإهناإمنإحيثإالخاصيةإ
محققةإفطولإالقطعةإهوإخمسةإوكميةإالتكرارإخمسةإهيإخمسةإفخمسةإضربإخمسةإهيإخمسإوعشرينإ
أيإإإ| |5 . 5| = |5| . |5إ
لكنإ الثانيةإ أصعبإ فهيإ انتقالإ منإ الطولإ للمساحةإ بحسابإ مساحةإ مربعإ طولإ ضلعهإ خمسةإ فهلإ يوجدإ
معنىإلكتابةإإ| |5 . 5| = |5| . |5إ
الجوابإ وإنإ كانتإ العمليةإ رياضياإ صحيحةإ لكنهاإ الإ تعبرإ عنإ المفهومإ الواقعيإ إذاإ أردناإ الرجوعإ للكائناتإ
األصليةإفكيفإنمرإمنإطولإلمساحةإإ؟
حسابياإنمرإبالجداءإالشعاعيإأيإنمثلإكلإمنإضلعيإالمربعإبشعاع uو vونحسب
||u × v||= ||u||. ||v||= 5 . 5 = 25
هناإسنالحظإاالختالفإبينإعمليتيإالضربإإ× . ,
والعمليةإالثالثةإهيإجداءإسلميإأيإإإإ||u . u ||= ||u||. ||u||= ||u||² = 25
وهذهإمهمةإجداإإذإتخبرناإأنهإيمكنإالمرورإمنإالجداءإالسلميإإلىإالطويلة.
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
تنبيه
البرهانإبالتراجعإنتأكدإمنإصحةإP0إوصحةإاالستلزامإإ Pn ⇒ Pn+1إ
والإيوجدإفيهإنفرضإصحةإإPnإإنماإهيإصحةإاالستلزامإالسابق .إ
الذيإيفرضإصحةإPnإفقدإفرضإصحةإ Pn+1ألنإالمتغيرإالإيهمإلذلكإالإنفرضإهذاإإنماإنبرهنإصحةإ
االستلزامإ)P(n) ⇒ P(n+1
إ
ن
األ مرإسهلإيكفيإإستعمالإالقيمةإالمطلقةإفنحنإنعلمإأ إ
∫[a,x] - |f '(x)| dx f(x) - f(a) = ∫[a,x] f '(x) dx ∫[a,x] |f '(x)| dx
ونحنإنعلمإأنهإيمكنناإكتابةإأيإقيمةإحقيقيةإكجمعإبينإقيمةإموجبةإوقيمةإسالبة إنطالقاإمنإالقيمةإالمطلقة
b = (|b| + b)/2 - (|b| - b)/2
إذاإ تنبهناإلذلكإتنبهناإإلىإأنإتكاملناإالسابقإيمكنإفصلهإلتكاملإدالةإموجبةإوتكاملإدالةإسالبة.
= f(x) - f(a) = ∫[a,x] f '(x) dx
∫[a,x] ( |f '(x)| +|f '(x)|)/2 dx - ∫[a,x] ( |f '(x)| - |f '(x)|)/2 dx
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
Leonhard Euler
مجموعة إبن البناء المراكشي لضبط
445 الرياضيات والبحث العلمي
الدالة األسية :تعميم تحليلي لخاصية جبرية.
للدالةإ األسيةإ تعريفاتإ كثيرة،إ لعلإ أفضلهاإ عنديإ هوإ تعريفهاإ بخاصيتيهاإ الجبريةإ والتحليليةإ وهيإ التماثلإ
التفاضليإبينإالزمرةإالجمعيةإ) (R,+إوالزمرةإالضربي إةإ)* (R+* ,
أيإهيإالدالةإالحقيقيةإغيرإالتافهةإالقابلةإلإلشتقاقإوالتيإتحققإالخاصيةإ) f(x+y) = f(x).f(yإ
هذاإالتعريفإ يبينإأنإالدالةإاألسيةإ تجمعإبينإالبنيةإالجبريةإ والبنيةإالتحليليةإ بلإهيإظاهرةإ تحليلإيةإللحقلإ
الحقيقيإالجبريإإ Rإ.
الدالةإ األسيةإ تمثلإ تعميماإ تحليلياإ لخاصيةإ القوةإ الجبريةإ لكنهاإ نفسهاإ ليستإ معرفةإ كقوةإ كماإ يظنإ البعضإ
فالترميزإ e^xإ
مجردإترميزإمعرفإبطريقةإتحليليةإكماإسبقإذكرهإ والإيمثلإرفعإقوة إبـ xللعدد eذلكإأنإهذاإغيرإممكنإ
جبرياإ فخاصيةإ القوةإ المعرفةإ جبرياإ تتوقفإ عندإ القوىإ الناطقةإ وأيإ مرورإ للقوىإ الحقيقيةإ يتطلبإ استعمالإ
النهايات.
كونإ الدالةإ األس يةإ تعميمإ لخاصيةإ القوةإ الجبريةإ جعلهاإ تحافظإ علىإ الكثيرإ منإ خصائصهإ كتحويلإ الجمعإ
للضربإوإقوتهاإمقابلإكثيراتإالحدودإفيإجوارإزائدإماالنهاية.
لرؤيةإالخاصيةإاألخيرةإسنلجأإلتأملإنظيرةإالدالةإاألسيةإفيإالمتتالياتإوهيإالمتتاليةإالهندسية.
فلوإأخدناإعدداإحقيقيا Aأكبرإ إمنإ1
A>1
ونظرناإلمجموعإمتتاليتهإالهندسيةإمنإ0إإلى nفسنجد
)1 + A0 + ... + A(n-1) = (An - 1)/(A - 1
فنالحظإمنإهذهإالصيغةإوكأنإالقوة nتعادلإمجموعإالقوىإالتيإقبلها.
وبماإأنناإنعلمإأن
Ak > 1 , k > 0
فسنستنتجإأنهإمنإأجل nأكبرإمنإ:1
(An - 1)/(A - 1) = 1 + A0 + ... + A(n-1) > 1 + 1 + ... + 1 = n
ومنه
An > (A-1) n + 1
فنالحظإأنإالمتتاليةإالهندسيةإأكبرإمنإكثيرإحدودإمنإالدرجةإاألوليإنرمزإلهإبـإP1
)An > P1(n
لوإرفعناإالطرفينإلقوةإطبيعيةإغيرإمعدومة mفسنجإد
)A^(m n) > (P1(n))^m = Pm(n
فالطرفإاأليمنإيمكنإاعتبارهإكثيرإحدودإمنإالدرجة mنرمزإلهإبـإPm
يكفيإهناإاعتبار n mكمتغيرإجديدإولنسمه kلنجد ) Ak > Pm(k/mإ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
وهوإ التعريفإ الذيإ تبنتهإ مجموعةإ بورباكيإ وهذهإ السلسلةإ هيإ المستعملةإ فيإ برهنةإ مبرهنةإ كوشيإ ليبشيتزإ
القادمةإالذكر.
التعريفإالثالثإينطلقإمنإنهايةإمتتاليةإ(1+x/n)n
وهوإتعريفإتاريخيإقليلإاالستعمالإألنهإالإيظهرإالخواصإالتحليليةإلألسية.
التعريفإالرابعإينطلقإمنإحلإمعادلةإتفاضليةإy'=y , y(0)=1
وهوإيعتمدإعلىإمبرهنةإكوشيإليبشيتزإفيإالمعادالتإالتفاضلية.
https://fr.m.wikipedia.org/wiki/Probl%C3%A8me_de_Cauchy
https://fr.m.wikipedia.org/.../Th%C3%A9or%C3%A8me_de...
التعريفإالخامسإينطلقإمنإخاصيةإتحويلإالجمعإلضربإبدالةإمستمرإة
f(x+y)=f(x) . f(y) , f(1) =e
https://fr.m.wikipedia.org/wiki/Fonction_exponentielle
إ
إ
= 1/2
أيإشرطإكوشيإليسإمحققاإفيكفيإأخذ ξ < 1/2لنجدإاستحالةإتحقق
1/2 |Hn - Hm| < ξ < 1/2
فنستنتجإأنإالمتتالية Hnغيرإمتقاربةإأيإهيإمتباعدةإوكونهاإمتباعدةإومتزايدةإيمكنناإمنإكتابة
∞Lim Hn = +
الطريقةإالثانيةإ باستعمالإمبرهنةإالتزايداتإالمنتهيةإفنحنإنعلمإأنإمشتقإالدالةإاللوغارتميةإهوإمقلوب xومن إه
∀ k ∈ N* : ln(k+1) - ln(k) = [(k+1) - k] 1/c(k) , k < c(k) < k+1
بماإأنإ k < c(k) < k+1إنستنتجإأنإ1/(k+1) < 1/c(k) < 1/kإومنهإ إ
لديناإإ ∀ k ∈ N* : 1/(k +1) < ln(k+1) - ln(k) < 1/kإإذنإيمكنناإأنإنكتب إ
1/2 < ln(2) - ln(1) < 1/1
1/3 < ln(3) - ln(2) < 1/2
1/4 < ln(4) - ln(3) < 1/3
....
1/(n+1) < ln(n+1) - ln(n) < 1/n
بالجمعإواالختصارإنجدإH(n+1) - 1< ln(n+1) - ln(1) < Hn
أيإ Hn - 1 + 1/(n+1) < ln(n+1) < H nإكونإإ) Hn > ln(n+1إيمكنناإمنإاستخدامإالحصر إ
كونإاللوغارتمإيؤولإللماالنهايةإلكتابة إ∞ Lim Hn = +إ ومنهإالسلسلةإمتباعدةإبلإلديناإمنإالمتراجحةإ
السابقة:إ [Hn - 1 + 1/(n+1) ]/Hn < ln(n+1)/Hn < 1إومن إه إ
lim [Hn - 1 + 1/(n+1) ]/Hn = 1 lim ln(n+1)/Hn 1
أي lim ln(n+1)/Hn = 1 = lim ln(n)/Hnفيإالحقيقة إ Lim Hn - ln(n) = Ɣإيسمىإهذاإ
الثابتإبثابتإ Euler-Mascheroniإ
الطريقةإالثالثةإبمجاميعإريمانإعنإطريقإكتابةإ إمجاميعإريمانإلتكامل lnمنإالصفرإللواحدإتعطيناإالسلسلة
Hn
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
ت
1إللفائدة :إتاربخإالنهايا إ
http://mathematiques.ac-bordeaux.fr/.../evolution_notion...
إ
= 1/2
أيإشرطإكوشيإليسإمحققاإفيكفيإأخذإ ξ < 1/2إلنجدإاستحالةإتحقق
1/2 |Un - Um| < ξ < 1/2
فنستنتجإأنإالمتتاليةإ إ Un = ∑ 1/nإ غيرإمتقاربةإأيإهيإ متباعدةإوكونهاإ متباعدةإومتزايدةإيمكنناإ منإ
كتابةإإ∞ Lim Un = +إوهذاإتباعدإألنهاإالإتقتربإلعددإفي Rإ.
نعودإلسؤالناإالسابقإهلإكلإمتتاليةإكوشيةإهيإمتتاليةإمتقاربةإ؟
الجوابإحسبإالفضاءإالطبولوجيإوهوإمتريإفيإحالتناإألنناإنستعملإمفهومإالمسافةإفمثالإلوإأخذناإالمتتاليةإ
الناطقةإ Un = (1+1/n)nإفنحنإنعلمإأنإLim Un = e
فهيإمتقاربةإفي Rإذنإهيإكوشية.
لكن eليسإمنإمجموعةإاألعدادإالناطقة Qفالمتتالية Unكوشيةإلكنإغيرإمتقاربةإفيإ Qإ.
سببإذلكإأن Qفضاءإ غيرإ تامإ والفضاءإالمتريإالتامإهوإالذيإ تكونإفيهإ كلإمتتاليةإكوشيةإهيإ متتاليةإ
متقاربة.
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
Georg Cantor
Karl Weierstrass
مجموعة إبن البناء المراكشي لضبط
652 الرياضيات والبحث العلمي
تإ
ضبطإالرياضيا إ
إ
إ
إ
السؤالإكماإهوإمطروحإخاطئإألنإالصيغةإالإتكونإمعادلةإإالإفيإمجموعةإكماإأنإهذهإالصيغةإجبريةإفهيإ
تحتاجإلبنيةإحلقةإمزودةإبالجمعإوالضرب.
فيلزمإهناإتعريفإالمجموعةإمعإبنيتهاإالجبريةإثمإتعريفإدالةإالجذرإالتربيعيإعليها.
إذاإعملناإعلى Rو Cهذهإالصيغةإالإتقبلإحالإألنهاإتعودإلإ x = 1إوالجذرإالتربيعيإلإ1إهوإ1إفهوإال إ
يحققإالمطلوب .إ
وحتىإمعإتمديدإدالةإالجذرإالتربيعيإالعقديةإفلنإيتغيرإاألمرإبسببإالعملياتإالجبرية.
https://fr.m.wikipedia.org/.../Racine_d%27un_nombre_complexe
لكنإهناكإبنىإجبريةإأينإيمكنإتعريفإدالةإالجذرإالتربيعيإلتوافقإالمألوفإفيإالبنيةإالحقيقيةإمعإقبولإهذهإ
المعادلةإحالإفيها.
مثالإذلك دائرةإطولهاإ2إمزودةإبنقطةإبدايةإكصفرإوإبجمعإوضربإأقيسةإاألقواسإمعإالدورإ2إ.
ففيإهذهإالحلقةإ 1+1=0إوإ 1.5 + 1.5 = 1إ
ويمكنإتعريفإدالةإالجذرإالتربيعيإكالجذرإالتربيعيإالحقيقيإلطولإالقوسإفهوإيوافق دالةإالجذرإالتربيعيإ
علىإالمجالإ[ [0,2فمتىإكانإذلكإكانإجذرإ1إهوإ1إوإ0= 1+1إفهذاإحلإللمعادلة .إ
إ كخالصةإكيفماإكانتإالبنيةإالجبريةإفهناإنالحظإأنإ√x+1=0إتعودإلكونإإ √x = -1وإx = 1
أيإأنإنظيرإ1إهوإأحدإجذورهإوهذاإمحققإفيإأيإبنيةإجبريةإفيهاإ 1 = -1كإ Z/2Zإمثال .إ
لكنإضربناإالمثالإبالدائرةإلتوافقإدالةإالجذرإالتربيعيإالمقترحةإالدالةإالمألوفةإعلىإ[. [0,2
إ
إ
إ
ومنإاألخطاءإالتيإعرضهاإالبعضإفيإهذهإالمجموعةإعدمإتقبلإامكانيةإتعريفإالدالةإمنإمشتقتهاإإذإفي إ
ذهنإ المتصورإ يظنإ أنإ التعريفإ داخلإ مجموعةإ يمثلإ خلقإ كائنإ جديدإ لمإ يكنإ كائناإ رياضياإ مسبقاإ قبلإ
التعريفإوهذاإخطأ.
فتعريفإ كائنإ داخلإ مجموعةإ هوإ مجردإ تمييزإ لهإ عنإ غيرهإ منإ العناصرإ لكنإ الكائنإ موجودإ مسبقاإ النهإ
عنصرإفيإالمجموعةإفعندماإنطلبإحلإالمعادلةإالحقيقيةإx2 - 1 = 0
لبرهنةإالتكافؤإاألولإنبدأإبأحدإاالستلزامينإفالطريقةإالغالبةإفيإبرهنةإالتكافؤاتإهيإبرهنةإكلإاستلزامإعلىإ
حدىإلكنهاإليستإالوحيدةإفأحياناإيمكنناإبرهنةإالتكافؤإمباشرة.
إذاإننطلقإمنإكونإ fمتباينإوالبدإأنإنصلإإلىإأنإ A ∪ B = Eإ :
حتىإنبينإأن A U B = Eفالبدإأنإنبينإأنإ∀ x A U B : x E
بماإ أنإ هذاإ مكممإ عموميإ وكلإ هذهإ مجاهيلإ فأفضلإ طريقةإ للبرهانإ هناإ هيإ استعمالإ البرهانإ بالخلفإ
فالبرهانإ بالخلفإ يحولإ المكممإ العموميإ إلىإ مكممإ وجوديإإوالتعاملإ معإ عنصرإ واحدإ موجودإ أسهلإ منإ
التعاملإمعإعددإغيرإمعروفإمنإالعناصر.
إذنإالبرهانإبالخلفإهناإيعنيإأنإنفرضإصحةإنفيإالقضيةإأنإA U B ≠ E
فنترجمهاإبالمكمماتإ،إأي:إإA U B ≠ E ⇔ ∃x : x ∈ E ∧ x ∉ A U B
وهذاإيعني:إإx ∉ A ∧ x ∉ B
اآلنإبعدإأنإكتبناإالمعطياتإوحددناإطريقتناإفيإالبرهنةإسنحررإالبرهانإوإذلكإباستعمالإكونإ fمتباي إ
نإ
إفلدينا:إ)f(X) = (X ∩ A , X ∩ B
البدإانإنبحثإعنإالتناقضإألنهإاخترناإالبرهانإبالخلفإوهناإكلإماإنملكهإهوإA , B , f , Eإوالعنصرإ xإ
فلذلكإ سنجربإ صناعةإ مثالإ يعطيناإ تناقضاإ والتناقضإ هناإ يكونإ بمثالإ يناقضإ كونإ fمتباينإ أيإ بصيغةإ
رياضيةإيجبإأنإنجدإعنصرينإمختلفين yو zبحيثإ)f(y) = f(z
فلنحاولإصناعة yو zبماإنمتلكه،إيمكنناإمثالإتجربة y = Aفهذاإمنإأبسطإماإعندنإا ولنستعمل xالسابقإ
لتكوينإمجوعةإجديدةإوهيإ} A ∪ {xإوهذاإابسطإماإنستطيعإتكوينهإبـإ xإ
كانإبامكانناإأنإنجربإكذلكإ} B ∪ {xإوإ} A ∪ B ∪ {xإوحتىإ y = إوإ}z ={x
لكنإأخذناإأسهلإماإخطرإعلىإالبالإفلنجربه.
إ
شيئانإغيرإمنتهيينإ:إالكونإوحماقةإالبشر،إلكنإبالنسبةإلماإيتعلقإبالكونإ
فماإزلتإلمإأكتسبإبعدإالقناعةإالكاملةإبذلك.إالبرتإاينشتاين
إ
إ
إ
إ
إ
إ
نعمإ هذهإ مشكلةإ منتشرة،إ عدمإ اتقانإ التالميذإ للعملياتإ الحسابيةإ حتىإ يقعواإ فيإ مثلإ هذهإ األخطاءإ في إ
االختزال.إالمشكلةإتحتاجإعالجاإلكنإالعالجإيبدأإبتشخيصإالمرضإوإذلكإبطرحإسؤالإعلىإالتلميذ:إلماذاإ؟إ
أغلبإالتالميذإ يتعلمونإالعملياتإالحس ابيةإ كخوارزميةإكتابيةإ تحفظ،إ الإكمراحلإلعملياتإجبريةإفأولإشيءإ
يجبإأنإيفهمهإالتلميذ:
أنإهذهإليستإخوارزمياتإكتابيةإفقطإبلإتقابلهاإعملياتإرياضيةإمعرفة.
أنإالخوارزمياتإالكتابيةإغيرإقياسيةإ وأنهإالإيوجدإقياسإبالتشبيهإفيإالرياضياتإإنماإالرياضياتإعلمإمنطقإ
وقضاياإإفكونإالكرةإمستديرةإمثلإالبطيخةإالإيعنيإأنهاإحمراءإمنإالداخل.
ولفهمإهاذينإاألمرينإيطرحإعلىإالتلميذإسؤال :لماذاإ؟إ
حتىإنضطرهإلتفسيرإطريقةإتفكيرهإفإنإقالإتعلمناإهكذاإفيعطىإمثاالإمضاداإلتحطيمإطريقةإتفكيرهإالخاطئة.
لكنإلماذاإالإنشرحإلهإمباشرةإطريقةإالحسابإ؟
الإ نفعلإذلكإألنهإالإيمكنكإترميمإجدارإمائلإبلإيجبإهدمهإثمإبناؤهإمنإجديد.
وعمليةإ الهدمإ تتمإ عبرإ مثالإ مضادإ بسبطإ يقومإ بهإإالتلميذإإفبعدإ أنإ يفسرإ لماذاإ فنخبرهإ لهإ أنإ طريقتهإ غيرإ
صحيحةإبداللةإالتعويضإفنطلبإمنهإالتعويضإبـإ2إفيإالطرفينإليجد:إإ(22+2+2)/(0+2) = 22
وهذاإيعنيإ8 = 4إوهذاإغيرإمعقولإفأينإالخطأإ؟
ثمإيقدمإإليهإمثالإصحيحإ(2x2)/x = 2 xإفبالتعويضإبـإ2إنحصلإعلىإ2 × 22 / 2 = 4
ثمإ يشرحإ سببإ صحةإهذاإوخطأإالسابقإ بالمرورإ منإالتخصيصإإلىإالتعميمإ عنإطريقإتقعيدإالقاعدةإأنإ
االختزال:
مجردإقسمةإللبسطإوالمقامإعلىإنفسإالقيمة
وإأنإا لقسمةإتطبقإعلىإجميعإأطرافإالجمعإوالطرحإالإبعضهاإألنهاإتمثلإعدداإواحداإيقسمإعليه
ألنإالقسمةإضربإفيإالنظيرإوالضربإتوزيعيإعلىإالجمع.
ثمإنمثلإلهإبحاالتإتصلحإوحاالتإالإتصلحإمنإالتعليلإبالقاعدةإالسابقة.
فمتىإقعدناإالقاعدةإوبيناإاألمثلةإنمرإمعهإللتطبيقإعبرإحاالت إ مختلفةإمعإطلبإاالختزالإومنإبينهاإحاالتإ
مشابهةإللحالةإاألولىإلنرىإهلإاستوعبإأوإالإ؟إونطلبإمنهإأنإيعللإكلإحل.
فمتىإنجحإفيإحلهاإوعللإالفرقإبينإالحاالتإفقدإاستوعبإالدرسإوهضمهإأيماإهضم .إ
إ
إ
إ
إ
إإ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إإ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
Henri Lebesgue
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إإ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ
إ