Obliczanie długości łuku krzywych - Open AGH e
Transkrypt
Obliczanie długości łuku krzywych - Open AGH e
Obliczanie długości łuku krzywych Autor: Witold Majdak DEFINICJA Definicja 1: Długość łuku krzywej zadanej parametrycznie Rozważmy krzywą Γ zadaną parametrycznie w następujących sposób: Γ = {(x, y) ∈ R2 : x = φ(t), y = ψ(t), t ∈ [α, β]}, gdzie φ i ψ są funkcjami ciągłymi w przedziale [α, β]. Zdefiniujmy długość d łuku krzywej Γ. Podzielmy przedział [α, β] na n podprzedziałów wybierając punkty podziału tk ( k = 0, … , n) tak, aby zachodziła zależność α = t0 < t1 < … < tn = β. Niech Δk = tk − tk−1 oraz δn = max{Δk : k = 1, … , n}. Zauważmy, że punkty Pk = (φ(tk ), ψ(tk )) ∈ Γ ( k = 1, … , n) wyznaczają łamaną Γn , która przybliża krzywą Γ w przedziale [α, β]. Rysunek 1: Krzywa zadana parametrycznie wraz z oznaczonymi na niej punktami odpowiadającymi punktom podziału przedziału [α, β] Długość otrzymanej łamanej wyraża się wzorem n dn = ∑ |Pk−1 Pk |, k=1 gdzie |Pk−1 Pk | jest długością odcinka łączącego punkty Pk−1 i Pk (k = 1, … , n). Jeżeli istnieje granica lim dn n→∞ i jest ona jest niezależna od wyboru normalnego ciągu podziałów przedziału [α, β] (czyli takich jego podziałów, że lim δn = 0), to mówimy, że krzywa Γ jest krzywą prostowalną w przedziale [α, β]. Granicę tę nazywamy długością łuku n→∞ krzywej Γ w przedziale [α, β]. TWIERDZENIE Twierdzenie 1: o długości krzywej zadanej parametrycznie Jeżeli Γ jest krzywą prostowalną zadaną parametrycznie, a funkcje φ : [α, β] → R i ψ : [α, β] → R są klasy C 1 , to długość krzywej Γ wyraża się wzorem β −−−−−− −−−−−−−−2 2 d = ∫ √(φ′ (t)) + (ψ′ (t)) dt. (1) α DOWÓD Na początku zauważmy, że dla każdego n ∈ N długość łamanej Γn jest równa −−−−−−−−−−−−−− −−−−−−−−−−−−−−−−2 n n 2 dn = ∑ |Pk−1 Pk | = ∑ √(φ(tk ) − φ(tk−1 )) + (ψ(tk ) − ψ(tk−1 )) . k=1 k=1 Ponieważ funkcje φ i ψ są klasy C 1 na przedziale [α, β], więc do każdej z nich i do każdego z przedziałów [tk−1 , tk ] ( k = 1, … , n) możemy zastosować twierdzenie Lagrange'a. Otóż na jego podstawie istnieją takie punkty ξk i ξk∗ należące do przedziału (tk−1 , tk ), że φ(tk )−φ(tk−1 ) tk −tk−1 = φ′ (ξk ) oraz ψ(tk )−ψ(tk−1 ) tk −tk−1 = ψ′ (ξk∗ ). Stąd po przekształceniach otrzymujemy φ(tk ) − φ(tk−1 ) = φ′ (ξk )(tk − tk−1 ) = φ′ (ξk )Δk , ψ(tk ) − ψ(tk−1 ) = ψ′ (ξk∗ )(tk − tk−1 ) = ψ′ (ξk∗ )Δk , gdzie Δk oznacza długość przedziału (tk−1 , tk ). Podstawiając powyższe wyrażenia do wzoru na dn , dostajemy −−−−−−−−− −−−−−−−−−−−2 −−−−−−− −−−−−−−−−2 n n 2 2 dn = ∑ √(φ′ (ξk )Δk ) + (ψ′ (ξk∗ )Δk ) = ∑ √(φ′ (ξk )) + (ψ′ (ξk∗ )) Δk . k=1 k=1 Teraz przechodząc z dn do granicy przy n → ∞ (i oczywiście pamiętając, że lim δn = 0), otrzymujemy n→∞ β −−−−−−− −−−−−−−−−2 −−−−−− −−−−−−−−2 n 2 2 d = lim ∑ √(φ′ (ξk )) + (ψ′ (ξk∗ )) Δk = ∫ √(φ′ (t)) + (ψ′ (t)) dt. n→∞ k=1 α CND. PRZYKŁAD Przykład 1: Obliczymy długość krzywej zwanej asteroidą , która jest zadana równaniami parametrycznymi { x = φ(t) := a3 cos3 t, y = ψ(t) := a3 sin3 t, gdzie t ∈ [0, 2π] , natomiast a jest ustaloną liczbą dodatnią. Rysunek 2: Asteroida Asteroida jest symetryczna względem obu osi układu współrzędnych, więc do obliczenia jej długości wystarczy wyznaczyć długość łuku leżącego w pierwszej ćwiartce układu współrzędnych. Zauważmy, że x = φ(t) i y = ψ(t) są funkcjami klasy C 1 , a ich pochodne wynoszą odpowiednio: φ′ (t) = −3a3 cos2 t sin t, ψ′ (t) = 3a3 sin2 t cos t. 2 2 Obliczmy wartość wyrażenia (φ′ (t)) + (ψ′ (t)) > 0 dla każdego t ∈ (0, π2 ). Otóż (φ′ (t))2 + (ψ′ (t))2 = (−3a3 cos2 t sin t)2 + (3a3 sin2 t cos t)2 = 9a6 cos4 t sin2 t + 9a6 sin4 t cos2 t = 9a6 cos2 t sin2 t(cos2 t + sin2 t) = 9a6 cos2 t sin2 t > 0. Korzystając ze wzoru ( 1 ) na długość krzywej, otrzymujemy −−−−−−−−−−−−−− 2 2 −−−−−−−−−−− d = 4 ∫ √(φ′ (t))2 + (ψ′ (t))2 dt = 4 ∫ √9a6 cos2 t sin2 tdt = 4 ∫ 3a3 | cos t|| sin t|dt. π 2 π 0 π 0 0 Wartości sin t i cos t są nieujemne dla każdego t ∈ [0, π2 ], zatem π 2 π 2 d = 12a ∫ cos t sin tdt = 6a ∫ sin 2tdt = 6a3 ⋅ 3 3 0 0 1 2 π (− cos 2t)∣02 = 3a3 ⋅ 2 = 6a3 . Podamy teraz twierdzenie, które umożliwi nam wyznaczanie długości krzywej, która jest wykresem funkcji zmiennej x. TWIERDZENIE Twierdzenie 2: o długości krzywej będącej wykresem funkcji jednej zmiennej Długość d łuku krzywej będącej wykresem funkcji f : [a, b] → R, która jest klasy C 1 , wyraża się wzorem d= b dx. b −−−−−−−−− d = ∫ √1 + (f ′ (x))2 dx. (2) a DOWÓD Przyjmijmy, że x = φ(t) := t oraz y = ψ(t) := f(t) dla t ∈ [a, b]. Wówczas na podstawie twierdzenia o długości krzywej zadanej parametrycznie otrzymujemy b −−−−−− −−−−−−−−2 b −−−−−−−−− 2 d = ∫ √(φ′ (t)) + (ψ′ (t)) dt = ∫ √1 + (f ′ (t))2 dt. a a CND. PRZYKŁAD Przykład 2: Obliczmy długość linii łańcuchowej f(x) = 12 (ex + e−x ), gdzie x ∈ [−1, 1]. Rysunek 3: Linia łańcuchowa Ponieważ pochodna funkcji f wyraża się wzorem f ′ (x) = 1 2 (ex − e−x ), więc wyrażenie podpierwiastkowe ma postać 1 + (f ′ (x))2 = 1 + (e x −e −x )2 4 = 4+e 2x −2+e −2x 4 = e 2x +2+e −2x 4 = (e x +e −x )2 4 . Podstawiając to wyrażenie do wzoru ( 2 ), otrzymujemy długość krzywej −−x−−− −− 1 −−−−−−−−− 1 1 (e +e −x )2 d = ∫ √1 + (f ′ (x))2 dx = ∫ √ dx = ∫ 4 −1 −1 −1 e x +e −x 2 dx = 1 e x −e −x ∣ 2 ∣−1 = e − e−1 . Dla krzywej Γ zadanej w postaci biegunowej zachodzi następujące twierdzenie. TWIERDZENIE Twierdzenie 3: o długości krzywej zadanej w postaci biegunowej Jeżeli krzywa Γ zadana jest w postaci biegunowej r = r(ϕ), gdzie r : [α, β] → R jest funkcją klasy C 1 , a łuk krzywej Γ nie ma punktów wielokrotnych, to długość tej krzywej wyraża się wzorem β −−−−−−−−−−−−−− d = ∫ √(r(ϕ))2 + (r′ (ϕ))2 dϕ. (3) α DOWÓD Krzywą wyrażoną w postaci biegunowej można także zapisać parametrycznie, przy pomocy tzw. współrzędnych biegunowych: { x = φ(ϕ) := r(ϕ) cos ϕ, y = ψ(ϕ) := r(ϕ) sin ϕ, gdzie ϕ ∈ [α, β], a następnie jej długość wyrazić za pomocą wzoru ( 1 ). Ponieważ pochodne funkcji φ i ψ są postaci φ′ (ϕ) = r′ (ϕ) cos ϕ − r(ϕ) sin ϕ, ψ′ (ϕ) = r′ (ϕ) sin ϕ + r(ϕ) cos ϕ dla ϕ ∈ [α, β], to wyrażenie podpierwiastkowe przyjmuje postać (φ′ (ϕ))2 + (ψ′ (ϕ))2 = (r′ (ϕ) cos ϕ − r(ϕ) sin ϕ)2 + (r′ (ϕ) sin ϕ + r(ϕ) cos ϕ)2 2 = (r′ (ϕ)) cos2 ϕ − 2r′ (ϕ)r(ϕ) cos ϕ sin ϕ + r2 (ϕ) sin2 ϕ 2 +(r′ (ϕ)) sin2 ϕ + 2r′ (ϕ)r(ϕ) cos ϕ sin ϕ + r2 (ϕ) cos2 ϕ 2 2 2 = (r′ (ϕ)) (sin2 ϕ + cos2 ϕ) + r2 (ϕ)(sin2 ϕ + cos2 ϕ) = (r(ϕ)) + (r′ (ϕ)) . W konsekwencji β β −−−−−−−−−−−−−−− −−−−−−−−−−−−−− d = ∫ √(φ′ (ϕ))2 + (ψ′ (ϕ))2 dϕ = ∫ √(r(ϕ))2 + (r′ (ϕ))2 dϕ. α α CND. PRZYKŁAD Przykład 3: Wyprowadzimy wzór na długość okręgu o promieniu a. Równanie okręgu we współrzędnych biegunowych ma postać r(ϕ) = a, gdzie ϕ ∈ [0, 2π]. Podstawiając r(ϕ) i r′ (ϕ) = 0 do wzoru ( 3 ) na długość krzywej, otrzymujemy znany wzór na długość okręgu d= 2π dϕ = 2π a dϕ = aϕ = 2πa. 2π 2π 2π −−−−−− d = ∫ √a2 + 02 dϕ = ∫ a dϕ = aϕ∣∣ = 2πa. 0 0 0 Publikacja udostępniona jest na licencji Creative Commons Uznanie autorstwa - Na tych samych warunkach 3.0 Polska. Pewne prawa zastrzeżone na rzecz autorów i Akademii Górniczo-Hutniczej. Zezwala się na dowolne wykorzystanie treści publikacji pod warunkiem wskazania autorów i Akademii Górniczo-Hutniczej jako autorów oraz podania informacji o licencji tak długo, jak tylko na utwory zależne będzie udzielana taka sama licencja. Pełny tekst licencji dostępny na stronie http://creativecommons.org/licenses/by-sa/3.0/pl/. Data generacji dokumentu: 2015-11-09 22:50:11 Oryginalny dokument dostępny pod adresem: http://epodreczniki.open.agh.edu.pl/openagh-permalink.php? link=00edd5b85bc6ac68dfb7e15226a7927b Autor: Witold Majdak