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. A és a parabola metszéspontjának kiszámításához vonjuk ki egyenletéből egyenletét: Ebből | |
A két parabola akkor érinti egymást, ha itt 0 a diszkrimináns, vagyis A metszéspont koordinátái ekkor:
Hasonlóan a és a parabola esetében:
A két metszéspontot összekötő egyenes meredeksége:
Az (1)-es és a (2) egyenlet felhasználásával ebből | | következik. A két parabolát egyszerre érintő egyenes egyenlete legyen . Ennek az egyenesnek akkor lesz egy közös pontja a parabolákkal, ha
Ebből: | |
Az (1)-es egyenletből kivonva a (2)-est: | | Ebből: | |
Tehát . Ezt kellett bizonyítani.
II. megoldás. Mivel a főegyütthatók megegyeznek vagy egymás ellentettjei, a három parabola egybevágó, és a vezéregyenesük párhuzamos az tengellyel. Az egymást érintő parabolák egymás középpontos tükörképei, ha a főegyütthatóik egymás ellentettjei. Ha ugyanis egy parabolát egy pontjára tükrözünk, akkor egy őt érintő parabolát kapunk: ha -n kívül lenne más közös pontjuk, akkor annak a tükörképe is közös pont lenne, de három közös pontja nem lehet két különböző, függőleges tengelyű parabolának. Ha pedig az egyik parabola fókuszpontját az tengellyel párhuzamosan mozgatni kezdjük, akkor már nyilván nem lehet érintő.
Jelölje rendre és azt a két pontot, amiben , illetve érinti -at. A -et és -t úgy kaphatjuk meg, hogy -at a , illetve érintési pontra tükrözzük. Ebből következik, hogy a parabolának a vektorral való eltoltja . Ezért a parabolák fókuszaira is teljesül. Jelölje végül és közös érintőjének e két parabolával vett érintési pontjait rendre és . Ha az egyenest eltoljuk -vel, akkor a -nek egy -vel párhuzamos érintőjét kapjuk. Mivel egy parabolának nincs két, egymással párhuzamos érintője, azért e két érintő egybeesik, azaz párhuzamos -vel, az pedig párhuzamos az háromszög oldalához tartozó középvonallal, -vel. |