Differential geometry problem

#	User	Rating
1	tourist	3985
2	jiangly	3814
3	jqdai0815	3682
4	Benq	3529
5	orzdevinwang	3526
6	ksun48	3517
7	Radewoosh	3410
8	hos.lyric	3399
9	ecnerwala	3392
9	Um_nik	3392

#	User	Contrib.
1	cry	169
2	maomao90	162
2	Um_nik	162
4	atcoder_official	161
5	djm03178	158
6	-is-this-fft-	157
7	adamant	155
8	awoo	154
8	Dominater069	154
10	luogu_official	150

Hi, everybody.

I'm interested in how to solve the next problem 18.

It's obvious, that if $\text{[math]}$ curve is plane.

Transform torsion at point ρ(s) as $\text{[math]}$ , where $\text{[math]}$ — is geodesic torsion at the point, and φ is angle between osculating plane and tangent plane. $\text{[math]}$ , where k1 and k2 are principal curvatures.

Also, if we consider the case, when curve doesn't lay in plane, and surface is a sphere. At any point on sphere k1(s) = k2(s), and we have to prove that $\text{[math]}$ .

In other cases we are able to find a point, where k1 ≠ k2. And I guess we should constract such curve in a neighbourhood of that point $\text{[math]}$ .

Any ideas how to complete this solution? Or any others solutions are welcome.

UPD1 Solution for sphere.

Let $\text{[math]}$ . If the curve lays on the sphere then the equality $\text{[math]}$ holds. By means of a little transformation of this equality, we can obtain $\text{[math]}$ . $\text{[math]}$ , because the radius of curvature is constannt in any point on the sphere.

scorpion's blog