Drobiazgi
Krótki dowód twierdzenia Routha
Niech będzie dowolnym trójkątem, a
punktami leżącymi odpowiednio na bokach
(Rys. 1). Przyjmijmy, że
oraz niech

Oznaczając przez pole figury
mamy następujący wzór
![2 EF] [D-----= ------------(pqr-−1)------------, [ABC] (1 +p + pq)(1 +q + qr)(1+ r+ rp)](/math/temat/matematyka/geometria/planimetria/2016/07/31/Krotki_dowod_twierdzenia_Routha/8x-d58a1f0613d9cbd9feaeaa7bac1b4884b1c99aeb-dm-33,33,33-FF,FF,FF.gif)
znany pod nazwą twierdzenia Routha.
Dowody tego wzoru, które można znaleźć w dostępnej literaturze, używają na ogół rachunku wektorowego lub geometrii analitycznej. Podamy tutaj krótki geometryczny dowód tego twierdzenia.
Poprowadźmy przez punkt prostą
równoległą do prostej
Niech ponadto
a także
(Rys. 2). Korzystając z twierdzenia Talesa, uzyskujemy
![]() |
(*) |
Wobec tego
![[ABC]-- CS- CF- 1- 1+-p-+-pq [ABF]= FS = 1+ FS = 1+ p +q = p .](/math/temat/matematyka/geometria/planimetria/2016/07/31/Krotki_dowod_twierdzenia_Routha/7x-2a0583da172c21cc85f17492daa9676440c8d900-dm-33,33,33-FF,FF,FF.gif)
Analogicznie otrzymujemy
![[ABC]-- 1+-q-+qr- [ABC]-- 1-+r-+-rp ] [BCD = q oraz [CAE]= r .](/math/temat/matematyka/geometria/planimetria/2016/07/31/Krotki_dowod_twierdzenia_Routha/8x-2a0583da172c21cc85f17492daa9676440c8d900-dm-33,33,33-FF,FF,FF.gif)
Stąd ostatecznie obliczamy:

co kończy dowód.
Uwaga. Udowodniona tożsamość nosi nazwę twierdzenia van Aubela.