Soyle bir fikir yuruttum ne kadar dogru emin degilim.
P1, P2 nin antipodu olsun.
A=P1P2 dogrusunu cizelim.
A ya paralel, egri ile kesismeyen, egriye en yakin A1 ve A2 dogrularini cizelim.
A1 ile A arasindaki uzaklik A2 ile A arasindaki uzakliga esit olmali sanki.
egri uzerindeki butun antipodlari birlestiren dogrulari cizelim.
Bu dogrularin A1 ve A2 ile kesisimlerinden egrinin sag tarafi ve sol tarafi icin (Ai,ϕi:Ai→(0,1)) haritalarini elde edebiliriz. Bu haritalarin soyle bir ozelligi olmali
ϕ−11(x)=ϕ−12(1−x)
Galiba x noktasindaki tanjant uzayi ile y noktasindaki tanjant uzayi birbirine pararalel olacak eger x ile y birbirinin antipodu ise. (bu manali mi, manali ise formal tanimi ne ?)
sanki bunlardan yola cikip egrinin cevresinin uzunlugunun P1P2 arasindaki uzunlugun iki kati oldugunu soyleyebiliriz