A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. I. megoldás. Jelöljük a körvonalat -val, középpontját -val, sugarát pedig -rel. Ha egybeesik -val, akkor sohasem keletkezik háromszög, ezért ekkor a mértani hely üres. Ha a körvonalra esik, akkor Thalész tétele szerint a keletkezett háromszögek -nél lévő szöge derékszög, azaz a magasságpontjuk mindig , tehát ekkor a mértani hely egyedül a pontból áll.
A továbbiakban tegyük fel, hogy a pont távolságra helyezkedik el -tól, ahol . Legyen az félegyenesnek az a pontja, amely -tól távolságra van. Megmutatjuk, hogy a keresett mértani hely az az egyenes, amely merőleges az egyenesre és áthalad -n. Indítsunk -ból helyvektorokat és jelöljük ezeket a megfelelő kisbetűvel, azaz tetszőleges pont esetén legyen . Ha az háromszög magasságpontja , akkor -et a háromszög csúcsaival összekötő egyenesek merőlegesek a háromszög szemközti oldalaira. Tehát merőleges a vektorra, pedig merőleges a vektorra. Mivel , a vektorok skaláris szorzatát használva ezt az | | összefüggésekkel fejezhetjük ki. Ezeket összeadva kapjuk, hogy , vagyis mc=a2. A D definíciójából viszont az következik, hogy dc=a2, ezért mc=dc, s így (m-d)c=0. Az m-d vektor tehát merőleges a c vektorra, vagyis MD merőleges OC-re. Ezért az M pont rajta van az e egyenesen. Megmutatjuk, hogy az e egyenes minden pontja előáll valamely megfelelő háromszög magasságpontjaként. Legyen E az e egyenes tetszőleges pontja. A k-nak pontosan egy EC-re merőleges AEBE átmérője létezik. Mivel EC nem párhuzamos e-vel, az AE és BE nem eshet az OC egyenesre, tehát AE, BE, és C mindig háromszöget alkot. Ennek a háromszögnek a magasságpontja az előzőekben bizonyítottak szerint illeszkedik e-re, s mivel EC merőleges AEBE-re, azért EC-re is. Azaz a magasságpont nem lehet más, mint az EC egyenes e-vel alkotott E metszéspontja.
II. megoldás. Használjuk az I. megoldás jelöléseit. Ha C≡O vagy C∈k, akkor ugyanazt mondhatjuk, mint az I. megoldásban. Ha ezek egyike sem teljesül, akkor legyen az OC szakasz Thalész-köre ℓ, a k és ℓ hatványvonala h, az ABC háromszög magasságainak talppontjai pedig rendre A', B' és C'. Megmutatjuk, hogy a keresett mértani hely a h egyenes.
Az ABC háromszög f Feuerbach-köre átmegy az A', B', C' pontokon, valamint az MA, MB, MC szakaszok felezőpontjain. Ezért M-nek f-re vonatkozó hatványát szelőszakaszok szorzataként felírva kapjuk, hogy azaz Viszont AA'B∢=BB'A∢=OC'C∢=90∘, ezért Thalész tételének megfordítása miatt A' és B' rajta vannak k-n, C' pedig rajta van ℓ-en. Tehát A'M⋅MA=B'M⋅MB éppen M-nek k-ra vonatkozó hatványa, míg C'M⋅MC az M-nek ℓ-re vonatkozó hatványa. Vagyis M-nek a két körre vonatkozó hatványa egyenlő, ezért M illeszkedik a körök h hatványvonalára. Be kell még látnunk, hogy h minden pontja a mértani helyhez tartozik. Tetszőleges h-ra illeszkedő H pont esetén legyen HC és ℓ C-től különböző metszéspontja CH (ez mindig létezik, mert ℓ-nek a C-beli érintője párhuzamos h-val), k-nak a CCH egyenesre merőleges átmérője pedig AHBH. Mivel CCH nem párhuzamos h-val, azért AH, BH, és C mindig háromszöget alkot. Ennek a háromszögnek a magasságpontja az előzőekben bizonyítottak szerint illeszkedik h-ra, s mivel CCH merőleges AHBH-ra, így CCH-ra is. Azaz a magasságpont nem lehet más, mint a CCH egyenes h-val alkotott H metszéspontja. Ez éppen C-nek a k-ra vonatkozó inverze.A hatványvonalról bővebben lásd: http://www.lexikon.fazekas.hu/. |