gaussian curvature는 intrinsic 이잖음. k1, k2를 principal curvature이라고 하고 얘네들로 다항식 F(k1, k2)를 만들면 이런 다항식중에 intrinsic인 애들은 어떤게 있음? F(k1,k2) = k1•k2 하나밖에 없진 않을거아님
k1, k2에 대한 다항식이고 대칭이니 k1k2랑 k1+k2에 대한 다항식인데, 전자는 isometry 불변이고 후자는 아니니 전체가 불변이려면 k1+k2 항이 아예 없어야됨. 그래서 본질적으로 k1k2 밖에 없음
오 그러네
오 설마가 사람잡네