Bizonyítsuk be, hogy a szabályos kilencszögben a leghosszabb átló hossza egyenlő az oldal és a legrövidebb átló összegével.