مبرهنة والاس-بولياي-گرڤين

حسب مبرهنة والاس-بولياي-گرڤين، فإن مربعاً يمكن تقطيعه إلى أجزاء ويعاد ترتيبه إلى مثلث بنفس المساحة.

في الهندسة الرياضية، مبرهنة والاس-بولياي-گرڤين (إنگليزية: Wallace–Bolyai–Gerwien theorem) تنص على أنه إذا وجد مضلعين بسيطين لهما مساحة متساوية، من الممكن تقسيم المضلع الأول إلى عدد نهائي من المضلعات الصغيرة وإعادة ترتيبها للحصول على المضلع الثاني.

"إعادة الترتيب" هنا تعني أنه من الممكن إجراء نقل و دوران على كل القطع الصغيرة.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

التاريخ

فاركاس بولياي صاغ المسألة لأول مرة. گرڤين أثبت المبرهنة في 1833، ولكن في الواقع والاس كان قد أثبت نفس النتيجة بالفعل في 1807.

وحسب مصادر أخرى، فإن بولياي وگرڤين قد أثبت كل منهما المبرهنة بشكل مستقل عن الآخر في عامي 1833 و 1835، بالترتيب.


درجة قابلية التفكيك

Consider two equidecomposable polygons P and Q. The minimum number n of pieces required to compose one polygon Q from another polygon P is denoted by σ(P,Q).

Depending on the polygons, it is possible to estimate upper and lower bounds for σ(P,Q). For instance, Alfred Tarski proved that if P is convex and the diameters of P and Q are respectively given by d(P) and d(Q), then[1]

If Px is a rectangle of sides a·x and a·(1/x) and Q is a rectangle of size a, then Px and Q are equidecomposable for every x > 0. An upper bound for σ(Px,Q) is given by[1]

Since σ(Px,Q) = σ(P(1/x),Q), we also have that

التعميمات: الأبعاد الأعلى

تعميم هذه المبرهنة على متعددات الأوجه في الفضاء ثلاثي الأبعاد تعرف باسم مسألة هلبرت الثالثة وهي عبارة خاطئة وقد تم برهان خطئها من قبل ماكس دين في عام 1900.

الهامش

  1. ^ أ ب McFarland, Andrew; McFarland, Joanna; Smith, James T. (2014). Alfred Tarski (in الإنجليزية). Birkhäuser, New York, NY. pp. 77–91. doi:10.1007/978-1-4939-1474-6_5. ISBN 9781493914739.

وصلات خارجية