"포락선(envelope)과 curve stitching"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
10번째 줄: 10번째 줄:
  
 
* "one-parameter family 에 있는 모든 곡선에 적어도 한 점에서 접하는 성질을 갖는" 곡선
 
* "one-parameter family 에 있는 모든 곡선에 적어도 한 점에서 접하는 성질을 갖는" 곡선
*  이를 주어진 곡선의 family에 대한 [http://en.wikipedia.org/wiki/Envelope_%28mathematics%29 envelope] 이라 부른다.<br>
+
*  이를 주어진 곡선의 family에 대한 포락선이라 부른다.<br>
* 이러한 방식으로 얻어지는 그림들을 curve stitching 또는 string art 라는 이름으로 부르기도
+
* 이러한 그림을 그리는 기술은 curve stitching 또는 string art 라는 이름으로 불리기도
  
 
 
 
 
17번째 줄: 17번째 줄:
 
 
 
 
  
<h5>envelope </h5>
+
<h5>포락선(envelope )</h5>
  
* 곡선들이 파라메터 t 에 의해 <math>F(x,y,t)=0</math> 로 주어진다고 가정하자.
+
* 곡선들이 매개변수 t 에 의해 <math>F(x,y,t)=0</math> 로 주어진다고 가정하자.
envelope은 다음 연립방정식에서 t를 소거하여 얻을 수 있다.<br><math>\left\{ \begin{array}{c}  F(x,y,t)=0 \\ \frac{\partial F}{\partial t}(x,y,t)=0 \end{array} \right.</math><br>
+
이 곡선들에 대한 포락선은 다음 연립방정식에서 t를 소거하여 얻을 수 있다.<br><math>\left\{ \begin{array}{c}  F(x,y,t)=0 \\ \frac{\partial F}{\partial t}(x,y,t)=0 \end{array} \right.</math><br>
  
 
 
 
 
54번째 줄: 54번째 줄:
 
<h5>예1</h5>
 
<h5>예1</h5>
  
*  파라메터 t에 대하여 다음과 같은 직선들을 생각하자<br><math>\frac{x}{t}+\frac{y}{10-t}=1</math><br>
+
*  파라메터 t에 대하여 다음과 같은 직선들을 생각하자<br><math>\frac{x}{t}+\frac{y}{10-t}=1</math> ,  <math>t=1,\cdots, 9</math><br>
  
 
[/pages/9431928/attachments/5587508 parabola1.gif]
 
[/pages/9431928/attachments/5587508 parabola1.gif]
  
* 위에선 <math>t=1,\cdots, 9</math> 에 대한 그림을 그렸다
 
 
* 그림을 보면, 이 직선들에 접하는 곡선이 나타나는 것을 관찰할 수 있다.
 
* 그림을 보면, 이 직선들에 접하는 곡선이 나타나는 것을 관찰할 수 있다.
 
*  포락선을 구하기 위해 위에서 언급한 결과를 이용하자<br><math>F(x,y,t)=t^2 + t(y-x-10) + 10x</math><br><math>\frac{\partial F(x,y,t)}{\partial t}=2t+ y-x-10</math><br>
 
*  포락선을 구하기 위해 위에서 언급한 결과를 이용하자<br><math>F(x,y,t)=t^2 + t(y-x-10) + 10x</math><br><math>\frac{\partial F(x,y,t)}{\partial t}=2t+ y-x-10</math><br>

2012년 8월 2일 (목) 18:10 판

이 항목의 수학노트 원문주소

 

 

개요
  • "one-parameter family 에 있는 모든 곡선에 적어도 한 점에서 접하는 성질을 갖는" 곡선
  • 이를 주어진 곡선의 family에 대한 포락선이라 부른다.
  • 이러한 그림을 그리는 기술은 curve stitching 또는 string art 라는 이름으로 불리기도 함

 

 

포락선(envelope )
  • 곡선들이 매개변수 t 에 의해 \(F(x,y,t)=0\) 로 주어진다고 가정하자.
  • 이 곡선들에 대한 포락선은 다음 연립방정식에서 t를 소거하여 얻을 수 있다.
    \(\left\{ \begin{array}{c} F(x,y,t)=0 \\ \frac{\partial F}{\partial t}(x,y,t)=0 \end{array} \right.\)

 

(증명)

포락선이 \(\mathbf{r}(t)=(x(t),y(t))\) 로 매개화되었다고 하자. \(F(x(t),y(t),t)=0\)가 성립한다.

 

주어진 \(t=t_0\)에 대하여, 포락선의 점은 \(\mathbf{r}'(t_0)=(x(t_0),y(t_0))\) 로 주어진다.

한편 점 \((x(t_0),y(t_0))\)에서, family의 곡선 \(F(x,y,t_0)=0\)에 대하여 \(\mathbf{n}(t_0)=\langle F_{x}(x(t_0),y(t_0),t_0),F_{y}(x(t_0),y(t_0),t_0) \rangle\)는 수직인 벡터가 된다.

따라서 \(\mathbf{r}'(t_0)=\langle x'(t_0),y'(t_0)\rangle\) 에 대하여 \(\mathbf{n}(t_0)\cdot \mathbf{r}'(t_0)=F_{x}(x(t_0),y(t_0),t_0)x'(t_0)+F_{y}(x(t_0),y(t_0),t_0)y'(t_0)=0\)이 성립한다.

 

\(F(x(t),y(t),t)=0\) 의 양변을 t로 미분하면,

\(F_{x}(x(t_0),y(t_0),t_0)x'(t_0)+F_{y}(x(t_0),y(t_0),t_0)y'(t_0)+F_t(x(t_0),y(t_0),t_0)=0\) 이므로, \(F_t(x(t_0),y(t_0),t_0)=0\)가 성립한다.

임의의 \(t=t_0\)에 대하여 성립하므로, 포락선의 매개방정식 \(\mathbf{r}(t)=(x(t),y(t))\)은 연립방정식

\(\left\{ \begin{array}{c} F(x(t),y(t),t)=0 \\\frac{\partial F}{\partial t}(x(t),y(t),t)=0 \end{array} \right.\)

을 만족시킨다. ■

 

 

예1
  • 파라메터 t에 대하여 다음과 같은 직선들을 생각하자
    \(\frac{x}{t}+\frac{y}{10-t}=1\) ,  \(t=1,\cdots, 9\)

[/pages/9431928/attachments/5587508 parabola1.gif]

  • 그림을 보면, 이 직선들에 접하는 곡선이 나타나는 것을 관찰할 수 있다.
  • 포락선을 구하기 위해 위에서 언급한 결과를 이용하자
    \(F(x,y,t)=t^2 + t(y-x-10) + 10x\)
    \(\frac{\partial F(x,y,t)}{\partial t}=2t+ y-x-10\)
  • 따라서 envelope은 다음 두 방정식에서 t를 소거함으로써 얻을 수 있다.
    \(\left\{ \begin{array}{c} t^2 + t(y-x-10) + 10x=0 \\ 2t+ y-x-10=0 \end{array} \right.\)
  • 이로부터 \(x^2-2 x y-20 x+y^2-20 y+100=0\) 를 얻는다.
  • 이는 이차곡선(원뿔곡선) 으로 판별식 \(\Delta=b^2-4ac=4-4=0\) 인, 포물선이 된다.
    [/pages/9431928/attachments/5587494 parabola2.gif]

 

 

예2: 어떤 타원들의 envelope
  • 파라메터 \(0<t<1\)에 대하여 다음과 같은 타원들이 주어진다고 하자
    \(\frac{x^2}{t^2}+\frac{y^2}{(1-t)^2}=1\)
  • \(F(x,y,t)=(t-1)^2 (t-x) (t+x)-t^2 y^2\)
  • \(F_{t}(x,y,t)=-2 \left(2 t^3-3 t^2-t x^2-t y^2+t+x^2\right)\)
  • \(\left\{ \begin{array}{c} F(x,y,t)=0 \\ \frac{\partial F}{\partial t}(x,y,t)=0 \end{array} \right.\) 으로부터 다음의 두 관계식을 얻을 수 있다
    \(\left\{ \begin{array}{c} y^2=(1-t)^3 \\ x^2=t^3 \end{array}\)
  • t를 소거하면 \(x^{2/3}+y^{2/3}=1\) 를 얻는다.
  • 이는 애스트로이드 (astroid) 가 된다
    [/pages/9431928/attachments/6220850 _envelope_curve_stitching2.gif]

 

 

 

심장형 곡선

 

 

역사

 

 

 

메모

 

 

관련된 항목들

 

 

매스매티카 파일 및 계산 리소스

 

수학용어번역

 

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트

 

 

 

관련논문

 

 

관련도서