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. Jelöljük a , háromszögek arányú beírt háromszögeit -gal, illetve -sal (olvasd: há fölül vonás). Megmutatjuk, hogy a -nak arányú beírt háromszöge, és -ból az centrumú arányú hasonlósági transzformációval is megkapható, ahol a súlypontja. Jelöljük csúcsait -gal, -gal, -gal, a , , szakaszok felezőpontjait rendre -vel, -val, -rel.
Mivel
azért az háromszög -ból az centrumú, arányú hasonlósággal kapható meg, emiatt , és . A , pontok származtatása miatt , , tehát a -ból az centrumú, arányú hasonlósággal kapható meg, emiatt , és . Legyen a szakasznak az a pontja, amelyre akkor az centrumú, arányú hasonlóság -t -ba, -t -ba viszi, így Tehát a -nek arányú, és a -nak arányú beírt háromszögében is csúcs, és rajta van -nak súlyvonalán. miatt | | tehát az -ból az centrumú, | | arányú hasonlósággal is megkapható. Hasonlóan láthatók be a másik két csúcsára vonatkozó állításaink is, előrebocsátott megjegyzésünk bizonyítását ezzel befejeztük. A most bizonyított állítás szerint a -ből arányú centrális hasonlósággal kapható meg, tehát kerülete kerületének -szorosa. Eszerint a háromszögek kerületei mértani sorozatot alkotnak, amelyben az első tag , és a szomszédos elemek hányadosa , és . Ismeretes, hogy ebben az ( elemű) sorozatban az elemek összege , tehát a háromszögek kerületeinek összege, ha minden határon túl nő, | |
Láttuk már, hogy egy háromszög arányú beírt háromszögének arányú beírt háromszöge megegyezik a háromszög arányú beírt háromszögének arányú beírt háromszögével. Emiatt a háromszögek kerületei is mértani sorozatot alkotnak, amelyben a szomszédos elemek hányadosa szintén . A feladat b) állítása tehát következik abból a tényből, hogy az azonos hányadosú (végtelen) mértani sorok összegei úgy aránylanak egymáshoz, mint e sorok első tagjai. |