مبرهنة سيفا، الحالة الأولى: تلتقي المستقيمات الثلاثة عند نقطة داخل المثلث. مبرهنة سيفا، الحالة الثانية: تلتقي المستقيمات الثلاثة عند نقطة خارج المثلث. في الهندسة الإقليدية ، تعد مبرهنة سيفا من أشهر المبرهنات الرياضية .[ 1] [ 2]
إذا كان ABC مثلثا وكانت النقاط D و E و F تقعن على الأضلاع BC و AC و AB على التوالي، فإن المستقيمات AD و BE و CF تتقاطع في نقطة واحدة O إذا وفقط إذا كان:
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
قدم جيوفاني سيفا برهاناً لهذه المبرهنة في عام 1678 .
جيوفاني سيفا رياضي إيطالي تخصص في الهندسة واشتهر بهذه المبرهنة، وإن كانت المبرهنة قد برهنت سابقاً من قبل العالم يوسف المؤتمن بن هود ملك طائفة سرقسطة في القرن الحادي عشر ميلادي.
[ عدل ] هناك صيغة مثلثية مشابهة لمبرهنة سيفا، إذا كان ABC مثلث وكانت النقاط D,E,F تقع على الأضلاع BC,AC,AB على الترتيب، فإن المستقيمات AD,BE,CF تتقاطع في نقطة واحدة O إذا وفقط إذا كان:
sin
∠
A
C
F
sin
∠
F
C
B
×
sin
∠
B
A
D
sin
∠
D
A
C
×
sin
∠
C
B
E
sin
∠
E
B
A
=
1
{\displaystyle {\frac {\sin \angle ACF}{\sin \angle FCB}}\times {\frac {\sin \angle BAD}{\sin \angle DAC}}\times {\frac {\sin \angle CBE}{\sin \angle EBA}}=1}
نذكر هنا أهم النتائج المباشرة من هذه المبرهنة:
المتوسطات ومركز الثقل. تلتقي متوسطات المثلث الثلاثة في نقطة واحدة تعرف بالنقطة الوسطى أو مركز ثقل المثلث.
البرهان:
في المثلث AD,BE,CF : ABC متوسطات تنصف الأضلاع BC,CA,AB عند النقاط D,E,F على الترتيب.
المطلوب: لكي تتقاطع المتوسطات في نقطة واحدة لا بد أن يتحقق:
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
نلاحظ أن النقطة F منتصف
A
F
F
B
=
1
⇐
A
F
=
F
B
⇐
A
B
{\displaystyle {\frac {AF}{FB}}=1\Leftarrow AF=FB\Leftarrow AB\,}
كذلك الأمر مع النقطتين D,E منتصف
B
D
D
C
=
1
,
C
E
E
A
=
1
⇐
B
C
,
C
A
{\displaystyle {\frac {BD}{DC}}=1,{\frac {CE}{EA}}=1\Leftarrow BC,CA\,}
ومن الواضح أن
1.1.1
=
1
{\displaystyle 1.1.1=1\,}
تقاطع منصفات الزوايا في مركز الدائرة المحيطة بالمثلث تلتقي منصفات الزوايا في نقطة واحدة، هذه النقطة مركز الدائرة الداخلية التي تمس أضلاع المثلث.
البرهان:
في المثلث AD,BE,CF : ABC منصفات للزوايا A,B,C على الترتيب.
المطلوب: لكي تتقاطع منصفات الزوايا في نقطة واحدة لا بد أن يتحقق:
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
باستخدام مبرهنة منصف الزاوية ينتج لدينا:
A
F
F
B
=
A
C
B
C
,
B
D
D
C
=
A
B
A
C
,
C
E
E
A
=
B
C
A
B
{\displaystyle {\frac {AF}{FB}}={\frac {AC}{BC}},{\frac {BD}{DC}}={\frac {AB}{AC}},{\frac {CE}{EA}}={\frac {BC}{AB}}}
⇒
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
A
C
B
C
⋅
A
B
A
C
⋅
B
C
A
B
=
1
{\displaystyle \Rightarrow {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}={\frac {AC}{BC}}\cdot {\frac {AB}{AC}}\cdot {\frac {BC}{AB}}=1}
ولهذا فإن منصفات الزوايا تلتقي في نقطة واحدة.
نقطة تقاطع الارتفاعات في مثلث تسمى المركز القائم تلتقي ارتفاعات المثلث في نقطة واحدة تعرف بملتقى الارتفاعات أو المركز القائم .
البرهان:
في المثلث AD,BE,CF : ABC ارتفاعات أقدامها D,E,F على الترتيب.
المطلوب: لكي تتقاطع ارتفاعات المثلث في نقطة واحدة لا بد أن يتحقق:
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
المثلثان CDO,AFO متشابهان (زاويتان قائمتان وزاويتان متقابلتان بالرأس )ومن التشابه ينتج:
A
F
D
C
=
A
O
C
O
{\displaystyle {\frac {AF}{DC}}={\frac {AO}{CO}}}
أيضاً المثلثان CEO,BFO متشابهان وكذلك المثلثان AEO,BDO متشابهان ومن التشابهات ينتج:
B
D
E
A
=
B
O
A
O
,
C
E
F
B
=
C
O
B
O
{\displaystyle {\frac {BD}{EA}}={\frac {BO}{AO}},{\frac {CE}{FB}}={\frac {CO}{BO}}}
⇒
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
A
F
D
C
⋅
B
D
E
A
⋅
C
E
F
B
=
A
O
C
O
⋅
B
O
A
O
⋅
C
O
B
O
=
1
{\displaystyle \Rightarrow {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}={\frac {AF}{DC}}\cdot {\frac {BD}{EA}}\cdot {\frac {CE}{FB}}={\frac {AO}{CO}}\cdot {\frac {BO}{AO}}\cdot {\frac {CO}{BO}}=1}
وبهذا تلتقي ارتفاعات المثلث في نقطة واحدة.
في البداية سنثبت أنه إذا كانت المستقيمات AD,BE,CF تتقاطع في نقطة واحدة فإن
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
لنبدأ مع الضلع
B
C
{\displaystyle BC\,}
D
O
C
,
B
O
D
{\displaystyle DOC,BOD\,}
h
{\displaystyle h\,}
A
r
e
a
B
O
D
A
r
e
a
D
O
C
=
1
2
h
.
B
D
1
2
h
.
D
C
{\displaystyle {\frac {Area_{BOD}}{Area_{DOC}}}={\frac {{\frac {1}{2}}h.BD}{{\frac {1}{2}}h.DC}}}
⇒
A
r
e
a
B
O
D
A
r
e
a
D
O
C
=
B
D
D
C
{\displaystyle \Rightarrow {\frac {Area_{BOD}}{Area_{DOC}}}={\frac {BD}{DC}}}
D
A
C
,
B
A
D
{\displaystyle DAC,BAD\,}
A
r
e
a
B
A
D
A
r
e
a
D
A
C
=
B
D
D
C
{\displaystyle {\frac {Area_{BAD}}{Area_{DAC}}}={\frac {BD}{DC}}}
B
D
D
C
=
A
r
e
a
B
A
D
A
r
e
a
D
A
C
=
A
r
e
a
B
O
D
A
r
e
a
D
O
C
{\displaystyle {\frac {BD}{DC}}={\frac {Area_{BAD}}{Area_{DAC}}}={\frac {Area_{BOD}}{Area_{DOC}}}}
التناسب نصل إلى:
B
D
D
C
=
A
r
e
a
B
A
D
−
A
r
e
a
B
O
D
A
r
e
a
D
A
C
−
A
r
e
a
D
O
C
=
A
r
e
a
A
O
B
A
r
e
a
A
O
C
{\displaystyle {\frac {BD}{DC}}={\frac {Area_{BAD}-Area_{BOD}}{Area_{DAC}-Area_{DOC}}}={\frac {Area_{AOB}}{Area_{AOC}}}}
A
B
,
A
C
{\displaystyle AB,AC\,}
A
F
F
B
=
A
r
e
a
A
O
C
A
r
e
a
B
O
C
,
C
E
E
A
=
A
r
e
a
B
O
C
A
r
e
a
A
O
B
{\displaystyle {\frac {AF}{FB}}={\frac {Area_{AOC}}{Area_{BOC}}},{\frac {CE}{EA}}={\frac {Area_{BOC}}{Area_{AOB}}}}
⇒
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
A
r
e
a
A
O
C
A
r
e
a
B
O
C
.
A
r
e
a
A
O
B
A
r
e
a
A
O
C
.
A
r
e
a
B
O
C
A
r
e
a
A
O
B
=
1
{\displaystyle \Rightarrow {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}={\frac {Area_{AOC}}{Area_{BOC}}}.{\frac {Area_{AOB}}{Area_{AOC}}}.{\frac {Area_{BOC}}{Area_{AOB}}}=1}
وهو المطلوب .
بقي الآن أن ثبت الإتجاه المعاكس أي إذا كانت
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
لتكن O نقطة تقاطع المستقيمين BE,CF سنثبت أن المستقيم AD يمبر بالنقطة O، نرسم المستقيم AO الذي يقطع BC في النقطة 'D، إذا أثبتنا أن D = 'D فإن AD سيكون نفسه 'AD الذي يمر عبر النقطة O وبالتالي يتحقق المطلوب.
المستقيمات AD',BE,CF تتقاطع في O بتطبيق مبرهنة سيفا (الاتجاه الأول):
A
F
F
B
⋅
B
D
′
D
′
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD'}{D'C}}\cdot {\frac {CE}{EA}}=1}
ومن المعطيات:
A
F
F
B
⋅
B
D
D
C
⋅
C
E
E
A
=
1
{\displaystyle {\frac {AF}{FB}}\cdot {\frac {BD}{DC}}\cdot {\frac {CE}{EA}}=1}
⇒
B
D
′
D
′
C
=
B
D
D
C
{\displaystyle \Rightarrow {\frac {BD'}{D'C}}={\frac {BD}{DC}}}
⇒
B
D
′
D
′
C
+
1
=
B
D
D
C
+
1
⇒
B
D
′
D
′
C
+
D
′
C
D
′
C
=
B
D
D
C
+
D
C
D
C
{\displaystyle \Rightarrow {\frac {BD'}{D'C}}+1={\frac {BD}{DC}}+1\Rightarrow {\frac {BD'}{D'C}}+{\frac {D'C}{D'C}}={\frac {BD}{DC}}+{\frac {DC}{DC}}}
⇒
B
D
′
+
D
′
C
D
′
C
=
B
D
+
D
C
D
C
⇒
B
C
D
′
C
=
B
C
D
C
{\displaystyle \Rightarrow {\frac {BD'+D'C}{D'C}}={\frac {BD+DC}{DC}}\Rightarrow {\frac {BC}{D'C}}={\frac {BC}{DC}}}
⇒
D
′
C
=
D
C
⇒
D
′
=
D
{\displaystyle \Rightarrow D'C=DC\Rightarrow D'=D}
وبذلك يتحقق المطلوب.
Grünbaum، Branko؛ Shephard، G. C. (1995)، "Ceva, Menelaus and the Area Principle" ، Mathematics Magazine ، ج. 68، ص. 254–268، مؤرشف من الأصل في 2019-12-26 J. B. Hogendijk, "Al-Mutaman ibn Hűd, 11the century kin of Saragossa and brilliant mathematician," Historia Mathematica 22 (1995) 1-18.
Landy, Steven. A Generalization of Ceva's Theorem to Higher Dimensions. The American Mathematical Monthly , Vol. 95, No. 10 (Dec., 1988), pp. 936–939
Masal'tsev, L. A. (1994) "Incidence theorems in spaces of constant curvature." Journal of Mathematical Sciences , Vol. 72, No. 4
Wernicke, Paul. The Theorems of Ceva and Menelaus and Their Extension. The American Mathematical Monthly , Vol. 34, No. 9 (Nov., 1927), pp. 468–472 
