Teljessé vált a félreértés...

Szóval van két pont a gömbön, ami nem végpontja egy átmérőnek. Ezen pontokra illesztünk egy főkört. Így a két pontot két ív köti össze, egy rövidebb meg egy hosszabb.
A rövidebb az egy abszolút minimum, semmi kétség.
Igen ám, de a _hosszabbat_ (a főkör hosszabb ívét) is lokális minimumnak nevezted, ha jól értettem.
Ez az amit vagy félreértettem, vagy nem úgy van, vagy a lokális minimumot nem úgy értelmezem ahogy te.
Vegyük ugyanis az eredeti főkör síkját, az nyilván a legnagyobb lehetséges kört metszi ki a gömbből. Forgassuk el ezt a síkot a két pont által meghatározott tengely körül egy kis d_fi szöggel. Ez most egy kisebb kört metsz ki a gömbből.
Ennek a kisebb körnek is eleme a két pont, és a két pont közötti rövidebb ív most hosszabb mint a főkörrel volt (abszolút minimum volt a főkörrel, most meg nem az).
Nézzük a hosszabb felét az új körnek. Ez egy _kisebb_ kör mint a főkör, és az előző mondat szerint a rövidebb íve _hosszabb_, mint a főkör rövidebb íve volt. Akkor az új kör hosszabb ívdarabja nyilván rövidebb mint a főkör hosszabb íve volt. (Kisebb kerületű körből többet veszünk el)
Vagyis a hosszabb ívdarab egy kis elmozdítással rövidebb lett -> akkor pedig nem lokális minimum (vagy nem jól értelmezem ezt a fogalmat).