نظرية التوازي الفائق

يسار|تصغير|203x203بك| قرص بوانكاريه : الخط الوردي موازي تمامًا للخط الأزرق والخطوط الخضراء موازية بشكل محدود للخط الأزرق.
في الهندسة الزائدية، يمكن اعتبار خطين فائقا التوازي إذا لم يتقاطعا و لم يكونا متوازيين بشكل نهائي.

تنص **نظرية التوازي الفائق**  على أن كل زوج من الخطوط المتوازية المتميزة له خط عمودي مشترك فريد أو خط زائدي عمودي على كلا الخطين.

## بناء هيلبرت
ليكن  و  خطين متوازيين للغاية.

من أي نقطتين متميزتين  و  على s، ارسم  و  عموديين على  مع  و  على  .

إذا حدث أن AB = CB'، فإن العمود المشترك المطلوب يربط بين نقاط المنتصف لـ AC و BB' (حسب تماثل رباعي أضلاع ساكيري ACB'B).

إذا لم يكن الأمر كذلك، فيمكننا افتراض أن AB a 

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

قم بتشكيل الحركتين الزائديتين التاليتين:

: x \to x-a
: \mbox{inversion in the unit semicircle.}

ثم a \to \infty, \quad b \to (b-a)^{-1},\quad c \to (c-a)^{-1},\quad d \to (d-a)^{-1}.

الآن تابع مع هاتين الحركتين الزائديتين:

: x \to x-(b-a)^{-1}
: x \to \left [ (c-a)^{-1} - (b-a)^{-1} \right ]^{-1} x

ثم a يبقى في \infty, b \to 0, c \to 1, d \to z . نصف الدائرة الفريد، مع مركز عند الأصل، عمودي على الدائرة الموجودة على 1z يجب أن يكون له نصف قطر مماس لنصف قطر الآخر. المثلث القائم الذي يتكون من الإحداثي و نصف القطر العمودي له وتر طوله \begin{matrix} \frac{1}{2} \end{matrix} (z+1) . عندما\begin{matrix} \frac{1}{2} \end{matrix} (z-1) هو نصف قطر نصف الدائرة على 1z ، العمودي المشترك المطلوب له نصف قطر مربع

: \frac{1}{4} \left [ (z+1)^2 - (z-1)^2 \right ] = z.

الحركات الزائدية الأربع التي أنتجت z يمكن عكس كل ما سبق و تطبيقه بترتيب عكسي على نصف الدائرة التي يقع مركزها عند الأصل ونصف قطرها \sqrt{z} لإنتاج خط زائدي فريد عمودي على كلا المتوازيين الفائقين p و q .

## الإثبات في نموذج بلترامي-كلاين
في نموذج بلترامي-كلاين للهندسة الزائدية:

* خطان متوازيان فريدان يتوافقان مع وترين غير متقاطعين.
* أقطاب هذين الخطين هي التقاطعات المقابلة للخطوط المماسّة لدائرة الحدود في نقاط نهاية الوتر.
* يتم نمذجة الخطوط *العمودية* على الخط *l* بواسطة الأوتار التي يمر امتدادها عبر قطب *l* .
* ومن ثم نرسم خطًا فريدًا بين قطبي الخطين المعطى، ونقطعه مع الدائرة الحدودية؛ وسيكون وتر التقاطع هو العمودي المشترك المطلوب للخطوط المتوازية للغاية.

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

يكتمل الإثبات بإظهار أن هذا البناء ممكن دائمًا:

* إذا كان كلا الوترين قطرين، فإنهما يتقاطعان. (في وسط الدائرة الحدودية)
* إذا كان أحد الوترين فقط عبارة عن قطر، فإن الوتر الآخر يمتد بشكل عمودي إلى أسفل إلى قسم من الوتر الأول الموجود في داخله، ويتقاطع خط من القطب العمودي على القطر مع كل من القطر والوتر.
* إذا لم يكن كلا الخطين قطرين، فيمكننا تمديد المماسين المرسومين من كل قطب لإنتاج شكل رباعي يحتوي على دائرة الوحدة المحصورة داخله.&#x5B; ** &#x5D; الأقطاب هي رؤوس متقابلة لهذا الشكل الرباعي، والأوتار هي خطوط مرسومة بين الأضلاع المتجاورة للرأس، عبر الزوايا المتقابلة. بما أن الشكل الرباعي محدب، يتقاطع الخط بين القطبين مع كلا الوترين المرسومين عبر الزوايا، ويحدد جزء الخط بين الوترين الوتر المطلوب العمودي على الوترين الآخرين.

 و بدلاً من ذلك، يمكننا إنشاء العمودي المشترك للخطوط المتوازية الفائقة على النحو التالي: فهذه الخطوط المتوازية الفائقة في نموذج بلترامي-كلاين عبارة عن وترين غير متقاطعين. لكنهم في الواقع يتقاطعون خارج الدائرة. قطب النقطة المتقاطعة هو العمود المشترك المطلوب. 

## مراجع

تصنيف:مبرهنات في الهندسة الرياضية
تصنيف:هندسة زائدية
تصنيف:مقالات تحوي براهين
تصنيف:صفحات بترجمات غير مراجعة