Θεώρημα Πάππου για το εμβαδόν

Στην γεωμετρία, το θεώρημα Πάππου για το εμβαδόν είναι ένα θεώρημα που συσχετίζεται τα εμβαδά τριών παραλληλογράμμων στις πλευρές ενός τριγώνου. Πιο συγκεκριμένα, για δύο τυχόντα παραλληλόγραμμα A B Δ E {\displaystyle \mathrm {AB\Delta E} } και A Γ Θ H {\displaystyle \mathrm {A\Gamma \Theta H} } στις πλευρές ενός τριγώνου A B Γ {\displaystyle \mathrm {AB\Gamma } } , και το παραλληλόγραμμο B Γ K I {\displaystyle \mathrm {B\Gamma KI} } με πλευρά ίση και παράλληλη με την A A ′ {\displaystyle \mathrm {AA'} } , όπου A ′ {\displaystyle \mathrm {A} '} το σημείο τομής των Δ E {\displaystyle \mathrm {\Delta E} } και I K {\displaystyle \mathrm {IK} } , ισχύει ότι E B Γ K I = E A B Δ E + E A Γ Θ H . {\displaystyle \mathrm {E} _{\mathrm {B\Gamma KI} }=\mathrm {E} _{\mathrm {AB\Delta E} }+\mathrm {E} _{\mathrm {A\Gamma \Theta H} }.} Το θεώρημα παίρνει το όνομά του από τον Πάππο της Αλεξάνδρειας.

 Θεωρούμε τις παράλληλες στην A A ′ {\displaystyle \mathrm {AA'} } από το B {\displaystyle \mathrm {B} } και το Γ {\displaystyle \mathrm {\Gamma } } και την τομή τους B ′ {\displaystyle \mathrm {B} '} με την E Δ {\displaystyle \mathrm {E\Delta } } και Γ ′ {\displaystyle \mathrm {\Gamma '} } με την Θ H {\displaystyle \mathrm {\Theta H} } αντίστοιχα. Επίσης, θεωρούμε τις τομές Λ , M {\displaystyle \mathrm {\Lambda } ,\mathrm {M} } της προέκτασης της A A ′ {\displaystyle \mathrm {AA'} } με την B Γ {\displaystyle \mathrm {B\Gamma } } και I K {\displaystyle \mathrm {IK} } . Τέλος, B ′ {\displaystyle \mathrm {B'} } και Γ ′ {\displaystyle \mathrm {\Gamma '} } είναι οι τομές της προέκτασης της I B {\displaystyle \mathrm {IB} } με την Δ E {\displaystyle \mathrm {\Delta E} } και της K Γ {\displaystyle \mathrm {K\Gamma } } με την H Θ {\displaystyle \mathrm {H\Theta } } . Τα τετράπλευρά A B B ′ A ′ {\displaystyle \mathrm {ABB'A'} } και A Γ Γ ′ A ′ {\displaystyle \mathrm {A\Gamma \Gamma 'A'} } έχουν δύο πλευρές παράλληλες, και επομένως είναι παραλληλόγραμμα, δηλαδή A A ′ = B B ′ = Γ Γ ′ {\displaystyle \mathrm {AA'} =\mathrm {BB'} =\mathrm {\Gamma \Gamma '} } . Τα παραλληλόγραμμα A B Δ E {\displaystyle \mathrm {AB\Delta E} } και A B B ′ A ′ {\displaystyle \mathrm {ABB'A'} } έχουν τη μία βάση κοινή και το ίδιο ύψος u 1 {\displaystyle u_{1}} . Άρα έχουν το ίδιο εμβαδόν, δηλαδή E A B Δ E = E A B B ′ A ′ {\displaystyle \mathrm {E} _{\mathrm {AB\Delta E} }=\mathrm {E} _{\mathrm {ABB'A'} }} . Επίσης, τα παραλληλόγραμμα A B B ′ A ′ {\displaystyle \mathrm {ABB'A'} } και B Λ M I {\displaystyle \mathrm {B\Lambda MI} } έχουν το ίδιο εμβαδόν, καθώς έχουν μία ίση βάση ( B B ′ = B I {\displaystyle \mathrm {BB'} =\mathrm {BI} } ) και κοινό ύψος το u 3 {\displaystyle u_{3}} . Επομένως, E A B Δ E = E A B B ′ A ′ = E B Λ M I {\displaystyle \mathrm {E} _{\mathrm {AB\Delta E} }=\mathrm {E} _{\mathrm {ABB'A'} }=\mathrm {E} _{\mathrm {B\Lambda MI} }} . Αντίστοιχα, λαμβάνουμε ότι τα παραλληλόγραμμα A Γ Θ H {\displaystyle \mathrm {A\Gamma \Theta H} } , A Γ Γ ′ A ′ {\displaystyle \mathrm {A\Gamma \Gamma 'A'} } και Γ Λ M K {\displaystyle \mathrm {\Gamma \Lambda MK} } έχουν το ίδιο εμβαδόν. Τέλος, ολοκληρώνουμε με E A B Δ E + E A Γ Θ H = E B Λ M I + E Γ Λ M K = E B Γ K I . {\displaystyle \mathrm {E} _{\mathrm {AB\Delta E} }+\mathrm {E} _{\mathrm {A\Gamma \Theta H} }=\mathrm {E} _{\mathrm {B\Lambda MI} }+\mathrm {E} _{\mathrm {\Gamma \Lambda MK} }=\mathrm {E} _{\mathrm {B\Gamma KI} }.} Εμβαδόν Παραλληλόγραμμο