Soyle bir fikir yuruttum ne kadar dogru emin degilim.
$P_1$, $P_2$ nin antipodu olsun.
$A = P_1P_2$ dogrusunu cizelim.
$A$ ya paralel, egri ile kesismeyen, egriye en yakin $A_1$ ve $A_2$ dogrularini cizelim.
$A_1$ ile $A$ arasindaki uzaklik $A_2$ ile $A$ arasindaki uzakliga esit olmali sanki.
egri uzerindeki butun antipodlari birlestiren dogrulari cizelim.
Bu dogrularin $A_1$ ve $A_2$ ile kesisimlerinden egrinin sag tarafi ve sol tarafi icin $(A_i,\phi_i : A_i \to (0,1) )$ haritalarini elde edebiliriz. Bu haritalarin soyle bir ozelligi olmali
$\phi_1^{-1}(x) = \phi_2^{-1}(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 $P_1P_2$ arasindaki uzunlugun iki kati oldugunu soyleyebiliriz