塞瓦定理：修订间差异

删除的内容添加的内容

行内

2024年5月16日 (四) 06:24的最新版本

塞瓦線，或稱為賽瓦線段是各顶点与其对边或对边延长线上的一点连接而成的直线段。塞瓦定理（英語：Ceva's theorem）指出：如果 $\triangle ABC$ 的塞瓦線段 ${\overline {AD}}$ 、 ${\overline {BE}}$ 、 ${\overline {CF}}$ 通过同一点 $O$ ，则

{\frac {\overline {BD}}{\overline {DC}}}\cdot {\frac {\overline {CE}}{\overline {EA}}}\cdot {\frac {\overline {AF}}{\overline {FB}}}=1

它的逆定理同样成立：若 $D$ 、 $E$ 、 $F$ 分别在 $\triangle ABC$ 的边 ${\overline {BC}}$ 、 ${\overline {CA}}$ 、 ${\overline {AB}}$ 或其延长线上（都在边上或有两点在延长线上），且满足

{\frac {\overline {BD}}{\overline {DC}}}\cdot {\frac {\overline {CE}}{\overline {EA}}}\cdot {\frac {\overline {AF}}{\overline {FB}}}=1

，

则直线 ${\overline {AD}}$ 、 ${\overline {BE}}$ 、 ${\overline {CF}}$ 共点或彼此平行（於無限遠處共點）。当 ${\overline {AD}}$ 、 ${\overline {BE}}$ 、 ${\overline {CF}}$ 中的任意两直线交于一点時，则三直线共点；当 ${\overline {AD}}$ 、 ${\overline {BE}}$ 、 ${\overline {CF}}$ 中的任意两直线平行时，则三直线平行。

它最先由意大利數學家喬瓦尼·塞瓦證明，因而得名。此定理又譯西瓦定理或帥氏定理。

证明

設 h = A 到

{\overline {BC}}

的距離

\triangle ABD

的面積 =

(1/2)\cdot h\cdot {\overline {BD}}

\triangle ADC

的面積 =

(1/2)\cdot h\cdot {\overline {DC}}

\therefore \triangle ABD

的面積 /

\triangle ADC

的面積 =

{\overline {BD}}/{\overline {DC}}

\because \quad {\frac {\overline {BD}}{\overline {DC}}}={\frac {\mathrm {S} _{\triangle ABD}}{\mathrm {S} _{\triangle ADC}}}={\frac {\mathrm {S} _{\triangle OBD}}{\mathrm {S} _{\triangle ODC}}}.

由等比性质,

{\frac {\overline {BD}}{\overline {DC}}}={\frac {\mathrm {S} _{\triangle ABD}-\mathrm {S} _{\triangle OBD}}{\mathrm {S} _{\triangle ADC}-\mathrm {S} _{\triangle ODC}}}={\frac {\mathrm {S} _{\triangle ABO}}{\mathrm {S} _{\triangle CAO}}}.

同理

{\frac {\overline {CE}}{\overline {EA}}}={\frac {\mathrm {S} _{\triangle BCO}}{\mathrm {S} _{\triangle ABO}}},\;{\frac {\overline {AF}}{\overline {FB}}}={\frac {\mathrm {S} _{\triangle CAO}}{\mathrm {S} _{\triangle BCO}}}.

\therefore \quad {\frac {\overline {BD}}{\overline {DC}}}\cdot {\frac {\overline {CE}}{\overline {EA}}}\cdot {\frac {\overline {AF}}{\overline {FB}}}={\frac {\mathrm {S} _{\triangle ABO}}{\mathrm {S} _{\triangle CAO}}}\cdot {\frac {\mathrm {S} _{\triangle BCO}}{\mathrm {S} _{\triangle ABO}}}\cdot {\frac {\mathrm {S} _{\triangle CAO}}{\mathrm {S} _{\triangle BCO}}}=1.

证毕。^[1]^[2]

系理：角平分線定理

在三角形 $ABC$ 中， $\angle A$ 的角平分線交 ${\overline {BC}}$ 於 $D$ ， ${\frac {\overline {DB}}{\overline {DC}}}={\frac {\overline {AB}}{\overline {AC}}}$ 。

參見

^ Russell, John Wellesley. Ch. 1 §7 Ceva's Theorem. Pure Geometry. Clarendon Press. 1905.
^ Alfred S. Posamentier and Charles T. Salkind (1996), Challenging Problems in Geometry, pages 177–180, Dover Publishing Co., second revised edition.

[r1-1] Russell, John Wellesley. Ch. 1 §7 Ceva's Theorem. Pure Geometry. Clarendon Press. 1905.

[2] Alfred S. Posamentier and Charles T. Salkind (1996), Challenging Problems in Geometry, pages 177–180, Dover Publishing Co., second revised edition.

[1]

[2]

@@ 第1行： / 第1行： @@
+{{Refimprove||time=2023-05-03T11:12:28+00:00}}
-[[File:塞瓦定理1.png|249px|right]]
+[[File:Ceva's theorem 1.svg|thumb|upright=1.1|三条线段的交点''O'' 位于三角形ABC的内部]]
-[[File:塞瓦定理2.png|251px|right]]
+[[File:Ceva's theorem 2.svg|thumb|upright=1.1|三条线段的交点''O'' 位于三角形ABC的外部]]
+'''塞瓦線'''，或稱為'''賽瓦線段'''是各[[頂點 (幾何)|顶点]]与其对边或对边延长线上的一点连接而成的[[直线|直线段]]。'''塞瓦定理'''（{{lang-en|Ceva's theorem}}）指出：如果<math>\triangle ABC</math>的塞瓦線段<math>\overline{AD}</math> 、<math>\overline{BE}</math>、<math>\overline{CF}</math> 通过同一点<math>O</math>，则
+:<math>\frac{\overline{BD}}{\overline{DC}} \cdot \frac{\overline{CE}}{\overline{EA}} \cdot \frac{\overline{AF}}{\overline{FB}}=1</math>
-塞瓦線段（cevian）是各[[顶点]]与其对边或对边延长线上的一点连接而成的直线段。'''塞瓦定理'''指出：如果<math>\triangle ABC</math>的塞瓦線段''AD''、''BE''、''CF''通过同一点''O''，则
+它的逆定理同样成立：若<math>D</math>、<math>E</math>、<math>F</math>分别在<math>\triangle ABC</math>的边<math>\overline{BC}</math>、<math>\overline{CA}</math>、<math>\overline{AB}</math>或其延长线上（都在边上或有两点在延长线上），且满足
-:<math>\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB}=1</math>
+:<math>\frac{\overline{BD}}{\overline{DC}} \cdot \frac{\overline{CE}}{\overline{EA}} \cdot \frac{\overline{AF}}{\overline{FB}}=1</math>，
-它的逆定理同样成立：若D、E、F分别在<math>\triangle ABC</math>的边''BC''、''CA''、''AB''或其延长线上，且满足
+则直线<math>\overline{AD}</math>、<math>\overline{BE}</math>、<math>\overline{CF}</math>共点或彼此[[平行]]（於無限遠處共點）。当<math>\overline{AD}</math>、<math>\overline{BE}</math>、<math>\overline{CF}</math>中的任意两直线交于一点時，则三直线共点；当<math>\overline{AD}</math>、<math>\overline{BE}</math>、<math>\overline{CF}</math>中的任意两直线平行时，则三直线平行。
-:<math>\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB}=1</math>，
+它最先由[[意大利]]數學家[[喬瓦尼·塞瓦]]證明，因而得名。此定理又譯'''西瓦定理'''或'''帥氏定理'''。
-则直线''AD''、''BE''、''CF''共点或彼此[[平行]]（於無限遠處共點）。当AD、BE、CF中的任意两直线交于一点時，则三直线共点；当''AD''、''BE''、''CF''中的任意两直线平行时，则三直线平行。
-它最先由[[意大利]]數學家[[喬瓦尼·塞瓦]]證明。
 ==证明==
+: 設  h = A 到 <math> \overline{BC}  </math> 的距離
-∵<math>\frac{BD}{DC}=\frac{S_{\triangle ABD}}{S_{\triangle ADC}}=\frac{S_{\triangle OBD}}{S_{\triangle ODC}}</math>
+: <math>\triangle ABD</math> 的面積 = <math> (1/2) \cdot h \cdot \overline{BD}</math>
+: <math>\triangle ADC</math> 的面積 = <math> (1/2) \cdot h \cdot \overline{DC}</math>
+: <math> \therefore \triangle ABD</math> 的面積 / <math>\triangle ADC</math> 的面積 =  <math> \overline{BD} / \overline{DC} </math>
+: <math>\because\quad\frac{\overline{BD}}{\overline{DC}}=\frac{\mathrm{S}_{\triangle ABD}}{\mathrm{S}_{\triangle ADC}}=\frac{\mathrm{S}_{\triangle OBD}}{\mathrm{S}_{\triangle ODC}}.</math>
-由[[等比性质]]：
+由[[等比性质]],
-<math>\frac{BD}{DC}=\frac{S_{\triangle ABD} - S_{\triangle OBD}}{S_{\triangle ADC} - S_{\triangle ODC}}=\frac{S_{\triangle ABO}}{S_{\triangle CAO}}</math>
+: <math>\frac{\overline{BD}}{\overline{DC}}=\frac{\mathrm{S}_{\triangle ABD} - \mathrm{S}_{\triangle OBD}}{\mathrm{S}_{\triangle ADC} - \mathrm{S}_{\triangle ODC}}=\frac{\mathrm{S}_{\triangle ABO}}{\mathrm{S}_{\triangle CAO}}.</math>
-同理可证
-<math>\frac{CE}{EA}=\frac{S_{\triangle BCO}}{S_{\triangle ABO}}</math>，<math>\frac{AF}{FB}=\frac{S_{\triangle CAO}}{S_{\triangle BCO}}</math>
+: 同理 <math>\frac{\overline{CE}}{\overline{EA}}=\frac{\mathrm{S}_{\triangle BCO}}{\mathrm{S}_{\triangle ABO}},\;\frac{\overline{AF}}{\overline{FB}}=\frac{\mathrm{S}_{\triangle CAO}}{\mathrm{S}_{\triangle BCO}}.</math>
-∴<math>\frac{BD}{DC} \cdot \frac{CE}{EA} \cdot \frac{AF}{FB}=\frac{S_{\triangle ABO}}{S_{\triangle CAO}} \cdot \frac{S_{\triangle BCO}}{S_{\triangle ABO}} \cdot \frac{S_{\triangle CAO}}{S_{\triangle BCO}}=1</math>。证毕。
+: <math>\therefore\quad\frac{\overline{BD}}{\overline{DC}} \cdot \frac{\overline{CE}}{\overline{EA}} \cdot \frac{\overline{AF}}{\overline{FB}}=\frac{\mathrm{S}_{\triangle ABO}}{\mathrm{S}_{\triangle CAO}} \cdot \frac{\mathrm{S}_{\triangle BCO}}{\mathrm{S}_{\triangle ABO}} \cdot \frac{\mathrm{S}_{\triangle CAO}}{\mathrm{S}_{\triangle BCO}}=1.</math>
+证毕。<ref name=r1>{{cite book |title=Pure Geometry
+|first=John Wellesley|last=Russell|publisher=Clarendon Press|year=1905
+|chapter= Ch. 1 §7 Ceva's Theorem
+|url=https://books.google.com/books?id=r3ILAAAAYAAJ}}</ref><ref>[[Alfred S. Posamentier]] and Charles T. Salkind (1996), ''Challenging Problems in Geometry'', pages 177–180, Dover Publishing Co., second revised edition.</ref>
 ==系理：[[角平分線定理]]==
-在三角形<math>ABC</math>，角A的[[角平分線]]交<math>BC</math>於<math>D</math>，<math>\frac{DB}{DC}=\frac{AB}{AC}</math>。
+在三角形<math>ABC</math>中，<math>\angle A</math>的[[角平分線]]交<math>\overline{BC}</math>於<math>D</math>，<math>\frac{\overline{DB}}{\overline{DC}}=\frac{\overline{AB}}{\overline{AC}}</math>。
-==另見==
+==參見==
 *[[梅涅劳斯定理]]
 *[[莫雷角三分線定理]]
@@ 第37行： / 第45行： @@
 [[Category:三角形几何]]
 [[Category:仿射几何]]
-[[ar:مبرهنة سيفا]]
-[[az:Çeva Teoremi]]
-[[ca:Teorema de Ceva]]
-[[de:Satz von Ceva]]
-[[en:Ceva's theorem]]
-[[fi:Cevan lause]]
-[[fr:Théorème de Ceva]]
-[[he:משפט צ'בה]]
-[[hu:Ceva-tétel]]
-[[it:Teorema di Ceva]]
-[[ja:チェバの定理]]
-[[km:ទ្រឹស្តីបទឆិវ៉ា]]
-[[ko:체바의 정리]]
-[[mn:Чевийн теорем]]
-[[nl:Stelling van Ceva]]
-[[pl:Twierdzenie Cevy]]
-[[pt:Teorema de Ceva]]
-[[ro:Teorema lui Ceva]]
-[[ru:Теорема Чевы]]
-[[sl:Cevov izrek]]
-[[sw:Uhakiki wa Ceva]]
-[[th:ทฤษฎีบทของเซวา]]
-[[tr:Ceva teoremi]]
-[[uk:Теорема Чеви]]
-[[vi:Định lí Ceva]]