I. مرجح نقطتين مثقلتين
تعريف
لتكن A و B نقطتين من المستوى و α و β عددين حقيقيين بحيث . مرجح النقطتين المثقلتين (A ; α) و (B ; β) هو النقطة الوحيدة G التي تحقق ما يلي:
نرمز له بـ G = bar{(A, α) ; (B, β)}.
صيغة المتجهة الموضعية
لكل نقطة M من المستوى:
وبصفة خاصة، بأخذ M = A : .
حالة خاصة: المرجح المتساوي
إذا كان ، فإن G هي منتصف [AB] : G = bar{(A,1); (B,1)}.
II. خاصيات أساسية
التجانس
لكل , bar{(A, kα) ; (B, kβ)} = bar{(A, α) ; (B, β)}.
يمكننا دائماً أن نرجع إلى معاملات مجموعها 1 (إحداثيات مرجحية معيارية).
الانتماء إلى المستقيم (AB)
مرجح G للنقطتين (A, α) و (B, β) (مع ) ينتمي إلى المستقيم (AB). وبشكل أدق:
- α و β لهما نفس الإشارة.
- (خارج [AB]) α و β لهما إشارتان متضادتان.
III. مرجح ثلاث نقط مثقلة
تعريف
لتكن A, B, C و α, β, γ بحيث . مرجح G للنقط (A, α), (B, β), (C, γ) هو النقطة الوحيدة التي تحقق ما يلي:
لكل M : .
IV. مبرهنة التجميع
تجميعية المرجح
إذا كان G = bar{(A, α), (B, β), (C, γ)} مع و , وإذا كان H = bar{(A, α), (B, β)}, فإن:
G = bar{(H, ) ; (C, γ)}
نستبدل نقطتين بمرجحهما الجزئي مرفقاً بمجموع معاملاتهما.
تطبيق: مركز الثقل
مركز ثقل G للمثلث ABC هو المرجح المتساوي للرؤوس الثلاثة: G = bar{(A,1),(B,1),(C,1)}.
باستخدام التجميعية مع A' منتصف [BC] : G = bar{(A, 1), (A', 2)}, إذن . نجد أن G تقع على ثلثي كل متوسط انطلاقاً من الرأس.
V. إحداثيات المرجح
الصيغة الديكارتية
في معلم، إذا كانت A(, ), B(, ), C(, ), فإن G = bar{(A,α),(B,β),(C,γ)} إحداثياتها هي:
VI. استقامية وتلاقي
معيار الاستقامية
تكون ثلاث نقط A, B, C مستقيمية يوجد α, β, γ ليست كلها منعدمة بحيث و (كتابة تآلفية).
الأكثر فائدة: إذا كان M = bar{(A, α), (B, β)} و N = bar{(A, α'), (C, γ')}, يمكننا استخدام التجميعية لإثبات استقامية M, N و مرجح ثالث.
تلاقي المستقيمات
لإظهار أن ثلاثة مستقيمات متلاقية، يمكننا البحث عن نقطة مشتركة كمرجح للنقط التي تحدد كل منها.
VII. خطوط المستوى مع و
الصيغة الأساسية (التبسيط)
لتكن A, B, G منتصف [AB]. لكل M :
(حيث I هي المنتصف)
خط المستوى { M : }
إذا كان , نضع G = bar{(A,α),(B,β)}. إذن:
خط المستوى هو إذن دائرة مركزها G (أو المجموعة الفارغة، أو نقطة).
إذا كان , فإنه يؤول إلى : وهو مستقيم عمودي على (AB).
VIII. خط المستوى MA/MB = k
دائرة أبولونيوس
مجموعة النقط M بحيث (k > 0, k ≠ 1) هي دائرة قطرها [IJ] حيث:
- I = bar{(A, 1), (B, k)} (داخل القطعة)
- J = bar{(A, 1), (B, −k)} (خارج القطعة)
إذا كان k = 1 : فهي الواسط لـ [AB].