A Note on the Measure of Vector and Pythagorean Theorem

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

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

بدأت الدراسة بتخيل عالم لدينا فيه متجهات ولكن دون مفهوم للطول، أو الزوايا، أو الضرب الداخلي. في هذا الإطار المجرد، المتجه هو مجرد رمز، مكان لاتجاه ومقدار، لكنه لا يملك قيمة عددية جوهرية. ولإعطائه معنى، سأل الباحث: كيف يمكننا إلحاق رقم بهذا المتجه يخبرنا بـ "حجمه"؟ هذا الرقم، المسمى مقياساً كمياً، يجب أن يتصرف بطريقة منطقية. إذا دمجنا متجهين لصنع متجه جديد، فيجب أن يرتبط مقياس الجديد بمقاييس القديمين. بدأ الباحث بأبسط قاعدة ممكنة: إذا تم دمج متجهين، فيجب أن يكون مقياس النتيجة هو مجموع مقاييسهما الفردية. هذه هي فكرة الجمعية، على غرار كيفية كون مساحة شكلين غير متداخلين هي مجموع مساحتيهما الفرديتين.

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

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

يكشف هذا الاكتشاف أن الزاوية القائمة ليست مفهوماً موجوداً مسبقاً نفرضه على العالم. بدلاً من ذلك، ينبثق مفهوم الزاوية القائمة كنتيجة منطقية لشرط أن تكون قياساتنا متسقة. عندما بحث الباحث عن أزواج المتجهات المحددة التي تحقق قاعدة الجمع، وجد أن هذه الأزواج يجب أن تكون متعامدة مع بعضها البعض. بعبارة أخرى، "المربع" و"الزاوية القائمة" يولدان معاً. الهندسة للمثلث قائم الزاوية ليست قاعدة منفصلة تُضاف إلى النظام؛ بل هي الشكل الوحيد الذي يسمح للبنية الجبرية للمتجهات بدعم مقياس حجم ثابت ومعتبر.

تمتد آثار هذا العمل إلى ما وراء الهندسة البحتة. لاحظ الباحث أن نفس المنطق الرياضي الذي يفرض التربيع في الهندسة الكلاسيكية هو نفس المنطق الذي يحكم العالم الكمي. في ميكانيكا الكم، يتم حساب احتمالية وجود جسيم من خلال تربيع مقدار دالته الموجية، وهي قاعدة تُعرف بقاعدة بورن. لعقود من الزمن، تساءل الفيزيائيون لماذا يستخدم الطبيعة قاعدة التربيع هذه تحديداً. تشير هذه الورقة إلى أن الإجابة ليست حادثة فيزيائية، بل هي ضرورة رياضية. تماماً كما أن التربيع هو الطريقة الوحيدة لقياس المتجهات باتساق في فضاء خطي، فإن التربيع هو الطريقة الوحيدة لتفسير "حجم" حالة كمية بشكل متسق. القاعدة ليست فرضية فيزيائية عشوائية؛ بل هي الحل الفريد لمشكلة كيفية تكميم جسم متعدد الأبعاد بطريقة مستقلة عن منظورنا.

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

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