مسألة كاكيا في صورة واحدة
في سنة 1917، طرح عالم الرياضيات الياباني سويشي كاكيا سؤالاً بسيطاً في الظاهر:
« ما هو الشكل المستوي ذو المساحة الدنيا الذي يمكن فيه تدوير إبرة (قطعة مستقيمة وحدوية) بزاوية 180° مع البقاء دائماً في الداخل؟ »
الجواب البديهي: قرص (مساحته ). لكن في سنة 1928، أثبت بيزيكوفيتش أنه يمكن تحقيق أفضل من ذلك. بل صغير بشكل تعسفي: توجد مجموعات في المستوى مساحتها قريبة من الصفر كما نشاء، يمكن فيها تدوير الإبرة. هذه النتيجة المخالفة للحدس فتحت مجالاً جديداً: مجال مجموعات كاكيا.
الانتقال إلى البعد الثلاثي
في البعد الثلاثي، يصبح السؤال: مجموعة كاكيا هي مجموعة جزئية من تحتوي على قطعة مستقيمة وحدوية في كل اتجاه من الفضاء. حدسية كاكيا في البعد الثلاثي تؤكد: كل مجموعة كاكيا في لها بُعد هاوسدورف يساوي 3 (أي أنها « تقريباً » ذات حجم).
في فبراير 2025، نشر هونغ وانغ (معهد كورانت، جامعة نيويورك) وجوشوا زال (جامعة كولومبيا البريطانية) على arXiv (مسودة 2502.17655) البرهان الكامل لهذه الحدسية. وصف عالم الرياضيات نيتس كاتز (جامعة رايس) النتيجة بأنها « once-in-a-century » (« مرة في القرن »).
لماذا استغرق البرهان 100 سنة؟
تجمع المسألة بين صعوبتين:
- الهندسة التوافقية: عد وترتيب القطع المستقيمة في الفضاء.
- التحليل التوافقي (دراسة الدوال عبر تفكيكها إلى موجات).
يمزج برهان وانغ وزال بين هاتين الأداتين. يعتمد بشكل خاص على تحليل « أحجام التقاطع » بين عائلات من الأنابيب اللامتناهية في الصغر، ويستخدم تقنيات مستوحاة من نتائج حديثة أخرى في التحليل التوافقي (خاصة أعمال لاري غوث ونيتس كاتز).
درس في المنهجية
ما هو ملفت في هذا البرهان: أنه لم « يأت » من ضربة عبقرية معزولة. بل يستند إلى:
- أكثر من 30 سنة من الأعمال السابقة (بورغان، وولف، كاتز، تاو، غوث، وآخرون كثيرون).
- اختزال تدريجي للمسألة إلى حالات جزئية أبسط فأبسط.
- استعمال مكثف للبرهان بالخلف (افتراض أن مجموعة كاكيا بُعدها < 3، واستنتاج تناقض).
هذه النقطة الأخيرة هي نفس التقنية المستعملة في باكالوريا العلوم الرياضية: عندما يفشل الهجوم المباشر، نفترض العكس ونُظهر تناقضاً.
لماذا هذا مهم خارج الرياضيات البحتة؟
- التصوير الطبي: الماسح الضوئي (scanner) يعيد بناء صورة انطلاقاً من مقاطع حسب اتجاهات مختلفة — بالضبط مسألة كاكيا بالعكس.
- نظرية الإشارة: حدسية كاكيا مرتبطة بتحويلة فورييه في الأبعاد العليا.
- الشبكات اللاسلكية: خوارزميات التموقع بالإشارة تستخدم أدوات مماثلة.
وبعد ذلك؟
تبقى الحدسية مفتوحة في الأبعاد . وضع وانغ وزال حجر الزاوية، لكن البناء الكامل لم ينته بعد. لهذا السبب تبقى الرياضيات ميداناً حياً: سيكون هناك دائماً حالة جديدة لفتحها.
انظر أيضاً: البرهان بالخلف، كيفية تحرير برهان رياضي.