logo

구면에 놓이는 곡선에 대한 공식 📂기하학

구면에 놓이는 곡선에 대한 공식

공식 1

단위 스피드 커브 α:I→R3\alpha : I \to \mathbb{R}^{3} 이 중심 mm 에 반지름 rr 인 구면 위에 놓인다고 하자. 즉 α(I)⊂Sr,m={x∈R3:<x−m,x−m>=r2} \alpha (I) \subset S_{r,m} = \left\{ x \in \mathbb{R}^{3} : \left< x - m , x - m \right> = r^{2} \right\} 이라고 하면 κ≠0\kappa \ne 0 이다. 만약 τ≠0\tau \ne 0 면 ρ=1/κ\rho = 1/\kappa 와 σ=1/τ\sigma = 1 / \tau 에 대해 α−m=−ρN−ρ′σB \alpha - m = - \rho N - \rho^{\prime} \sigma B 이고, 반지름에 대해 정리하면 r2=ρ2+(ρ′σ)2 r^{2} = \rho^{2} + \left( \rho^{\prime} \sigma \right)^{2}

유도

보조정리: nn차원 내적공간 VV 에서 E={e1,⋯ ,en}E = \left\{ e_{1} , \cdots , e_{n} \right\} 이 직교 집합이라고 하면 EE 는 VV 의 기저고, 모든 v∈Vv \in V 에 대해 v=∑k=1n<v,ek>ek v = \sum_{k=1}^{n} \left< v , e_{k} \right> e_{k}

내적의 미분법: <f,g>′=<f′,g>+<f,g′>\left< f, g \right>^{\prime} = \left< f^{\prime}, g \right> + \left< f, g^{\prime} \right>

프레네-세레 공식: α\alpha 가 κ(s)≠0\kappa (s) \ne 0 인 단위 스피드 커브라고 하면 T′(s)=κ(s)N(s)N′(s)=−κ(s)T(s)+τ(s)B(s)B′(s)=−τ(s)N(s) \begin{align*} T^{\prime}(s) =& \kappa (s) N(s) \\ N^{\prime}(s) =& - \kappa (s) T(s) + \tau (s) B(s) \\ B^{\prime}(s) =& - \tau (s) N(s) \end{align*}

<α(s)−m,α(s)−m>=r2 \left< \alpha (s) - m , \alpha (s) - m \right> = r^{2} 미분하면 r2r^{2} 가 상수고 T=α′T = \alpha^{\prime} 이므로 0=2<T,α(s)−m> \begin{equation} 0 = 2 \left< T , \alpha (s) - m \right> \label{1} \end{equation} 양변을 22 로 나눈 후 한 번 더 미분하면 α\alpha 가 단위 스피드 커브고, 프레네-세레 공식 T′=κNT^{\prime} = \kappa N 에 따라 0=<T,α(s)−m>′=<T′,α(s)−m>+<T,T>=<κN,α(s)−m>+1 \begin{align*} 0 =& \left< T , \alpha (s) - m \right>^{\prime} \\ =& \left< T^{\prime} , \alpha (s) - m \right> + \left< T ,T \right> \\ =& \left< \kappa N , \alpha (s) - m \right> + 1 \end{align*} 정리하면 κ<N,α(s)−m>=−1 \kappa \left< N, \alpha (s) - m \right> = -1 ρ=1/κ\rho = 1 / \kappa 에 대해 나타내면 <N,α(s)−m>=−1κ=−ρ \begin{equation} \left< N, \alpha (s) - m \right> = - {{ 1 } \over { \kappa }} = - \rho \label{2} \end{equation} 보조정리에 따라 α(s)−m=<α(s)−m,T>T+<α(s)−m,N>N+<α(s)−m,B>B=0−ρN+<α(s)−m,B>B∵(1),(2) \begin{align*} & \alpha (s) - m \\ =& \left< \alpha (s) - m , T \right> T + \left< \alpha (s) - m , N \right> N + \left< \alpha (s) - m , B \right> B & \\ =& 0 - \rho N + \left< \alpha (s) - m , B \right> B & \because (1), (2) \end{align*} 이제 <α(s)−m,B>\left< \alpha (s) - m , B \right> 만 찾으면 된다. (2)\eqref{2} 의 양변을 미분하면 −ρ′=<N,α(s)−m>′=<N′,α(s)−m>+<N,T>=<−κT+τB,α(s)−m>+0=τ<B,α(s)−m> \begin{align*} - \rho^{\prime} =& \left< N , \alpha (s) - m \right>^{\prime} \\ =& \left< N^{\prime} , \alpha (s) - m \right> + \left< N, T \right> \\ =& \left< -\kappa T + \tau B , \alpha (s) - m \right> + 0 \\ =& \tau \left< B , \alpha (s) - m \right> \end{align*} σ=1/τ\sigma = 1/\tau 에 대해 나타내면 <α(s)−m,B>=−ρ′τ=−σρ′ \left< \alpha (s) - m , B \right> = - {{ \rho^{\prime} } \over { \tau }} = - \sigma \rho^{\prime} 마지막으로 다음을 얻는다. α(s)−m=−ρN−σρ′B \alpha (s) - m = - \rho N - \sigma \rho^{\prime} B

r2r^{2} 에 대한 공식은 다음과 같이 유도된다. r2=<α(s)−m,α(s)−m>=<−ρN−ρ′σB,−ρN−ρ′σB>=ρ2<N,N>2+2ρρ′σ<N,B>+(ρ′σ)2<B,B>2=ρ2⋅1+2ρρ′σ⋅0+(ρ′σ)2=ρ2+(ρ′σ)2 \begin{align*} r^{2} =& \left< \alpha (s) - m , \alpha (s) - m \right> \\ =& \left< -\rho N - \rho^{\prime} \sigma B , -\rho N - \rho^{\prime} \sigma B \right> \\ =& \rho^{2} \left< N, N \right>^{2} + 2 \rho \rho^{\prime} \sigma \left< N, B \right> + \left( \rho^{\prime} \sigma \right)^{2} \left< B, B \right>^{2} \\ =& \rho^{2} \cdot 1 + 2 \rho \rho^{\prime} \sigma \cdot 0 + \left( \rho^{\prime} \sigma \right)^{2} \\ =& \rho^{2} + \left( \rho^{\prime} \sigma \right)^{2} \end{align*}

■

  1. Millman. (1977). Elements of Differential Geometry: p34. ↩︎