مقالة في الهندسة

مبرهنة تشيفا

متى تلتقي ثلاث قطع في نقطة واحدة؟

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

في دروس الهندسة نبرهن ثلاث مرّات، وبثلاث طرق مختلفة، أنّ ثلاث قطع في المثلث تلتقي في نقطة واحدة: المتوسطات تلتقي في مركز الثقل، ومنصّفات الزوايا في مركز الدائرة الداخلية، والارتفاعات في نقطة تلاقي الارتفاعات. هل هذه ثلاث «صُدَف» منفصلة؟ أم أنّ وراءها قاعدة واحدة؟ الجواب أنّ هناك قاعدة واحدة، وهي لا تحتاج إلى زوايا ولا إلى تعامد — يكفي أن ننظر إلى النِّسَب التي تقسم بها القطعُ الأضلاعَ.

المبرهنة

مبرهنة تشيفا

لتكن \(D,\ E,\ F\) نقاطًا على الأضلاع \(BC,\ CA,\ AB\) للمثلث \(ABC\) على الترتيب (لا تنطبق أيّ منها على رأس). تلتقي القطع الثلاث \(AD,\ BE,\ CF\) في نقطة واحدة إذا وفقط إذا

\[\boxed{\;\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1\;}\]
القطع AD, BE, CF تلتقي في النقطة \(P\). النقاط D, E, F تقسم الأضلاع، وحاصل ضرب النسب الثلاث يساوي 1.

طريقة سهلة لتذكّر الصيغة: نسير حول المثلث في اتجاه واحد \(A\to B\to C\to A\)، ونكتب كلّ مرّة «من الرأس إلى النقطة» على «من النقطة إلى الرأس التالي»: \(B\to D\to C\)، ثم \(C\to E\to A\)، ثم \(A\to F\to B\). لو سرنا في الاتجاه المعاكس لحصلنا على مقلوب كلّ نسبة — وحاصل ضرب المقلوبات يساوي 1 أيضًا، لذا الصيغتان متكافئتان.

ملاحظة: يمكن أن تقع نقطة التلاقي خارج المثلث أيضًا. عندئذٍ تقع نقطة واحدة فقط من \(D,E,F\) على ضلع، والنقطتان الأخريان على امتدادَي ضلعين. المبرهنة تبقى صحيحة إذا أعطينا كلّ نسبة إشارة: موجبة إذا وقعت النقطة داخل الضلع، وسالبة إذا وقعت على امتداده. في هذه المقالة نكتفي بالحالة الأساسية — النقاط الثلاث على الأضلاع نفسها.

جرّبوا بأنفسكم

اسحبوا النقطة \(P\) أو الرؤوس. كلّ نسبة على حدة تتغيّر، لكن انظروا إلى حاصل الضرب.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–حاصل الضرب

والآن بالاتجاه المعاكس. في المختبر التالي نختار النقاط \(D,E,F\) على الأضلاع بحرّيّة. عادةً تحصر القطع الثلاث بينها مثلثًا صغيرًا (بالبرتقالي)؛ حاولوا أن تجعلوه يختفي.

اسحبوا النقاط \(D,E,F\) على الأضلاع. عندما يقترب حاصل الضرب من 1 ينكمش المثلث البرتقالي إلى نقطة.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–حاصل الضرب

لمحة تاريخية

تحمل المبرهنة اسم الرياضيّ الإيطاليّ جوفاني تشيفا (1647–1734)، الذي نشرها عام 1678 في كتابه De lineis rectis se invicem secantibus statica constructio («عن المستقيمات المتقاطعة: بناء بواسطة علم السكون»). وكما يدلّ العنوان، برهنها تشيفا بطريقة فيزيائية: وضع أثقالًا مناسبة في رؤوس المثلث، وبحث عن مركز ثقلها.

لكنّ تشيفا لم يكن الأوّل. في القرن الحادي عشر كتب المؤتمن بن هود، ملك سرقسطة في الأندلس (حكم 1081–1085)، موسوعة رياضية بعنوان «كتاب الاستكمال». وقد بيّن مؤرّخ الرياضيات يان هوخنديك، الذي درس مخطوطات الكتاب، أنّه يحتوي على هذه المبرهنة مع برهانها — قبل تشيفا بنحو ستّة قرون.

أمّا «الأخت التوأم» للمبرهنة، مبرهنة منلاوس التي تتحدّث عن ثلاث نقاط على مستقيم واحد، فهي أقدم بكثير، وتعود إلى الإسكندرية في القرن الأوّل الميلادي. ولها مقالة خاصّة في هذه السلسلة.

برهان بالمساحات

نبرهن أوّلًا الاتجاه الأوّل: إذا التقت القطع في نقطة \(P\) فإنّ حاصل الضرب يساوي 1. نرمز بـ \(S_{XYZ}\) إلى مساحة المثلث \(XYZ\). الأداة الوحيدة التي نحتاجها بسيطة جدًا:

حقيقة أساسية. لمثلثين لهما الارتفاع نفسه، النسبة بين المساحتين تساوي النسبة بين القاعدتين.
بالأزرق — المثلث \(ABP\)؛ بالأخضر — المثلث \(ACP\). لهما القاعدة المشتركة \(AP\)، والارتفاعان (المتقطّعان) النازلان من \(B\) ومن \(C\) على المستقيم \(AD\) يتناسبان مع \(BD\) و\(DC\).
  1. نسبة واحدة بلغة المساحات

    المثلثان \(ABD\) و\(ADC\) لهما الارتفاع نفسه من \(A\)، وكذلك المثلثان \(PBD\) و\(PDC\) لهما الارتفاع نفسه من \(P\). لذا

    \[\frac{BD}{DC}=\frac{S_{ABD}}{S_{ADC}}=\frac{S_{PBD}}{S_{PDC}}.\]
  2. خدعة الطرح

    إذا كان \(\frac{x}{y}=\frac{u}{v}\) فإنّ \(\frac{x}{y}=\frac{x-u}{y-v}\) أيضًا (تحقّقوا من ذلك!). نطرح المساحتين الصغيرتين من الكبيرتين: \(S_{ABD}-S_{PBD}=S_{ABP}\) و\(S_{ADC}-S_{PDC}=S_{ACP}\). إذن

    \[\frac{BD}{DC}=\frac{S_{ABP}}{S_{ACP}}.\]

    هذا هو المثلثان الملوّنان في الرسم: النسبة على الضلع \(BC\) تساوي النسبة بين مساحتَي المثلثين اللذين «يقفان» على جانبَي القطعة \(AP\).

  3. الضلعان الآخران

    بالطريقة نفسها تمامًا، مع القطعتين \(BE\) و\(CF\):

    \[\frac{CE}{EA}=\frac{S_{BCP}}{S_{BAP}},\qquad \frac{AF}{FB}=\frac{S_{CAP}}{S_{CBP}}.\]
  4. نضرب

    نضرب النسب الثلاث. كلّ مساحة تظهر مرّة في البسط ومرّة في المقام (\(S_{ABP}=S_{BAP}\) وهكذا)، فتختصر كلّها:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{S_{ABP}}{S_{ACP}}\cdot\frac{S_{BCP}}{S_{ABP}}\cdot\frac{S_{ACP}}{S_{BCP}}=1.\qquad\blacksquare\]

العكس: من النسب إلى نقطة التلاقي

الاتجاه الثاني هو الأهمّ في التطبيقات: نعرف أنّ حاصل الضرب يساوي 1، ونريد أن نستنتج أنّ القطع تلتقي.

لتلتقِ \(BE\) و\(CF\) في النقطة \(P\)، وليقطع المستقيم \(AP\) الضلع \(BC\) في النقطة \(D'\). القطع \(AD',BE,CF\) تلتقي في \(P\)، لذا وفق الاتجاه الذي برهنّاه

\[\frac{BD'}{D'C}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1.\]

نقارن مع المعطى ونحصل على \(\frac{BD'}{D'C}=\frac{BD}{DC}\). لكن على القطعة \(BC\) توجد نقطة واحدة فقط تقسمها بنسبة معطاة (كلّما تحرّكت النقطة من \(B\) نحو \(C\) تكبر النسبة باستمرار). إذن \(D'=D\)، والقطعة \(AD\) تمرّ هي أيضًا بالنقطة \(P\). \(\blacksquare\)

هذا بالضبط ما يحدث في المختبر الثاني: الزرّ يحسب \(CE/EA\) من الشرط، فتلتقي القطع فورًا.

أربع نقاط تلاقٍ مشهورة — ببرهان واحد

الآن نجني الثمار. في كلّ حالة يكفي أن نحسب النسب الثلاث ونتحقّق أنّ حاصل ضربها 1. نرمز إلى أطوال الأضلاع كالعادة: \(a=BC,\ b=CA,\ c=AB\).

  1. المتوسطات

    كلّ متوسط يقسم ضلعه إلى نصفين، لذا كلّ نسبة تساوي 1، وحاصل الضرب \(1\cdot1\cdot1=1\). المتوسطات تلتقي — في مركز الثقل.

  2. منصّفات الزوايا

    وفق مبرهنة منصّف الزاوية في المثلث، المنصّف من \(A\) يقسم الضلع المقابل بنسبة الضلعين المجاورين: \(\frac{BD}{DC}=\frac{c}{b}\). وبالمثل \(\frac{CE}{EA}=\frac{a}{c}\) و\(\frac{AF}{FB}=\frac{b}{a}\). لذا

    \[\frac{c}{b}\cdot\frac{a}{c}\cdot\frac{b}{a}=1.\]
  3. الارتفاعات (في مثلث حادّ الزوايا)

    في المثلث القائم \(ABD\) نجد \(BD=c\cos B\)، وفي المثلث القائم \(ADC\) نجد \(DC=b\cos C\). وبالطريقة نفسها مع الارتفاعين الآخرين:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{c\cos B}{b\cos C}\cdot\frac{a\cos C}{c\cos A}\cdot\frac{b\cos A}{a\cos B}=1.\]

    (في المثلث المنفرج الزاوية يقع موقعا ارتفاعين على امتدادَي ضلعين، ونحتاج إلى صيغة النسب ذات الإشارة.)

  4. نقطة جيرغون

    هذه حالة لا يعرفها معظم الطلّاب. لتمسّ الدائرة الداخلية الأضلاع في \(D,E,F\). مماسّان من نقطة واحدة إلى دائرة متساويان، لذا \(AE=AF=x\)، \(BF=BD=y\)، \(CD=CE=z\). إذن

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{y}{z}\cdot\frac{z}{x}\cdot\frac{x}{y}=1,\]

    والقطع الثلاث التي تصل الرؤوس بنقاط التماسّ تلتقي في نقطة واحدة، تُسمّى نقطة جيرغون على اسم الرياضيّ الفرنسيّ جوزيف جيرغون (1771–1859).

القطع من الرؤوس إلى نقاط التماسّ مع الدائرة الداخلية تلتقي في نقطة جيرغون \(Ge\). لاحظوا أنّها ليست مركز الدائرة الداخلية (النقطة الصغيرة).

مثال عددي

في المثلث \(ABC\) النقطة \(D\) على الضلع \(BC\) بحيث \(BD:DC=3:2\)، والنقطة \(F\) على الضلع \(AB\) بحيث \(AF:FB=1:2\). أين يجب أن نضع النقطة \(E\) على الضلع \(CA\) كي تلتقي القطع \(AD,\ BE,\ CF\) في نقطة واحدة؟

الحلّ. وفق مبرهنة تشيفا (الاتجاه العكسيّ) يجب أن يتحقّق

\[\frac32\cdot\frac{CE}{EA}\cdot\frac12=1\quad\Longrightarrow\quad\frac{CE}{EA}=\frac43.\]

أي أنّ النقطة \(E\) تقسم الضلع \(CA\) بنسبة \(CE:EA=4:3\)، ومن هنا \(CE=\frac47\,CA\). لاحظوا أنّنا لم نحتج إلى أطوال الأضلاع ولا إلى زوايا المثلث: الجواب صحيح لكلّ مثلث.

تمرين للقرّاء: نقطة ناغل

تمرين

للمثلث ثلاث دوائر خارجية: كلّ واحدة منها تمسّ ضلعًا واحدًا من الخارج وتمسّ امتدادَي الضلعين الآخرين. لتمسّ الدائرة الخارجية المقابلة للرأس \(A\) الضلعَ \(BC\) في النقطة \(D\)، والمقابلة لـ \(B\) الضلعَ \(CA\) في \(E\)، والمقابلة لـ \(C\) الضلعَ \(AB\) في \(F\). برهنوا أنّ القطع \(AD,\ BE,\ CF\) تلتقي في نقطة واحدة.

في الرسم الدائرة الخارجية المقابلة للرأس \(A\) فقط (الدائرتان الأخريان كبيرتان). القطع الثلاث تلتقي في النقطة \(N\) — نقطة ناغل.
تلميح

نرمز إلى نصف محيط المثلث بـ \(s=\frac{a+b+c}{2}\). استعملوا تساوي المماسّين من نقطة إلى دائرة، مرّة من \(A\) ومرّة من \(B\)، كي تبرهنوا أنّ المماسّين من \(A\) إلى الدائرة الخارجية المقابلة له طول كلّ منهما \(s\). ماذا ينتج عن ذلك بالنسبة إلى \(BD\)؟

حلّ كامل (حاولوا وحدكم أولًا!)

لتمسّ الدائرة الخارجية المقابلة لـ \(A\) امتدادَ \(AB\) في \(F'\) وامتدادَ \(AC\) في \(E'\). المماسّات من نقطة واحدة متساوية: \(BF'=BD\)، \(CE'=CD\)، \(AF'=AE'\). لذا

\[AF'+AE'=(c+BD)+(b+CD)=b+c+a=2s,\]

ومن هنا \(AF'=s\)، وبالتالي \(BD=BF'=s-c\) و\(DC=CE'=s-b\).

بالطريقة نفسها مع الدائرتين الخارجيتين الأخريين: \(CE=s-a,\ EA=s-c\) و\(AF=s-b,\ FB=s-a\). نضرب:

\[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{s-c}{s-b}\cdot\frac{s-a}{s-c}\cdot\frac{s-b}{s-a}=1.\]

وفق عكس مبرهنة تشيفا تلتقي القطع الثلاث في نقطة واحدة. \(\blacksquare\)

تُسمّى هذه النقطة نقطة ناغل على اسم الرياضيّ الألمانيّ كريستيان ناغل (1803–1882). قارنوا مع نقطة جيرغون: هناك \(BD=s-b\)، وهنا \(BD=s-c\) — أي أنّ نقطتَي التماسّ على كلّ ضلع متناظرتان بالنسبة إلى منتصفه!

المراجع

  • G. Ceva, De lineis rectis se invicem secantibus statica constructio, Milano, 1678.
  • J. P. Hogendijk, “Al-Muʾtaman ibn Hūd, 11th century king of Saragossa and brilliant mathematician”, Historia Mathematica 22 (1995), 1–18.
  • H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967, ch. 1.
الأستاذ خالد خطيب · مبرهنة تشيفا

מאמר בגאומטריה

משפט צ'בה

מתי שלושה קטעים נפגשים בנקודה אחת?

נעביר מכל קודקוד של משולש קטע אל הצלע שמולו. ברוב המקרים שלושת הקטעים נחתכים בשלוש נקודות שונות ותוחמים ביניהם משולש קטן. אבל לפעמים — כמו אצל התיכונים, חוצי הזוויות והגבהים — שלושתם נפגשים בנקודה אחת. משפט צ'בה נותן תנאי אחד ופשוט שמכריע זאת בכל המקרים.

בשיעורי הגאומטריה אנחנו מוכיחים שלוש פעמים, ובשלוש דרכים שונות, ששלושה קטעים במשולש נפגשים בנקודה אחת: התיכונים נפגשים במרכז הכובד, חוצי הזוויות במרכז המעגל החסום, והגבהים בנקודת מפגש הגבהים. האם אלה שלושה „צירופי מקרים” נפרדים? או שמאחוריהם עומד כלל אחד? התשובה היא שיש כלל אחד, והוא אינו זקוק לזוויות או לניצבות — די להסתכל על היחסים שבהם הקטעים מחלקים את הצלעות.

המשפט

משפט צ'בה

יהיו \(D,\ E,\ F\) נקודות על הצלעות \(BC,\ CA,\ AB\) של המשולש \(ABC\), בהתאמה (אף אחת מהן אינה מתלכדת עם קודקוד). שלושת הקטעים \(AD,\ BE,\ CF\) נפגשים בנקודה אחת אם ורק אם

\[\boxed{\;\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1\;}\]
הקטעים AD, BE, CF נפגשים בנקודה \(P\). הנקודות D, E, F מחלקות את הצלעות, ומכפלת שלושת היחסים שווה ל־1.

דרך קלה לזכור את הנוסחה: מסתובבים סביב המשולש בכיוון אחד \(A\to B\to C\to A\), ובכל פעם כותבים „מהקודקוד אל הנקודה” חלקי „מהנקודה אל הקודקוד הבא”: \(B\to D\to C\), אחר כך \(C\to E\to A\), ואחר כך \(A\to F\to B\). אילו הלכנו בכיוון ההפוך, היינו מקבלים את ההופכי של כל יחס — ומכפלת ההופכיים שווה גם היא ל־1, ולכן שתי הנוסחאות שקולות.

הערה: נקודת המפגש יכולה ליפול גם מחוץ למשולש. במקרה כזה רק אחת מהנקודות \(D,E,F\) נמצאת על צלע, ושתי האחרות על המשכי צלעות. המשפט נשאר נכון אם נותנים לכל יחס סימן: חיובי אם הנקודה נמצאת בתוך הצלע, ושלילי אם היא על ההמשך שלה. במאמר זה נסתפק במקרה הבסיסי — שלוש הנקודות על הצלעות עצמן.

נסו בעצמכם

גררו את הנקודה \(P\) או את הקודקודים. כל יחס לחוד משתנה, אבל הביטו במכפלה.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–המכפלה

ועכשיו בכיוון ההפוך. במעבדה הבאה בוחרים את הנקודות \(D,E,F\) על הצלעות בחופשיות. בדרך כלל שלושת הקטעים תוחמים ביניהם משולש קטן (בכתום); נסו לגרום לו להיעלם.

גררו את הנקודות \(D,E,F\) לאורך הצלעות. כשהמכפלה מתקרבת ל־1, המשולש הכתום מתכווץ לנקודה.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–המכפלה

קצת היסטוריה

המשפט נקרא על שם המתמטיקאי האיטלקי ג'ובאני צ'בה (1647–1734), שפרסם אותו בשנת 1678 בספרו De lineis rectis se invicem secantibus statica constructio („על ישרים נחתכים: בנייה באמצעות הסטטיקה”). כפי שמרמזת הכותרת, צ'בה הוכיח אותו בדרך פיזיקלית: הוא הציב משקולות מתאימות בקודקודי המשולש וחיפש את מרכז הכובד שלהן.

אבל צ'בה לא היה הראשון. במאה ה־11 כתב אל־מותמן אבן הוד, מלך סרגוסה שבאנדלוסיה (שלט בשנים 1081–1085), אנציקלופדיה מתמטית בשם „ספר ההשלמה” (כתאב אל־אסתכמאל). היסטוריון המתמטיקה יאן הוחנדייק, שחקר את כתבי היד של הספר, הראה שהוא מכיל את המשפט הזה יחד עם הוכחתו — כשש מאות שנה לפני צ'בה.

ואילו „האח התאום” של המשפט, משפט מנלאוס, העוסק בשלוש נקודות על ישר אחד, עתיק הרבה יותר ומגיע מאלכסנדריה של המאה הראשונה לספירה. גם לו מוקדש מאמר בסדרה זו.

הוכחה בעזרת שטחים

נוכיח תחילה את הכיוון הראשון: אם הקטעים נפגשים בנקודה \(P\), אז המכפלה שווה ל־1. נסמן ב־\(S_{XYZ}\) את שטח המשולש \(XYZ\). הכלי היחיד שנזדקק לו פשוט מאוד:

עובדה בסיסית. לשני משולשים בעלי אותו גובה, היחס בין השטחים שווה ליחס בין הבסיסים.
בכחול — המשולש \(ABP\); בירוק — המשולש \(ACP\). יש להם הבסיס המשותף \(AP\), והגבהים (המקווקווים) היורדים מ־\(B\) ומ־\(C\) אל הישר \(AD\) פרופורציוניים ל־\(BD\) ול־\(DC\).
  1. יחס אחד בשפת השטחים

    למשולשים \(ABD\) ו־\(ADC\) יש אותו גובה מ־\(A\), וכך גם למשולשים \(PBD\) ו־\(PDC\) יש אותו גובה מ־\(P\). לכן

    \[\frac{BD}{DC}=\frac{S_{ABD}}{S_{ADC}}=\frac{S_{PBD}}{S_{PDC}}.\]
  2. תעלול החיסור

    אם \(\frac{x}{y}=\frac{u}{v}\), אז גם \(\frac{x}{y}=\frac{x-u}{y-v}\) (בדקו זאת!). נחסר את השטחים הקטנים מהגדולים: \(S_{ABD}-S_{PBD}=S_{ABP}\) ו־\(S_{ADC}-S_{PDC}=S_{ACP}\). לכן

    \[\frac{BD}{DC}=\frac{S_{ABP}}{S_{ACP}}.\]

    אלה שני המשולשים הצבועים באיור: היחס על הצלע \(BC\) שווה ליחס בין שטחי שני המשולשים ש„עומדים” משני צדי הקטע \(AP\).

  3. שתי הצלעות האחרות

    באותה דרך בדיוק, עם הקטעים \(BE\) ו־\(CF\):

    \[\frac{CE}{EA}=\frac{S_{BCP}}{S_{BAP}},\qquad \frac{AF}{FB}=\frac{S_{CAP}}{S_{CBP}}.\]
  4. כופלים

    נכפול את שלושת היחסים. כל שטח מופיע פעם במונה ופעם במכנה (\(S_{ABP}=S_{BAP}\) וכן הלאה), וכולם מצטמצמים:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{S_{ABP}}{S_{ACP}}\cdot\frac{S_{BCP}}{S_{ABP}}\cdot\frac{S_{ACP}}{S_{BCP}}=1.\qquad\blacksquare\]

המשפט ההפוך: מהיחסים אל נקודת המפגש

הכיוון השני הוא החשוב ביותר בשימושים: יודעים שהמכפלה שווה ל־1, ורוצים להסיק שהקטעים נפגשים.

יהיו \(BE\) ו־\(CF\) נפגשים בנקודה \(P\), והישר \(AP\) חותך את הצלע \(BC\) בנקודה \(D'\). הקטעים \(AD',BE,CF\) נפגשים ב־\(P\), ולכן לפי הכיוון שכבר הוכחנו

\[\frac{BD'}{D'C}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1.\]

משווים לנתון ומקבלים \(\frac{BD'}{D'C}=\frac{BD}{DC}\). אבל על הקטע \(BC\) יש נקודה אחת בלבד המחלקת אותו ביחס נתון (ככל שהנקודה נעה מ־\(B\) לכיוון \(C\), היחס גדל ברציפות). לכן \(D'=D\), וגם הקטע \(AD\) עובר דרך הנקודה \(P\). \(\blacksquare\)

זה בדיוק מה שקורה במעבדה השנייה: הכפתור מחשב את \(CE/EA\) מתוך התנאי, והקטעים נפגשים מיד.

ארבע נקודות מפגש מפורסמות — בהוכחה אחת

עכשיו קוצרים את הפירות. בכל מקרה מספיק לחשב את שלושת היחסים ולבדוק שמכפלתם 1. נסמן את אורכי הצלעות כרגיל: \(a=BC,\ b=CA,\ c=AB\).

  1. התיכונים

    כל תיכון חוצה את הצלע שלו, ולכן כל יחס שווה ל־1, והמכפלה \(1\cdot1\cdot1=1\). התיכונים נפגשים — במרכז הכובד.

  2. חוצי הזוויות

    לפי משפט חוצה הזווית במשולש, חוצה הזווית מ־\(A\) מחלק את הצלע שמולו ביחס הצלעות הסמוכות: \(\frac{BD}{DC}=\frac{c}{b}\). באופן דומה \(\frac{CE}{EA}=\frac{a}{c}\) ו־\(\frac{AF}{FB}=\frac{b}{a}\). לכן

    \[\frac{c}{b}\cdot\frac{a}{c}\cdot\frac{b}{a}=1.\]
  3. הגבהים (במשולש חד־זווית)

    במשולש ישר־הזווית \(ABD\) מתקבל \(BD=c\cos B\), ובמשולש ישר־הזווית \(ADC\) מתקבל \(DC=b\cos C\). באותה דרך עם שני הגבהים האחרים:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{c\cos B}{b\cos C}\cdot\frac{a\cos C}{c\cos A}\cdot\frac{b\cos A}{a\cos B}=1.\]

    (במשולש קהה־זווית רגלי שני גבהים נופלות על המשכי צלעות, ונזדקק לגרסה של היחסים המסומנים.)

  4. נקודת ז'רגון

    זה מקרה שרוב התלמידים אינם מכירים. המעגל החסום משיק לצלעות ב־\(D,E,F\). שני משיקים מנקודה אחת למעגל שווים זה לזה, ולכן \(AE=AF=x\), \(BF=BD=y\), \(CD=CE=z\). מכאן

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{y}{z}\cdot\frac{z}{x}\cdot\frac{x}{y}=1,\]

    ושלושת הקטעים המחברים את הקודקודים לנקודות ההשקה נפגשים בנקודה אחת, הנקראת נקודת ז'רגון על שם המתמטיקאי הצרפתי ז'וזף ז'רגון (1771–1859).

הקטעים מהקודקודים אל נקודות ההשקה עם המעגל החסום נפגשים בנקודת ז'רגון \(Ge\). שימו לב שהיא אינה מרכז המעגל החסום (הנקודה הקטנה).

דוגמה מספרית

במשולש \(ABC\) הנקודה \(D\) נמצאת על הצלע \(BC\) כך ש־\(BD:DC=3:2\), והנקודה \(F\) נמצאת על הצלע \(AB\) כך ש־\(AF:FB=1:2\). היכן יש למקם את הנקודה \(E\) על הצלע \(CA\) כדי שהקטעים \(AD,\ BE,\ CF\) ייפגשו בנקודה אחת?

פתרון. לפי משפט צ'בה (הכיוון ההפוך) צריך להתקיים

\[\frac32\cdot\frac{CE}{EA}\cdot\frac12=1\quad\Longrightarrow\quad\frac{CE}{EA}=\frac43.\]

כלומר הנקודה \(E\) מחלקת את הצלע \(CA\) ביחס \(CE:EA=4:3\), ומכאן \(CE=\frac47\,CA\). שימו לב שלא נזקקנו לאורכי הצלעות ולא לזוויות המשולש: התשובה נכונה לכל משולש.

תרגיל לקוראים: נקודת נאגל

תרגיל

למשולש יש שלושה מעגלים חסומים חיצוניים: כל אחד מהם משיק לצלע אחת מבחוץ ולהמשכי שתי הצלעות האחרות. המעגל החיצוני שמול הקודקוד \(A\) משיק לצלע \(BC\) בנקודה \(D\), זה שמול \(B\) משיק לצלע \(CA\) ב־\(E\), וזה שמול \(C\) משיק לצלע \(AB\) ב־\(F\). הוכיחו שהקטעים \(AD,\ BE,\ CF\) נפגשים בנקודה אחת.

באיור מופיע רק המעגל החיצוני שמול הקודקוד \(A\) (שני האחרים גדולים). שלושת הקטעים נפגשים בנקודה \(N\) — נקודת נאגל.
רמז

נסמן את חצי היקף המשולש ב־\(s=\frac{a+b+c}{2}\). השתמשו בשוויון המשיקים מנקודה למעגל, פעם מ־\(A\) ופעם מ־\(B\), כדי להוכיח שכל אחד מהמשיקים מ־\(A\) אל המעגל החיצוני שמולו אורכו \(s\). מה נובע מכך לגבי \(BD\)?

פתרון מלא (נסו לבד קודם!)

המעגל החיצוני שמול \(A\) משיק להמשך \(AB\) ב־\(F'\) ולהמשך \(AC\) ב־\(E'\). משיקים מנקודה אחת שווים: \(BF'=BD\), \(CE'=CD\), \(AF'=AE'\). לכן

\[AF'+AE'=(c+BD)+(b+CD)=b+c+a=2s,\]

ומכאן \(AF'=s\), ולכן \(BD=BF'=s-c\) ו־\(DC=CE'=s-b\).

באותה דרך עם שני המעגלים החיצוניים האחרים: \(CE=s-a,\ EA=s-c\) ו־\(AF=s-b,\ FB=s-a\). כופלים:

\[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{s-c}{s-b}\cdot\frac{s-a}{s-c}\cdot\frac{s-b}{s-a}=1.\]

לפי המשפט ההפוך של צ'בה שלושת הקטעים נפגשים בנקודה אחת. \(\blacksquare\)

נקודה זו נקראת נקודת נאגל על שם המתמטיקאי הגרמני כריסטיאן נאגל (1803–1882). השוו לנקודת ז'רגון: שם \(BD=s-b\), וכאן \(BD=s-c\) — כלומר שתי נקודות ההשקה על כל צלע סימטריות ביחס לאמצעה!

מקורות

  • G. Ceva, De lineis rectis se invicem secantibus statica constructio, Milano, 1678.
  • J. P. Hogendijk, “Al-Muʾtaman ibn Hūd, 11th century king of Saragossa and brilliant mathematician”, Historia Mathematica 22 (1995), 1–18.
  • H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967, ch. 1.
חאלד חטיב · משפט צ'בה

A geometry article

Ceva’s Theorem

When do three segments meet at a single point?

From each vertex of a triangle, draw a segment to the opposite side. Usually the three segments cross at three different points and enclose a small triangle between them. But sometimes — as with the medians, the angle bisectors and the altitudes — all three meet at one point. Ceva’s theorem gives one simple condition that settles the question in every case.

In geometry lessons we prove three times, in three different ways, that three segments in a triangle meet at a point: the medians meet at the centroid, the angle bisectors at the incenter, and the altitudes at the orthocenter. Are these three separate “coincidences”? Or is there one rule behind them? There is one rule, and it needs neither angles nor perpendicularity — it is enough to look at the ratios in which the segments divide the sides.

The theorem

Ceva’s theorem

Let \(D,\ E,\ F\) be points on the sides \(BC,\ CA,\ AB\) of triangle \(ABC\), respectively (none of them at a vertex). The three segments \(AD,\ BE,\ CF\) meet at a single point if and only if

\[\boxed{\;\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1\;}\]
The segments AD, BE, CF meet at the point \(P\). The points D, E, F divide the sides, and the product of the three ratios equals 1.

An easy way to remember the formula: walk around the triangle in one direction \(A\to B\to C\to A\), and each time write “from the vertex to the point” over “from the point to the next vertex”: \(B\to D\to C\), then \(C\to E\to A\), then \(A\to F\to B\). Walking the other way would give the reciprocal of each ratio — and the product of the reciprocals is also 1, so the two forms are equivalent.

Note: the meeting point may also lie outside the triangle. Then only one of \(D,E,F\) is on a side, and the other two lie on extensions of sides. The theorem still holds if each ratio is given a sign: positive when the point is inside the side, negative when it is on its extension. In this article we stay with the basic case — all three points on the sides themselves.

Try it yourself

Drag the point \(P\) or the vertices. Each ratio changes on its own, but watch the product.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–product

Now the other way round. In the next lab you choose the points \(D,E,F\) on the sides freely. Usually the three segments enclose a small triangle (in orange); try to make it disappear.

Drag the points \(D,E,F\) along the sides. As the product approaches 1, the orange triangle shrinks to a point.

–\(\frac{BD}{DC}\)
–\(\frac{CE}{EA}\)
–\(\frac{AF}{FB}\)
–product

A little history

The theorem is named after the Italian mathematician Giovanni Ceva (1647–1734), who published it in 1678 in his book De lineis rectis se invicem secantibus statica constructio (“On mutually intersecting straight lines: a construction by statics”). As the title suggests, Ceva proved it physically: he placed suitable weights at the vertices of the triangle and looked for their centre of mass.

But Ceva was not the first. In the 11th century, al-Muʾtaman ibn Hūd, king of Zaragoza in al-Andalus (reigned 1081–1085), wrote a mathematical encyclopedia called the Kitāb al-Istikmāl (“Book of Perfection”). The historian of mathematics Jan Hogendijk, who studied its manuscripts, showed that it contains this theorem together with a proof — some six centuries before Ceva.

The theorem’s “twin”, Menelaus’ theorem, which is about three points on one line, is much older and goes back to Alexandria in the first century AD. It has its own article in this series.

A proof with areas

First we prove one direction: if the segments meet at a point \(P\), then the product equals 1. Write \(S_{XYZ}\) for the area of triangle \(XYZ\). The only tool we need is very simple:

Basic fact. For two triangles with the same height, the ratio of their areas equals the ratio of their bases.
Blue — triangle \(ABP\); green — triangle \(ACP\). They share the base \(AP\), and the (dashed) heights from \(B\) and from \(C\) to the line \(AD\) are proportional to \(BD\) and \(DC\).
  1. One ratio in the language of areas

    Triangles \(ABD\) and \(ADC\) have the same height from \(A\), and triangles \(PBD\) and \(PDC\) have the same height from \(P\). Hence

    \[\frac{BD}{DC}=\frac{S_{ABD}}{S_{ADC}}=\frac{S_{PBD}}{S_{PDC}}.\]
  2. The subtraction trick

    If \(\frac{x}{y}=\frac{u}{v}\), then also \(\frac{x}{y}=\frac{x-u}{y-v}\) (check it!). Subtract the small areas from the large ones: \(S_{ABD}-S_{PBD}=S_{ABP}\) and \(S_{ADC}-S_{PDC}=S_{ACP}\). So

    \[\frac{BD}{DC}=\frac{S_{ABP}}{S_{ACP}}.\]

    These are the two shaded triangles in the figure: the ratio on side \(BC\) equals the ratio of the areas of the two triangles “standing” on either side of the segment \(AP\).

  3. The other two sides

    In exactly the same way, with the segments \(BE\) and \(CF\):

    \[\frac{CE}{EA}=\frac{S_{BCP}}{S_{BAP}},\qquad \frac{AF}{FB}=\frac{S_{CAP}}{S_{CBP}}.\]
  4. Multiply

    Multiply the three ratios. Each area appears once in a numerator and once in a denominator (\(S_{ABP}=S_{BAP}\) and so on), so everything cancels:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{S_{ABP}}{S_{ACP}}\cdot\frac{S_{BCP}}{S_{ABP}}\cdot\frac{S_{ACP}}{S_{BCP}}=1.\qquad\blacksquare\]

The converse: from ratios to a meeting point

The second direction is the more important one in applications: we know the product equals 1, and want to conclude that the segments meet.

Let \(BE\) and \(CF\) meet at \(P\), and let the line \(AP\) cut side \(BC\) at \(D'\). The segments \(AD',BE,CF\) meet at \(P\), so by the direction already proved

\[\frac{BD'}{D'C}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=1.\]

Comparing with the hypothesis gives \(\frac{BD'}{D'C}=\frac{BD}{DC}\). But on the segment \(BC\) there is only one point dividing it in a given ratio (as a point moves from \(B\) towards \(C\), the ratio increases steadily). Hence \(D'=D\), and the segment \(AD\) also passes through \(P\). \(\blacksquare\)

This is exactly what happens in the second lab: the button computes \(CE/EA\) from the condition, and the segments meet at once.

Four famous meeting points — with one proof

Now we reap the rewards. In each case it is enough to compute the three ratios and check that their product is 1. Write the side lengths as usual: \(a=BC,\ b=CA,\ c=AB\).

  1. The medians

    Each median bisects its side, so each ratio is 1, and the product is \(1\cdot1\cdot1=1\). The medians meet — at the centroid.

  2. The angle bisectors

    By the angle bisector theorem, the bisector from \(A\) divides the opposite side in the ratio of the adjacent sides: \(\frac{BD}{DC}=\frac{c}{b}\). Similarly \(\frac{CE}{EA}=\frac{a}{c}\) and \(\frac{AF}{FB}=\frac{b}{a}\). So

    \[\frac{c}{b}\cdot\frac{a}{c}\cdot\frac{b}{a}=1.\]
  3. The altitudes (in an acute triangle)

    In the right triangle \(ABD\) we get \(BD=c\cos B\), and in the right triangle \(ADC\) we get \(DC=b\cos C\). Likewise with the other two altitudes:

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{c\cos B}{b\cos C}\cdot\frac{a\cos C}{c\cos A}\cdot\frac{b\cos A}{a\cos B}=1.\]

    (In an obtuse triangle the feet of two altitudes fall on extensions of sides, and we need the signed version of the ratios.)

  4. The Gergonne point

    Here is a case most students have not met. Let the incircle touch the sides at \(D,E,F\). Two tangents from one point to a circle are equal, so \(AE=AF=x\), \(BF=BD=y\), \(CD=CE=z\). Hence

    \[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{y}{z}\cdot\frac{z}{x}\cdot\frac{x}{y}=1,\]

    and the three segments joining the vertices to the points of tangency meet at one point, called the Gergonne point after the French mathematician Joseph Gergonne (1771–1859).

The segments from the vertices to the points of tangency with the incircle meet at the Gergonne point \(Ge\). Note that it is not the incenter (the small dot).

A numerical example

In triangle \(ABC\), the point \(D\) lies on side \(BC\) with \(BD:DC=3:2\), and the point \(F\) lies on side \(AB\) with \(AF:FB=1:2\). Where must we put the point \(E\) on side \(CA\) so that \(AD,\ BE,\ CF\) meet at one point?

Solution. By Ceva’s theorem (the converse) we need

\[\frac32\cdot\frac{CE}{EA}\cdot\frac12=1\quad\Longrightarrow\quad\frac{CE}{EA}=\frac43.\]

So \(E\) divides side \(CA\) in the ratio \(CE:EA=4:3\), that is \(CE=\frac47\,CA\). Notice that we needed neither the side lengths nor the angles: the answer is the same for every triangle.

A problem for the reader: the Nagel point

Problem

A triangle has three excircles: each touches one side from outside and the extensions of the other two sides. Let the excircle opposite vertex \(A\) touch side \(BC\) at \(D\), the one opposite \(B\) touch side \(CA\) at \(E\), and the one opposite \(C\) touch side \(AB\) at \(F\). Prove that the segments \(AD,\ BE,\ CF\) meet at one point.

Only the excircle opposite \(A\) is drawn (the other two are large). The three segments meet at \(N\) — the Nagel point.
Hint

Write \(s=\frac{a+b+c}{2}\) for the semiperimeter. Use the equality of tangents from a point to a circle, once from \(A\) and once from \(B\), to show that each tangent from \(A\) to the excircle opposite it has length \(s\). What does that give for \(BD\)?

Full solution (try it yourself first!)

Let the excircle opposite \(A\) touch the extension of \(AB\) at \(F'\) and the extension of \(AC\) at \(E'\). Tangents from one point are equal: \(BF'=BD\), \(CE'=CD\), \(AF'=AE'\). So

\[AF'+AE'=(c+BD)+(b+CD)=b+c+a=2s,\]

hence \(AF'=s\), and therefore \(BD=BF'=s-c\) and \(DC=CE'=s-b\).

In the same way with the other two excircles: \(CE=s-a,\ EA=s-c\) and \(AF=s-b,\ FB=s-a\). Multiply:

\[\frac{BD}{DC}\cdot\frac{CE}{EA}\cdot\frac{AF}{FB}=\frac{s-c}{s-b}\cdot\frac{s-a}{s-c}\cdot\frac{s-b}{s-a}=1.\]

By the converse of Ceva’s theorem, the three segments meet at one point. \(\blacksquare\)

This point is called the Nagel point, after the German mathematician Christian Nagel (1803–1882). Compare with the Gergonne point: there \(BD=s-b\), here \(BD=s-c\) — so on each side the two points of tangency are symmetric about its midpoint!

References

  • G. Ceva, De lineis rectis se invicem secantibus statica constructio, Milano, 1678.
  • J. P. Hogendijk, “Al-Muʾtaman ibn Hūd, 11th century king of Saragossa and brilliant mathematician”, Historia Mathematica 22 (1995), 1–18.
  • H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967, ch. 1.
Khaled Khatib · Ceva’s Theorem

→ العودة إلى كلّ المقالات