موسوعة البرهان
Kanalga Telegram’da o‘tish
هذه القناة تهتم بتوثيق إثباتات المبرهنات والنظريات الرياضية في عمل تعاوني يهدف لإنتاج عمل موسوعي يثري المحتوى العربي. للتواصل @faresalahd
Ko'proq ko'rsatish
Tarmoq:1 797
Obunachilar
Ma'lumot yo'q24 soatlar
-67 kun
-1330 kun
Ma'lumot yuklanmoqda...
O'xshash kanallar
Taglar buluti
Kirish va chiqish esdaliklari
---
---
---
---
---
---
Obunachilarni jalb qilish
Sentabr '26
Sentabr '26
+21
0 kanalda
Avgust '26
+55
1 kanalda
Get PRO
Iyul '26
+60
1 kanalda
Get PRO
Iyun '26
+58
2 kanalda
Get PRO
May '26
+28
0 kanalda
Get PRO
Aprel '26
+26
2 kanalda
Get PRO
Mart '26
+20
0 kanalda
Get PRO
Fevral '26
+29
0 kanalda
Get PRO
Yanvar '26
+30
0 kanalda
Get PRO
Dekabr '25
+38
0 kanalda
Get PRO
Noyabr '25
+34
1 kanalda
Get PRO
Oktabr '25
+48
3 kanalda
Get PRO
Sentabr '25
+39
2 kanalda
Get PRO
Avgust '25
+37
0 kanalda
Get PRO
Iyul '25
+37
1 kanalda
Get PRO
Iyun '25
+25
1 kanalda
Get PRO
May '25
+27
0 kanalda
Get PRO
Aprel '25
+19
1 kanalda
Get PRO
Mart '25
+35
0 kanalda
Get PRO
Fevral '25
+19
0 kanalda
Get PRO
Yanvar '25
+24
0 kanalda
Get PRO
Dekabr '24
+34
2 kanalda
Get PRO
Noyabr '24
+35
0 kanalda
Get PRO
Oktabr '24
+41
1 kanalda
Get PRO
Sentabr '24
+53
0 kanalda
Get PRO
Avgust '24
+64
0 kanalda
Get PRO
Iyul '24
+72
0 kanalda
Get PRO
Iyun '24
+63
1 kanalda
Get PRO
May '24
+60
0 kanalda
Get PRO
Aprel '24
+56
0 kanalda
Get PRO
Mart '24
+125
0 kanalda
Get PRO
Fevral '24
+257
2 kanalda
Get PRO
Yanvar '24
+108
1 kanalda
Get PRO
Dekabr '23
+104
1 kanalda
Get PRO
Noyabr '23
+48
0 kanalda
Get PRO
Oktabr '23
+66
0 kanalda
Get PRO
Sentabr '23
+37
0 kanalda
Get PRO
Avgust '23
+90
0 kanalda
Get PRO
Iyul '23
+31
0 kanalda
Get PRO
Iyun '230
0 kanalda
Get PRO
May '23
+4
0 kanalda
Get PRO
Aprel '23
+5
0 kanalda
Get PRO
Mart '23
+5
0 kanalda
Get PRO
Fevral '23
+16
0 kanalda
Get PRO
Yanvar '23
+19
0 kanalda
Get PRO
Dekabr '22
+29
0 kanalda
Get PRO
Noyabr '22
+53
0 kanalda
Get PRO
Oktabr '22
+42
0 kanalda
Get PRO
Sentabr '22
+31
0 kanalda
Get PRO
Avgust '22
+89
0 kanalda
Get PRO
Iyul '22
+132
0 kanalda
Get PRO
Iyun '22
+86
0 kanalda
Get PRO
May '22
+97
0 kanalda
Get PRO
Aprel '22
+100
0 kanalda
Get PRO
Mart '22
+392
0 kanalda
| Sana | Obunachilarni jalb qilish | Esdaliklar | Kanallar | |
| 18 Sentabr | 0 | |||
| 17 Sentabr | +1 | |||
| 16 Sentabr | +1 | |||
| 15 Sentabr | 0 | |||
| 14 Sentabr | 0 | |||
| 13 Sentabr | +2 | |||
| 12 Sentabr | 0 | |||
| 11 Sentabr | +2 | |||
| 10 Sentabr | +1 | |||
| 09 Sentabr | +1 | |||
| 08 Sentabr | +2 | |||
| 07 Sentabr | +4 | |||
| 06 Sentabr | 0 | |||
| 05 Sentabr | 0 | |||
| 04 Sentabr | +2 | |||
| 03 Sentabr | +2 | |||
| 02 Sentabr | +2 | |||
| 01 Sentabr | +1 |
Kanal postlari
| 2 |  +1برهان مفصل لاستحالة تعدد منتصف قطعة مستقيمة في عمودين | 101 |
| 3 | استطعتُ إيجاد ترتيب يحقق جميع المسلمات الثمانية ولا يحقق خاصية التعدي الداخلي بشكل يدوي وهو:
Bet(A,B,D),Bet(B,C,D),Bet(A,C,B),Bet(A,C,D)
وهو ما يثبت بشكل قاطع أنّ خاصية التعدي الداخلي هي خاصية ذرية وجديرة بوضعها مسلمة مستقلة | 108 |
| 4 |  Oloid
شكل مميز اليوم تعرفتُ عليه وله خواص رائعة وأحببتُ مشاركتكم إياه
إنه شكل يتكون من دائرتين لهما نصف قطر مشترك وسطحين متعامدين وجميع الخطوط الواصلة بينهما.
شكل يستمر بالتدحرج إلى الأبد، وكل دورة تجعل جميع نقاطه تلمس الأرض.
مساحة سطحه تساوي مساحة سطح كرة تملك نفس نصف القطر، يستخدم لخلط السوائل في المعامل، إذ أن دورانه لا يسبب حدوث فقاعات كما هو الحال مع الأشكال الأخرى.
لمزيد من المعلومات
https://en.wikipedia.org/wiki/Oloid | 110 |
| 5 |  +1إخواني هذه قائمة مسلمات في علاقات الترتيب
وأريد التحقق فيما إذا كانت خاصية التعدي الداخلي خاصية ذرية مستقلة عنهم أم أنه يمكن استنتاجها من خلالهم.
خاصية التعدي الداخلي:
Bet(A,B,D)∧Bet(B,C,D)⇒Bet(A,B,C)
هل يمكن لشخص ما أن يشغل برمجية تختبر جميع الحالات الممكنة لترتيب أربع نقاط ليرى إن كانت هناك حالة تتحقق فبها جميع المسلمات الثمانية ولا تتحقق فيها خاصية التعدي الداخلي.
إن حدث هذا ووجد مثل هذا الترتيب فالخاصية مستقلة عنهم وهي خاصية ذرية ومن الجدير بها أن توضع كمسلمة منفصلة.
إن لم يوجد أي ترتيب فهذا يعني أنها نتيجة (مبرهنة) وليست مسلمة مستقلة.
إن نجحنا بإثبات أنها مبرهنة فسنكون استعملنا بنية بديهية أكثر اقتصادا من هيلبرت وحققنا نفس نتائجه.
هيلبرت صاغ مسلمة واحدة تتضمن التعدي الخارجي والتعدي الداخلي.
أما الصياغة المنفصلة والتي تجعل التعدي الداخلي نتيجة من التعدي الخارجي فتجعل الاستدلال أوضح في كل مرة وأسهل في تتبع الجزء المحدد الذي ساهم في تحقق الخاصية.
إذا نجح إثبات أنها مبرهنة فجدير بنا أن أن نحاول إيجاد طريق لبرهانها أقصر من القوة الغاشمة، وإن تبين استقلالها فهذا سيختصر علينا محاولة إثبات شيء مستحيل. | 106 |
| 6 |  +2Matn yo'q... | 109 |
| 7 | اقترح علي الأستاذ محمد الدمرداش الإبقاء على خاصية التعدي الخارجي كمسلمة، لذا اعتمدتُ هذا الأمر وبرهنتُ عدم وقوع أحد طرفي قطعة مستقيمة بين نقطتين تقعان على تلك القطعة باستخدامها | 117 |
| 8 | إخواني الكرام توصلتُ إلى أنّ خاصية التعدي الخارجي في البينية تكافئ خاصية عدم وقوع أحد طرفي قطعة مستقيمة بين نقطتين من هذه القطعة، حيث استطعتُ برهان كل واحدة منهما بواسطة الأخرى، فأي منهما تفضلون أن أجعلها مسلّمة لتكون الثانية مبرهنة؟
خاصية التعدي الخارجي:
Bet(A,B,C)∧Bet(B,C,D)⇒Bet(A,B,D)∧Bet(A,C,D)
خاصية عدم وقوع طرفي قطعة مستقيمة بين نقطتين تقعان على تلك القطعة:
((P∈[AB])∧(Q∈[AB]))⇒((¬Bet(P,A,Q))∧(¬Bet(P,B,Q))) | 124 |
| 9 |  +1مبرهنة بينية منتصف قطعة مستقيمة
مع إثبات مفصل في عمودين | 146 |
| 10 |  +1إثبات حالة التطابق زاوية - ضلع - زاوية | 185 |
| 11 |  +1إثبات مبرهنة حزمة المستقيمات المستوية
هذا البرهان يعتمد على المبرهنة بكون المستقيم يضم عدداً لانهائيا من النقاط والتي سأقدمها لاحقاً إن شاء الله ضمن سلسلة من المبرهنات حول ترتيب النقاط على مستقيم يضمها جميعاً. | 166 |
| 12 | إخواني الكرام قبل ثلاثةأيام أنشاتُ قناة جديدة للقصص من يحب الانضمام هذا الرابط:
https://t.me/Rwi_Stories | 225 |
| 13 |  لمستقيمين متمايزتين توجد نقطة واحدة على الأكثر تقع على كليهما. | 202 |
| 14 |  +1إثبات أنه لكل نقطة يوجد مستقيم لا تقع عليه، وهي مبرهنة منفصلة ضرورية وليست نفسها المبرهنة بأنه لكل مستقيم توجد نقطة لا تقع عليه وكل منهما تعطي إمكانية مضافة مختلفة. | 188 |
| 15 |  +1إثبات ثلاث مبرهنات بدائية من كتاب الأصول الهندسية. | 203 |
| 16 | لحظة إدراك....
لقد كنتُ أعرف أنه كانت لدي العديد من المشاكل مع مفهوم الزوايا بالصياغة الرمزية وكنتُ أعمل بدقة لمحاولة سد جميع الثغرات وصنع مفهوم متين وبعد الكثير من المحاولات اليوم أدركتُ مصدر المشكلة الرئيسية.
القدرة على تعريف المفاهيم ثم الحاجة إلى مسلّمات لضبط كيفية تفاعلها يعني خطأ في النظام، إن أنا استطعتُ تعريف شيء باستخدام النظام فيجب أن اتمكن من إيجاد خصائصه من خلال النظام نفسه
عندما نعرّف مفهوم باستخدام مفاهيم مسبقة فيجب أن تكون جميع خصائصه ناتجة عن الخصائص السابقة لا أن نضيف مسلمات جديدة، وبذلك كل مجموعة الصياغة الرمزية تحتاج لإعادة نظر وبنائها على مفاهيم أولية بحيث تكون وظيفة المسلّمات هي ضبط تفاعل المفاهيم الأولية. | 245 |
| 17 | الصياغة الرمزية(١).PDF | 240 |
| 18 | فكرة خطرت لي قبل فترة وناقشتُ بها شات جي بي تي وتبين أنها معروفة مسبقا ولكن قد يكون هناك من يهتم بها
https://chatgpt.com/share/6a95014d-8d5c-83ed-a8e2-5f20558bf077?ogimg=plain
تعميم تعريف المخروط | 271 |
| 19 |  القضية الثالثة: إنشاء دائرة مركزها نقطة معطاة وطول نصف قطرها مساوي للمسافة بين نقطتين معطاتين | 233 |
| 20 |  +2ها قد قمتُ بعمل تحسين جوهري لقائمتي وهذه هي النسخة الحالية، لستُ متأكد إن كانت هي النسخة النهائية أم لا لكن أصبح مستوى قائمة المسلمات والتعريفات صلبة إلى حد كبير | 256 |
