호 길이

Arc length
수리를 하면 곡선은 곡선의 호 길이와 같은 길이의 직선 세그먼트를 제공한다.
매개변수 θ의 함수로서 로그 나선형의 호 길이 s.

호 길이곡선의 한 단면을 따라 두 점 사이의 거리를 말한다.

불규칙한 호 세그먼트의 길이를 결정하는 것을 곡선의 정류라고도 한다. 극미량의 미적분의 출현은 경우에 따라 폐쇄형 해결책을 제공하는 일반적인 공식으로 이어졌다.

일반적 접근법

다중 선형 세그먼트에 의한 근사치

평면곡선은 선 세그먼트를 사용하여 곡선의 유한 수를 연결하여 다각형 경로를 생성함으로써 근사치를 구할 수 있다. 각 선형 세그먼트의 길이를 계산하는 것이 간단하기 때문에(예를 들어 유클리드 공간의 피타고라스 정리를 사용하여), 각 선형 세그먼트의 길이를 합산하여 근사치의 총 길이를 찾을 수 있다. 근사치를 (누적) 화음 거리라고 한다.[1]

곡선이 이미 다각형 경로가 아닌 경우 길이가 더 작은 세그먼트를 점진적으로 더 많이 사용하면 더 나은 근사치를 얻을 수 있다. 연속적인 근사치의 길이는 줄어들지 않고 무한정 증가할 수 있지만, 부드러운 곡선의 경우 세그먼트의 길이가 임의로 작아지기 때문에 유한한 한계가 있는 경향이 있다.

일부 곡선의 경우 다각형 근사치의 길이에 상한이 있는 최소 숫자 이(가) 있다. 이러한 곡선을 수정 가능하다고 하며 숫자 L은 호 길이로 정의된다.

부드러운 곡선에 대한 정의

:[ , 주입식이고 연속적으로 다른 함수가 되도록 한다. 에 의해 정의된 곡선의 길이는 세그먼트 수가 무한대에 근접함에 따라[ , 의 정규 분할에 대한 선 세그먼트 길이의 합계의 한계로 정의할 수 있다. 이 말은

where for This definition is equivalent to the standard definition of arc length as an integral:

위의 지난 평등이 수행합니다 때문에:평균 값 theorem에 의해(나는), f(t나는)− f(나는 1− t)Δ t=f′(나는 나는(나는 나는 1−지 −지 1+θ − t)),{\displaystyle{\frac{f(t_{나는})-f(t_{i-1})}{\Delta지}}=f'(t_{i-1}+\theta_{나는}(t_{나는}-t_{i-1})),}이 0<, θ 나는 < 1{\displaystyle 사실이다. 0<, \the강타 _{나는}< 1}[의심스러운 –을 논의하].말하므로 그것은 한결같이 연속적입니다, 그와 같은 긍정적인 진짜 기능 δ 긍정적인 진짜 ϵ의(ϵ){\displaystyle \delta(\epsilon)}{\displaystyle \epsilon}가Δ t<>δ(ϵ){\displaystyle \Delta t<, \delta(\epsilon)}i.은 f′{\displaystyle \left f'\right}의 끊임 없는 기능(ii)mplies ( - + i( - - )- ( )<.i-1}_i-1}){}\\\\\\\ 이 말은

>(-a에 대한 \보다 작음 N) 이는 제한 , 에서 위의 왼쪽 항은 항과 것을 의미하며, 이 항은 , . f적분일 뿐이다 이 호 길이에 대한 [ ,b] → n {\화살표 \}{n의 길이가 유한함을 보여준다 즉, 곡선은 언제나 바로 잡을 수 있다.

부드러운 곡선의 호 길이의 정의는 파생상품의 규범의 적분으로 정의된다.

여기서 supremum이 가능한 a= t < < t -< t = = :1}}<t_N}>의 [를 인수한다. 정의는[2] f 이(가) 단지 연속적인 것일 뿐 다를 수 없는 경우에도 유효하다.

곡선은 무한히 다양한 방법으로 매개변수를 나타낼 수 있다. :[ , [ c, 을(를) 연속적으로 다른 편견으로 만들자. Then is another continuously differentiable parameterization of the curve originally defined by The arc length of the curve is the same regardless of the parameterization used to define the curve:

통합하여 호 길이 찾기

쿼터 서클

2{\2}}의 평면 y = () ,{\y= 등식으로 정의된다면, f = t x = =. y인 파라메트릭 방정식의 특별한 경우일 뿐이다. 호 길이는 다음으로 주어진다.

호 길이에 대한 닫힌 형태 해법이 있는 곡선에는 강직선, , 사이클로이드, 로그 나선형, 포물선, 반원형 포물선직선이 포함된다. 타원호 쌍곡선의 호 길이에 대한 폐쇄형 폼 용액이 부족하여 타원형 적분법이 개발되었다.

수치적 통합

단순 곡선까지 포함한 대부분의 경우 호 길이에 대한 폐쇄형 형태 솔루션이 없으며 수치 통합이 필요하다. 호 길이 적분의 수치적 통합은 대개 매우 효율적이다. 예를 들어 호 길이 적분을 숫자로 통합하여 단위 원의 1/4 길이를 찾는 문제를 고려하십시오. The upper half of the unit circle can be parameterized as The interval corresponds to a quarter of the circle. Since and the length of a quarter of the unit circle is

적분 1.570796326808177에 대한 15 포인트 가우스-크론로드 규칙 추정치는 실제 길이와 다르다.

1.3×10으로−11 16점 가우스 4각 규칙 추정치 1.570796326794727은 실제 길이와 1.7×10으로−13 차이가 난다. 이는 16개의 통합 및 평가만으로 거의 기계 정밀도에 대한 이러한 통합 평가가 가능하다는 것을 의미한다.

표면의 곡선

( , v) 을(를) 표면 매핑으로 하고 ( t)=(), v( ) 을(t로 이 표면의 곡선으로 한다. 호 길이 적분 ) ( t) .left {파생물을 평가하려면 벡터 필드에 대한 체인 규칙이 필요하다.

The squared norm of this vector is (where is the first fundamental form coefficient), so the integrand of the arc length integral can be written as (where = v .

기타 좌표계

( )=( ( ) ,( )은 극좌표로 표현된 곡선이 되도록 한다. 극좌표에서 직사각좌표로 변환하는 매핑은

The integrand of the arc length integral is The chain rule for vector fields shows that 따라서 호 길이의 제곱합은

극좌표로 표현된 곡선의 경우 호 길이는

Now let be a curve expressed in spherical coordinates where is the polar angle measured from the positive -axis and is the azimuthal angle. 구형 좌표에서 직사각형 좌표로 변환하는 매핑은

Using the chain rule again shows that All dot products w여기서 (는) 다르므로 이 벡터의 제곱된 표준은

따라서 구형 좌표로 표현된 곡선의 경우 호 길이는

매우 유사한 계산은 원통형 좌표로 표현된 곡선의 호 길이가

단순 사례

원호

길이(또는 크기)에 대한 라틴어가 주걱이기 때문에 호 길이는 s로 표시된다.

다음 선에서 반지름을 나타내고, {\d}은(는) 이고,C {\C}은) 원호의 이며, {{\ 원호의 중심에서 호가 하위되는 각도이다. 의 거리는 동일한 단위로 표현된다.

  • = , C= . C d와 같은 값. 이 방정식은 . 의 정의 입니다.
  • 호가 반원일 경우 = r. s r
  • 임의 원형 호의 경우:
    • (가) 라디안 s= r . 이것은 라디안의 정의다.
    • If is in degrees, then which is the same as
    • If is in grads (100 grads, or grades, or gradians are one right-angle), then which is the same as
    • 이 차례대로( 바퀴는 완전한 회전, 360° 또는 400 그라데이션, 2 라디안)인 경우 = /

지구 위 위대한 원의 호

두 개의 길이 단위인 해리와 미터(또는 킬로미터)는 원래 지구 표면의 원호 길이가 단순히 숫자적으로 중심에서 하위 각도와 관련되도록 정의되었다. 단순 방정식 = 은(는) 다음과 같은 경우에 적용된다.

  • (가) 항해 마일이고 (가) 아크분인 경우(½60도) 또는
  • (가) 킬로미터이고, (가) 센티그라드(/100 등급)인 경우.

거리 단위의 길이는 지구의 둘레를 4만 킬로미터 또는 21600해리 마일로 만들기 위해 선택되었다. 이 숫자는 한 바퀴를 완전히 돌 때 해당하는 각도 단위의 수입니다.

미터와 해도의 그러한 정의는 보다 정확한 정의로 대체되었지만, 원래의 정의는 여전히 개념적 목적과 일부 계산에 충분히 정확하다. 예를 들어, 그들은 1킬로미터가 정확히 0.54해리라는 것을 암시한다. 공식 현대 정의를 사용하면 1해리는 정확히 1.852km로 [3]1km는 약 0.53995680해리임을 의미한다.[4] 이 현대적 비율은 원래 정의에서 10,000분의 1 미만으로 계산된 것과 다르다.

포물선 원호의 길이

역사적 방법

고대

수학의 많은 역사에서, 가장 위대한 사상가들 조차도 불규칙한 호의 길이를 계산하는 것은 불가능하다고 생각했다. 아르키메데스는 그의 "탈진 방법"으로 곡선 아래 지역을 찾는 방법을 개척했지만, 직선처럼 곡선이 일정한 길이를 갖는 것이 가능하다고 믿는 사람은 거의 없었다.분야에서는 흔히 미적분학에서와 같이 근사치로 제1땅이 깨졌다. 사람들은 곡선에 다각형을 새기고 옆면의 길이를 계산하여 길이를 어느 정도 정확하게 측정하기 시작했다. 더 많은 세그먼트를 사용하고, 각 세그먼트의 길이를 줄임으로써, 그들은 보다 정확한 근사치를 얻을 수 있었다. 특히 여러 면의 다각형을 원형으로 새김으로써 π의 대략적인 값을 찾을 수 있었다.[5][6]

17세기

17세기에는 탈진법이 여러 초월곡선의 기하학적 방법에 의해 정정을 이끌어냈다: 1645년 에반젤리스타 토리첼리로그 나선(일부 출처에서는 1650년대월리스라고 한다), 1658년 크리스토퍼 렌의 사이클로이드, 1691년 고트프리드 라이프니츠카타레니제.

1659년 월리스는 윌리엄 닐이 비종교 대수곡선세미큐브 파라볼라의 첫 번째 정정을 발견했다고 인정했다.[7] 첨부된 수치는 145페이지에 나온다. 91페이지에 윌리암 닐레는 굴리엘무스 넬리우스라고 언급되어 있다.

적분형식

미적분학의 완전한 공식적 발전 이전에, 호 길이에 대한 현대적 적분 형태의 기초는 헨드릭 후라엣피에르페르마트에 의해 독자적으로 발견되었다.

1659년 판 후라에는 호 길이를 결정하는 문제가 곡선 아래 면적(즉 적분)을 결정하는 문제로 변형될 수 있다는 것을 보여주는 건축물을 발표하였다. 그의 방법의 예로, 그는 포물선 아래 영역을 찾아야 하는 반원형 포물선의 호 길이를 결정했다.[8] 1660년 페르마트는 그의 De linearum curvarum cum lineis copulis compoundation proposalis compositiona (직선과 비교한 곡선에 대한 지질학 논문)에서 같은 결과를 담은 보다 일반적인 이론을 발표했다.[9]

페르마의 호 길이 결정법

그의 이전 작품에서 접선을 사용한 Fermat은 곡선을 사용했다.

x접선하는 사람의 경사기울어진 사람.

탄젠트 라인이 방정식을 가질 수 있도록

다음으로 그는 a를 소량 증가시켜 + ε으로 세그먼트 ACA에서 D까지의 곡선 길이에 대해 비교적 양호한 근사치로 만들었다. 세그먼트 AC의 길이를 찾기 위해 그는 피타고라스 정리:

해결되면 산출되는 것

길이의 근사치를 위해 페르마트는 일련의 짧은 세그먼트를 요약할 것이다.

길이가 무한인 곡선

코흐 커브.
xsin(1/x)의 그래프.

위에서 언급했듯이 일부 곡선은 수정할 수 없다. 즉, 다각형 근사치의 길이에 상한이 없으며, 길이는 임의로 크게 만들 수 있다. 비공식적으로 그러한 곡선은 길이가 무한하다고 한다. 모든 원호(단일점 원호 제외)의 길이가 무한인 연속 곡선이 있다. 그러한 곡선의 예는 코흐 곡선이다. 무한 길이의 곡선의 또 다른 예로는 0을 구분자 중 하나로 하는 오픈 세트에 대해 f(x) = x sin(1/x)로 정의한 함수의 그래프와 f(0) = 0. 때로는 하우스도르프 치수하우스도르프 치수가 그러한 곡선의 크기를 정량화하는 데 사용된다.

(의사-)리만 다양체로의 일반화

을(를) (pseudo-)리만 다지관, :[ 1] → {\]\오른쪽 (를) M 메트릭 텐서 커브로 한다.

의 길이는 다음과 같이 정의된다.

여기서 ( ) (t) M . 에서 의 접선 벡터다. 제곱근의 부호는 주어진 곡선에 대해 한 번 선택되어 제곱근이 실제 숫자인 것을 보장한다. 양수 부호는 공간 같은 곡선에 대해 선택되며, 사이비-리만 다지관에서는 시간 단위 곡선에 대해 음수 부호를 선택할 수 있다. 따라서 곡선의 길이는 음수가 아닌 실제 수입니다. 일반적으로 부분적으로는 공간적인 것과 부분적으로는 시간적인 것으로 간주되는 곡선은 없다.

상대성 이론에서 시간 곡선(세계선)의 호 길이는 세계선을 따라 경과한 적절한 시간이며, 공간적인 곡선(우주선)의 호 길이는 곡선을 따라 적절한 거리를 말한다.

참고 항목

참조

  1. ^ Ahlberg; Nilson (1967). The Theory of Splines and Their Applications. Academic Press. p. 51. ISBN 9780080955452.
  2. ^ Rudin, Walter (1976). Principles of Mathematical Analysis. McGraw-Hill, Inc. pp. 137. ISBN 978-0-07-054235-8.
  3. ^ Suplee, Curt (2 July 2009). "Special Publication 811". nist.gov.
  4. ^ 화학물리학 CRC 핸드북, 페이지 F-254
  5. ^ Richeson, David (May 2015). "Circular Reasoning: Who First Proved That C Divided by d Is a Constant?". The College Mathematics Journal. 46 (3): 162–171. doi:10.4169/college.math.j.46.3.162. ISSN 0746-8342. S2CID 123757069.
  6. ^ Coolidge, J. L. (February 1953). "The Lengths of Curves". The American Mathematical Monthly. 60 (2): 89–93. doi:10.2307/2308256. JSTOR 2308256.
  7. ^ Wallis, John (1659). Tractatus Duo. Prior, De Cycloide et de Corporibus inde Genitis…. Oxford: University Press. pp. 91–96.
  8. ^ van Heuraet, Hendrik (1659). "Epistola de transmutatione curvarum linearum in rectas [Letter on the transformation of curved lines into right ones]". Renati Des-Cartes Geometria (2nd ed.). Amsterdam: Louis & Daniel Elzevir. pp. 517–520.
  9. ^ M.P.E.A.S. (pseudonym of Fermat) (1660). De Linearum Curvarum cum Lineis Rectis Comparatione Dissertatio Geometrica. Toulouse: Arnaud Colomer.

원천

  • Farouki, Rida T. (1999). "Curves from motion, motion from curves". In Laurent, P.-J.; Sablonniere, P.; Schumaker, L. L. (eds.). Curve and Surface Design: Saint-Malo 1999. Vanderbilt Univ. Press. pp. 63–90. ISBN 978-0-8265-1356-4.

외부 링크