Το θεώρημα του Όιλερ δίνει έναν τύπο για την απόσταση
O
I
{\displaystyle \mathrm {OI} }
, συναρτήσει των
R
{\displaystyle R}
και
r
{\displaystyle r}
.
Στην γεωμετρία , το θεώρημα του Όιλερ ή σχέση Όιλερ (αναφέρεται και ως θεώρημα του Euler ή σχέση Euler ) είναι ο τύπος για την απόσταση του περίκεντρου
O
{\displaystyle \mathrm {O} }
από το έγκεντρο
I
{\displaystyle \mathrm {I} }
σε ένα τρίγωνο
A
B
Γ
{\displaystyle \mathrm {AB\Gamma } }
:[ 1] :215-216
O
I
2
=
R
2
−
2
R
ρ
{\displaystyle \mathrm {OI} ^{2}=R^{2}-2R\rho }
,
όπου
R
{\displaystyle R}
η ακτίνα του περιγεγραμμένου κύκλου και
ρ
{\displaystyle \rho }
η ακτίνα του εγγεγραμμένου κύκλου .
Επίσης, αν
J
A
,
J
B
,
J
Γ
{\displaystyle \mathrm {J_{A}} ,\mathrm {J_{B}} ,\mathrm {J_{\Gamma }} }
είναι τα κέντρα των παρεγγεγραμμένων κύκλων και
ρ
A
,
ρ
B
,
ρ
Γ
{\displaystyle \rho _{\mathrm {A} },\rho _{\mathrm {B} },\rho _{\mathrm {\Gamma } }}
οι ακτίνες τους, τότε
O
J
A
2
=
R
2
+
2
R
ρ
A
,
{\displaystyle \mathrm {OJ_{A}} ^{2}=R^{2}+2R\rho _{\mathrm {A} },\quad }
O
J
B
2
=
R
2
+
2
R
ρ
B
,
{\displaystyle \mathrm {OJ_{B}} ^{2}=R^{2}+2R\rho _{\mathrm {B} },\quad }
και
O
J
Γ
2
=
R
2
+
2
R
ρ
Γ
.
{\displaystyle \quad \mathrm {OJ_{\Gamma }} ^{2}=R^{2}+2R\rho _{\mathrm {\Gamma } }.}
Το θεώρημα παίρνει το όνομά του από τον Λέοναρντ Όιλερ που το δημοσίευσε το 1765.[ 2]
Το ίδιο αποτέλεσμα είχε δημοσιευθεί νωρίτερα από τον William Chapple το 1746.[ 3]
Σχήμα απόδειξης για το θεώρημα του Όιλερ.
Θεωρούμε την τομή
Δ
{\displaystyle \mathrm {\Delta } }
της προέκτασης της
A
I
{\displaystyle \mathrm {AI} }
με τον περιγεγραμμένο κύκλο του τριγώνου και
E
{\displaystyle \mathrm {E} }
το αντιδιαμετρικό σημείο του
Δ
{\displaystyle \mathrm {\Delta } }
.
Τώρα θα δείξουμε ότι
I
Δ
=
B
Δ
{\displaystyle \mathrm {I\Delta } =\mathrm {B\Delta } }
. Η
∠
B
I
Δ
=
∠
I
A
B
+
∠
I
B
A
=
1
2
⋅
(
A
^
+
B
^
)
{\displaystyle \angle \mathrm {BI\Delta } =\angle \mathrm {IAB} +\angle \mathrm {IBA} ={\tfrac {1}{2}}\cdot ({\hat {\mathrm {A} }}+{\hat {\mathrm {B} }})}
, ως εξωτερική γωνία στο τρίγωνο
A
I
B
{\displaystyle \mathrm {AIB} }
. Επίσης, έχουμε ότι
∠
I
B
Δ
=
1
2
⋅
(
A
^
+
B
^
)
{\displaystyle \angle \mathrm {IB\Delta } ={\tfrac {1}{2}}\cdot ({\hat {\mathrm {A} }}+{\hat {\mathrm {B} }})}
, καθώς
∠
I
B
Γ
=
1
2
B
^
{\displaystyle \angle \mathrm {IB\Gamma } ={\tfrac {1}{2}}{\hat {\mathrm {B} }}}
και
∠
Δ
B
Γ
=
∠
Δ
A
Γ
=
1
2
A
^
{\displaystyle \angle \mathrm {\Delta B\Gamma } =\angle \mathrm {\Delta A\Gamma } ={\tfrac {1}{2}}{\hat {\mathrm {A} }}}
ως εγγεγραμμένες γωνίες που βαίνουν στα ίδια τόξα .
Συνεπώς, το τρίγωνο
B
I
Δ
{\displaystyle \mathrm {BI\Delta } }
είναι ισοσκελές και
B
Δ
=
I
Δ
{\displaystyle \mathrm {B\Delta } =\mathrm {I\Delta } }
.
Στην συνέχεια, τα ορθογώνια τρίγωνα
A
I
I
Γ
{\displaystyle \mathrm {AI~I_{\Gamma }} }
και
B
Δ
E
{\displaystyle \mathrm {B\Delta E} }
είναι όμοια και επομένως
I
A
I
I
Γ
=
Δ
E
B
Δ
{\displaystyle {\frac {\mathrm {IA} }{\mathrm {I~I_{\Gamma }} }}={\frac {\mathrm {\Delta E} }{\mathrm {B\Delta } }}}
.
Χρησιμοποιώντας ότι
I
I
Γ
=
ρ
{\displaystyle \mathrm {I~I_{\Gamma }} =\rho }
,
Δ
E
=
2
R
{\displaystyle \mathrm {\Delta E} =2R}
και
B
Δ
=
I
Δ
{\displaystyle \mathrm {B\Delta } =\mathrm {I\Delta } }
λαμβάνουμε ότι
I
A
⋅
I
Δ
=
B
E
⋅
I
I
Γ
=
2
R
⋅
ρ
{\displaystyle \mathrm {IA} \cdot \mathrm {I\Delta } =\mathrm {BE} \cdot \mathrm {I~I_{\Gamma }} =2R\cdot \rho }
.
Τέλος από την δύναμη του
A
{\displaystyle \mathrm {A} }
ως προς τον περιγεγραμμένο κύκλο, καταλήγουμε ότι
R
2
−
O
I
2
=
2
R
ρ
⇒
O
I
2
=
R
2
−
2
R
ρ
{\displaystyle R^{2}-\mathrm {OI} ^{2}=2R\rho \Rightarrow \mathrm {OI} ^{2}=R^{2}-2R\rho }
.
↑ Ταβανλης, Χ. Επίπεδος Γεωμετρία . Αθήνα: Ι. Χιωτελη.
↑ Leversha, Gerry; Smith, G. C. (November 2007), «Euler and triangle geometry», The Mathematical Gazette 91 (522): 436–452, doi :10.1017/S0025557200182087
↑ Chapple, William (1746), «An essay on the properties of triangles inscribed in and circumscribed about two given circles» , Miscellanea Curiosa Mathematica 4 : 117–124, https://archive.org/details/miscellaneacuri01unkngoog/page/n142 . Η σχέση είναι κοντά στο τέλος της σελίδας 123.
Είδη τριγώνου
Βάσει μεγαλύτερης γωνίας Βάσει πλευρών Άλλα
Σημεία τριγώνου
Ευθείες τριγώνου
Κύκλοι τριγώνου
Μετρικές σχέσεις
Αναλογίες Εμβαδόν Μήκη σεβιανών Τριγωνομετρικές σχέσεις Άλλες
Σχετικά θεωρήματα Παράγωγα τρίγωνα