Mathematics · Book 3 · Bachelor Year 1

Matemáticas universitarias — Grado 1

Matemáticas universitarias — Grado 1 · Bachelor Year 1

24Curvas planas

El cálculo de Capítulos 14 y 16 fue construido para funciones y=f(x)y = f(x); la mayoría de las curvas de geometría y mecánica — trayectorias, círculos rodados sobre círculos, órbitas — rechaza esa forma y vienen en cambio como parametrizado curvas t(x(t),y(t))t \mapsto (x(t), y(t)) o como polar curvas r=r(θ)r = r(\theta). este clasico El capítulo estudia ambos y cierra con el cónicas.

24.1 Curvas parametrizadas

Definición 24.1

Un curva parametrizada es una aplicación f ⁣:IR2f \colon I \to \R^2,tM(t)=(x(t),y(t))t \mapsto M(t) = (x(t), y(t)), con x,yx, y de clase C1C^1(al menos) en el intervaloII. El velocidad vector es f(t)=(x(t),y(t))f'(t) = (x'(t), y'(t)); el punto M(t0)M(t_0) es regular cuando f(t0)(0,0)f'(t_0) \neq (0,0) y tangente ahí está la línea que pasa por M(t0)M(t_0) dirigida por f(t0)f'(t_0).

Por qué ff' dirige la tangente. Por Taylor–Young por componentes, M(t)=M(t0)+(tt0)f(t0)+o(tt0)M(t) = M(t_0) + (t - t_0) f'(t_0) + o(t - t_0): la dirección del acorde M(t)M(t0)tt0\frac{M(t) - M(t_0)}{t - t_0} tiende a f(t0)f'(t_0). La hipótesis de la regularidad es lo que hace que la limitar a dirección: si f(t0)=0f'(t_0) = 0, la pantalla colapsa a M(t)=M(t0)+o(tt0)M(t) = M(t_0) + o(t - t_0) y no dice nada sobre cómo La curva abandona el punto — de donde el tratamiento separado de puntos singulares en el método siguiente, donde el primero no desaparecer derivado asume el papel de ff'. Tenga en cuenta también que la recta tangente es un objeto geométrico: cualquier La reparametrización cambia ff' por un factor escalar distinto de cero y deja la línea sin cambios.

Método 24.2 (Estudiando una curva parametrizada)

  1. Reducir el dominio usando simetrías: relaciones entre M(t)M(-t),M(t+T)M(t + T), … y M(t)M(t)(reflexiones, traducciones, periodicidad), luego dibuje solo la parte reducida.
  2. Variaciones: tabular los signos de xx' y yy' de forma conjunta; la curva se mueve hacia la derecha/izquierda como xx', arriba/abajo como yy'.
  3. Puntos destacables: tangente horizontal (y=0xy' = 0 \neq x'), tangente vertical (x=0yx' = 0 \neq y'); en un Punto singular (f=0f' = 0), examinar derivados superior para la dirección tangente.
  4. Comportamiento asintótico en los extremos de II, luego dibuje.

Ejemplo 24.3 (Ramas asintóticas, trabajadas)

x(t)=tx(t) = t,y(t)=t+1ty(t) = t + \dfrac1t en (0,+)\intoo{0}{+\infty}. Como t0+t \to 0^{+}:x0x \to 0 mientras que y+y \to +\infty — la curva sube a lo largo del asíntota vertical x=0x = 0(límite finito para una coordenada, infinita para la otra). Como t+t \to +\infty: ambos coordenadas explotan, así que prueba una línea: la diferencia

y(t)x(t)=1t0+y(t) - x(t) = \frac1t \longrightarrow 0^{+}

exhibe el asíntota oblicua y=xy = x, abordado desde arriba. Mientras tanto, y=11t2y' = 1 - \frac1{t^2} desaparece en t=1t = 1: el punto (1,2)(1, 2) es el punto bajo de la rama, y x=1>0x' = 1 > 0 en todas partes, por lo que la curva siempre avanza hacia la derecha. un arco, dos asíntotas, una mínima: una imagen completa de tres cálculos — con la receta general visible debajo: cuando x,yx, y \to \infty estén juntos, examine y/xy/x en busca de un candidato pendiente (aquí 1\to 1), luego y(slope)xy - (\text{slope})\,x para el interceptación y el lado de aproximación.

Ejemplo 24.4 (El astroide)

x(t)=cos3tx(t) = \cos^3 t,y(t)=sin3ty(t) = \sin^3 t. Simetrías: M(t+2π)=M(t)M(t + 2\pi) = M(t)(estudiar un período);M(t)M(-t) es el reflejo de M(t)M(t) en el eje xx;M(πt)M(\pi - t) en el ejeyy;M(π2t)M(\frac\pi2 - t) en la diagonaly=xy = x: basta estudiar t[0,π4]t \in \intcc{0}{\frac\pi4} y desplegar.

Velocidad: f(t)=3sintcost(cost,sint)f'(t) = 3\sin t\cos t\,(-\cos t, \sin t). encendido (0,π2)\intoo{0}{\frac\pi2} todos los puntos son regulares con dirección tangente por (cost,sint)(-\cos t, \sin t); en t=0t = 0(el punto (1,0)(1,0)) la velocidad desaparece: a cúspide, donde la curva se invierte a lo largo la dirección tangente (1,0)(±)(-1, 0)\cdot(\pm) — por simetría los cuatro cúspides siéntate en (±1,0),(0,±1)(\pm1, 0), (0, \pm1).

Ejemplo 24.5 (Un ocho, estudiado en su totalidad)

x(t)=sintx(t) = \sin t,y(t)=sin2ty(t) = \sin 2t(un curva de lissajous). Simetrías: M(t+π)=(x(t),y(t))M(t + \pi) = (-x(t), y(t))(reflejo en el eje yy),M(t)=(x(t),y(t))M(-t) = (-x(t), -y(t))(simetría central), M(πt)=(x(t),y(t))M(\pi - t) = (x(t), -y(t))(reflexión en el eje xx): basta con estudiar t[0,π2]t \in \intcc{0}{\frac\pi2} y desarrollarlo. Variaciones: x=cost0x' = \cos t \geq 0 en todo momento, mientras que y=2cos2ty' = 2\cos 2t es positivo antes de t=π4t = \frac\pi4 y negativo después: el arco sube hacia la derecha hasta la cumbre (22, 1)\bigl(\frac{\sqrt2}2,\ 1\bigr) y t=π4t = \frac\pi4(horizontal tangente), luego desciende hacia la derecha hasta (1,0)(1, 0) en t=π2t = \frac\pi2, donde x=0yx' = 0 \neq y': tangente vertical. punto doble: M(0)=M(π)=(0,0)M(0) = M(\pi) = (0,0), con dos diferentes velocidades

f(0)=(1, 2),f(π)=(1, 2):f'(0) = (1,\ 2), \qquad f'(\pi) = (-1,\ 2) :

dos ramas regular que se cruzan en el origen en puntos distintos ángulos — un punto doble, no un punto singular: cada pasaje es Perfectamente suave, los dos pasajes simplemente comparten su ubicación. La curva completa es la figura del ocho que aparece a continuación.

La curva de Lissajous ( t, 2t): un punto doble en el origen, donde dos ramas regulares se cruzan con velocidades (1, 2) y (-1, 2), y tangentes horizontales en los cuatro cumbres. La simetría redujo todo el trabajo a un cuarto de período.
La curva de Lissajous (sint,sin2t)(\sin t, \sin 2t): un punto doble en el origen, donde dos ramas regulares se cruzan con velocidades (1,2)(1, 2) y (1,2)(-1, 2), y tangentes horizontales en los cuatro cumbres. La simetría redujo todo el trabajo a un cuarto de período.
El astroide ( 3 t, 3 t): cuatro arcos que se encuentran en cuatro cúspides. Es la curva trazada por un punto de una circunferencia de radio. 1/4 rodando dentro del círculo unitario.
El astroide (cos3t,sin3t)(\cos^3 t, \sin^3 t): cuatro arcos que se encuentran en cuatro cúspides. Es la curva trazada por un punto de una circunferencia de radio. 14\frac14 rodando dentro del círculo unitario.

24.2 Curvas polares

Definición 24.6

A curva polar viene dado por r=r(θ)r = r(\theta): el punto del parámetro θ\theta es

M(θ)=r(θ)u(θ),u(θ)=(cosθ,sinθ).M(\theta) = r(\theta)\,\vec u(\theta), \qquad \vec u(\theta) = (\cos\theta, \sin\theta).

Con v(θ)=(sinθ,cosθ)=u(θ)\vec v(\theta) = (-\sin\theta, \cos\theta) = \vec u\,'(\theta), la velocidad es

M(θ)=r(θ)u(θ)+r(θ)v(θ).M'(\theta) = r'(\theta)\, \vec u(\theta) + r(\theta)\, \vec v(\theta) .

Consecuencias: donde r0r \neq 0, el punto es regular, y el la tangente forma con el rayo el ángulo VV dado por tanV=rr\tan V = \frac{r}{r'}(ángulo entre MM' y u\vec u); donde r(θ0)=0r(\theta_0) = 0, la curva pasa por el origen with tangent the ray θ=θ0\theta = \theta_0 (dirección u(θ0)\vec u(\theta_0), lectura M(θ0)=r(θ0)u(θ0)M'(\theta_0) = r'(\theta_0)\vec u(\theta_0), o desde el límite acorde: el acorde de OOaM(θ)M(\theta) lo lleva el propio u(θ)\vec u(\theta), que tiende au(θ0)\vec u(\theta_0) — por lo que el La regla se mantiene incluso cuando r(θ0)=0r'(\theta_0) = 0 y el punto es singular, por lo que el polar cúspides en el origen, al igual que el cardioides, obtén su tangente libre).

Ejemplo 24.7 (El cardioide)

r(θ)=1+cosθr(\theta) = 1 + \cos\theta. Simetría: r(θ)=r(θ)r(-\theta) = r(\theta): reflexión en el eje xx; estudio θ[0,π]\theta \in \intcc{0}{\pi}.rr disminuye de 22a00; en θ=π\theta = \pi, r=0r = 0: la curva llega al origen tangencialmente al rayo θ=π\theta = \pi(el eje xx), formando un cúspide allí — el corazón punto. Tangente en θ=0\theta = 0:r=0r' = 0, entonces tanV=\tan V = \infty: perpendicular al eje.

El ángulo VV merece una lectura más. Enθ=π2\theta = \frac\pi2:r=1r = 1 y r=1r' = -1, entonces tanV=rr=1\tan V = \frac{r}{r'} = -1: la tangente forma tres cuartos de ángulo recto con la rayo saliente — la curva ya se está doblando hacia su cúspide. La fórmula tanV=r/r\tan V = r/r' proporciona direcciones tangentes a lo largo de toda la curva sin cálculo de M(θ)M'(\theta) en absoluto: es el análogo polar de leer una pendiente.

Ejemplo 24.8 (Polar a cartesiano: un círculo oculto)

¿Qué es el curva polar r=2cosθr = 2\cos\theta? Multiplicar por rr: r2=2rcosθr^2 = 2r\cos\theta, es decir x2+y2=2xx^2 + y^2 = 2x, es decir

(x1)2+y2=1:(x - 1)^2 + y^2 = 1 :

la circunferencia de centro (1,0)(1, 0) y radio 11, que pasa por el origen. La contabilidad importa: como se desborda θ\theta (π2,π2]\intoc{-\frac\pi2}{\frac\pi2} se barre todo el círculo exactamente una vez (rr desaparece en ambos extremos), y en θ=±π2\theta = \pm\frac\pi2 la regla “tangente al origen a lo largo del rayo θ=θ0\theta = \theta_0” da una tangente vertical allí — coincidiendo con la geometría, ya que el eje vertical es de hecho tangente a este círculo en OO. Para θ\theta más allá de ese rango,r<0r < 0 vuelve sobre el mismo círculo: un recordatorio de que un curva polar es un Objeto parametrizado, permitido pasar sobre sí mismo.

La rosa de cuatro pétalos r = 2 (). Los pétalos a lo largo del eje y son trazado con r < 0(el punto se traza en el rayo opuesto a ); las diagonales discontinuas = ± π4 son las tangentes en el origen, donde r desaparece.
La rosa de cuatro pétalos r=cos2θr = \cos 2\theta (Ejercicio 24.4). Los pétalos a lo largo del eje yy son trazado con r<0r < 0(el punto se traza en el rayo opuesto a θ\theta); las diagonales discontinuas θ=±π4\theta = \pm\frac\pi4 son las tangentes en el origen, donde rr desaparece.
El cardioide r = 1 +. Curvas polares son leídos por barriendo el ángulo: el radio se hincha y se contrae como  vueltas.
El cardioide r=1+cosθr = 1 + \cos\theta. Curvas polares son leídos por barriendo el ángulo: el radio se hincha y se contrae como θ\theta vueltas.

24.3 Longitud del arco

Definición 24.9 (longitud de un arco)

El longitud de un arco C1C^1 f ⁣:[a,b]R2f \colon \intcc{a}{b} \to \R^2 es el integral de la velocidad:

L=abf(t) ⁣dt=abx(t)2+y(t)2   ⁣dt.L = \int_a^b \norm{f'(t)}\,\dd t = \int_a^b \sqrt{x'(t)^2 + y'(t)^2}\;\dd t .

(Motivación: en un pequeño intervalo, M(t+h)M(t)+hf(t)M(t + h) \approx M(t) + h f'(t), entonces el arco está cerca de un polígono cuyas longitudes de segmento suman a una suma de Riemann de f\norm{f'}, Teorema 15.20.) Para un curva polar r=r(θ)r = r(\theta), la velocidad ru+rvr'\vec u + r\vec v tiene ortogonal componentes, entonces

L=θ1θ2r(θ)2+r(θ)2   ⁣dθ.L = \int_{\theta_1}^{\theta_2} \sqrt{r'(\theta)^2 + r(\theta)^2}\;\dd\theta .

La longitud no depende del (monótono, C1C^1) parametrización elegida: sustituyendo t=φ(s)t = \varphi(s) en el integral (Teorema 15.15) multiplica ff' por φ\varphi' y  ⁣dt\dd t por φ1\varphi'^{-1}.

Ejemplo 24.10 (Comprobación de cordura: el círculo)

Para f(t)=(Rcost,Rsint)f(t) = (R\cos t, R\sin t) en [0,2π]\intcc{0}{2\pi} se tiene f=R\norm{f'} = R, luego L=2πRL = 2\pi R — la definición recupera la circunferencia. Prueba de reparametrización: la aplicación g(t)=(Rcos2t,Rsin2t)g(t) = (R\cos 2t, R\sin 2t) en [0,π]\intcc{0}{\pi} dibuja el mismo círculo al doble de velocidad g=2R\norm{g'} = 2R, y

0π2R ⁣dt=2πR\int_0^{\pi} 2R\,\dd t = 2\pi R

de nuevo: la mitad del tiempo, el doble de velocidad, mismo longitud — el invariancia prometida en la definición, observada una vez en los números. (Ejecutar gg en todo [0,2π]\intcc{0}{2\pi} daría 4πR4\pi R: a la curva recorrida dos veces tiene el doble de longitud como un viaje; longitud mide la ruta parametrizada y la contabilidad honesta de el intervalo es parte del cálculo.) Para el astroide (cos3t,sin3t)(\cos^3t, \sin^3t):f=3sintcost=32sin2t\norm{f'} = 3\abs{\sin t\cos t} = \tfrac32\abs{\sin 2t}, y por simetría L=40π/232sin2t ⁣dt=6L = 4\int_0^{\pi/2} \tfrac32\sin 2t\,\dd t = 6: una curva trazada dentro del círculo unitario, de longitud 6<2π6 < 2\pi. El problema del fin de semana mide a los más famosos arco de todos.

Un arco de la cicloide (radio R = 1), el balanceo círculo en t = 2, y las dos líneas guía del problema del fin de semana: la cuerda MC al punto de contacto es normal al curva, el acorde MT hasta la parte superior del círculo es tangente.
Un arco de la cicloide (radio R=1R = 1), el balanceo círculo en t=2t = 2, y las dos líneas guía del problema del fin de semana: la cuerda MCMC al punto de contacto es normal al curva, el acorde MTMT hasta la parte superior del círculo es tangente.

24.4 Cónicas

Definición 24.11 (Enfoque - definición de directora)

Se fija un punto FF(enfocar), una línea DD que no pasa por FF (directora) y e>0e > 0(excentricidad). el cónico de estos datos es

C={M:d(M,F)=e  d(M,D)}:\mathcal{C} = \{M : d(M, F) = e\; d(M, D)\}:

un elipse para e<1e < 1, un parábola para e=1e = 1, un hipérbola para e>1e > 1. (El círculo aparece como un degenerado límite e0e \to 0.)

Ejemplo 24.12 (La definición, comprobada en una parábola.)

Tome la parábola y2=4xy^2 = 4x, es decir 2p=42p = 4: enfoque F=(1,0)F = (1, 0) y directriz D:x=1D : x = -1(la forma reducida Teorema 24.13 los pone en ±p2\pm\frac p2). en el punto M=(1,2)M = (1, 2) de la curva:

MF=(11)2+22=2,d(M,D)=1(1)=2:MF = \sqrt{(1-1)^2 + 2^2} = 2, \qquad d(M, D) = 1 - (-1) = 2 :

iguales, como exige e=1e = 1. EnM=(4,4)M' = (4, 4):MF=9+16=5MF' = \sqrt{9 + 16} = 5 y d(M,D)=5d(M', D) = 5 nuevamente. El foco–directriz La definición no es una abstracción: es un par de distancias. puede medir en cualquier punto, y el álgebra de la reducción ecuaciones no es más que esta medición hecha de una vez por todas todos.

Teorema 24.13 (Ecuaciones reducidas)

En un marco ortonormal bien elegido:

ellipse: x2a2+y2b2=1(ab>0),hyperbola: x2a2y2b2=1,parabola: y2=2px,\text{ellipse: } \frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 \quad (a \geq b > 0), \qquad \text{hyperbola: } \frac{x^2}{a^2} - \frac{y^2}{b^2} = 1, \qquad \text{parabola: } y^2 = 2px,

con, para la elipse: focos en (±c,0)(\pm c, 0),c=a2b2c = \sqrt{a^2 - b^2}, e=cae = \frac ca, y la caracterización bifocal MF+MF=2aMF + MF' = 2a; para la hipérbola: c=a2+b2c = \sqrt{a^2 + b^2},e=cae = \frac ca, MFMF=2a\abs{MF - MF'} = 2a, asíntotasy=±baxy = \pm\frac ba x.

Demostración. Tome el foco en el origen y la directriz vertical, x=hx = -h (h>0h > 0): la condición MF2=e2d(M,D)2MF^2 = e^2 d(M, D)^2 dice x2+y2=e2(x+h)2x^2 + y^2 = e^2 (x + h)^2. Para e=1e = 1:y2=2hx+h2y^2 = 2hx + h^2, una parábola después de la cambie xxh2x \mapsto x - \frac h2(entonces p=hp = h). Para e1e \neq 1: completando el cuadrado en xx,

(1e2)(xe2h1e2) ⁣2+y2=e2h2+e4h21e2=e2h21e2.(1 - e^2)\Bigl(x - \frac{e^2 h}{1 - e^2}\Bigr)^{\!2} + y^2 = e^2h^2 + \frac{e^4 h^2}{1 - e^2} = \frac{e^2 h^2}{1 - e^2} .

Establezca X=xe2h1e2X = x - \frac{e^2h}{1-e^2}(un cambio de fotograma). Cuando e<1e < 1, dividir por el lado derecho positivo: X2a2+y2b2=1\frac{X^2}{a^2} + \frac{y^2}{b^2} = 1 con a=eh1e2a = \frac{eh}{1 - e^2},b=eh1e2b = \frac{eh}{\sqrt{1-e^2}}; cuando e>1e > 1, ambos lados de el signo de giro de pantalla apropiadamente y la misma división da X2a2y2b2=1\frac{X^2}{a^2} - \frac{y^2}{b^2} = 1 con a=ehe21a = \frac{eh}{e^2 - 1},b=ehe21b = \frac{eh}{\sqrt{e^2 - 1}}. Los valores indicados de cc seguir (c2=a2b2c^2 = a^2 - b^2 o a2+b2a^2 + b^2 da c=eac = ea en ambos casos, colocando el foco correctamente), y las propiedades bifocales son verificaciones directas sobre las ecuaciones reducidas. En detalle para el elipse, con F=(c,0)F' = (c, 0) y M=(X,y)M = (X, y) en la curva:

MF2=(Xc)2+y2=X22cX+c2+b2(1X2a2)=c2a2X22cX+a2=(aeX)2,MF'^2 = (X - c)^2 + y^2 = X^2 - 2cX + c^2 + b^2\Bigl(1 - \frac{X^2}{a^2}\Bigr) = \frac{c^2}{a^2}X^2 - 2cX + a^2 = (a - eX)^2 ,

utilizando c2+b2=a2c^2 + b^2 = a^2 y e=cae = \frac ca; desde Xa\abs X \leq a y e<1e < 1,aeX>0a - eX > 0, entonces MF=aeXMF' = a - eX sin cuadrado raíz alguna vez extraída. El cálculo del espejo da MF=a+eXMF = a + eX, de donde MF+MF=2aMF + MF' = 2a, constante. Para la hipérbola lo mismo el álgebra produce MF=a+eXMF = \abs{a + eX} y MF=eXaMF' = \abs{eX - a}, con diferencia ±2a\pm2a según la sucursal.

Ejemplo 24.14

x225+y29=1\frac{x^2}{25} + \frac{y^2}{9} = 1: elipse,a=5a = 5,b=3b = 3,c=4c = 4: focos (±4,0)(\pm4, 0), excentricidad 45\frac45. Su parametrización: (5cost,3sint)(5\cos t, 3\sin t) — un círculo estirado anisotrópicamente; el La suma de distancias a los focos de cualquiera de sus puntos es 1010.

Ejemplo 24.15 (Leyendo una órbita a partir de su ecuación polar)

El polar cónico r=11+12cosθr = \dfrac{1}{1 + \frac12\cos\theta} (Ejercicio 24.7 con p=1p = 1,e=12e = \frac12) es un elipse con un centrarse en el origen — la geometría de un órbita planetaria con el sol en OO. Extrae todo de pp y ee: de la reducción de Teorema 24.13, a=p1e2=13/4=43a = \dfrac{p}{1 - e^2} = \dfrac{1}{3/4} = \dfrac43 y c=ea=23c = ea = \dfrac23. los dos Además, compruébalo sin ninguna teoría:

r(0)=13/2=23=ac(perihelion),r(π)=11/2=2=a+c(aphelion),r(0) = \frac{1}{3/2} = \frac23 = a - c \quad (\text{perihelion}), \qquad r(\pi) = \frac{1}{1/2} = 2 = a + c \quad (\text{aphelion}),

y su suma 23+2=83=2a\frac23 + 2 = \frac83 = 2a recupera el mayor eje. La forma polar es la natural siempre que se coloca un foco. físicamente distinguido; la forma cartesiana reducida, siempre que los ejes de simetría son. Convertir entre los dos es exactamente lo que hace el cálculo del cuadrado completo del teorema.

La excentricidad como dial, por último: mantén p=1p = 1 y gira ee en r=11+ecosθr = \frac{1}{1 + e\cos\theta}. Ene=0e = 0: el círculo r=1r = 1. en e=12e = \frac12: la elipse recién estudiada,rr oscilando entre 23\frac23 y 22. Ene=1e = 1:r(θ)r(\theta) \to \infty como θπ\theta \to \pi — la curva ya no se cierra: una parábola, su punto más lejano empujado al infinito. En e=2e = 2: el denominador desaparece en cosθ=12\cos\theta = -\frac12, y sólo θ(2π3,2π3)\theta \in \intoo{-\frac{2\pi}3}{\frac{2\pi}3} sobrevive: una rama de un hipérbola, que escapa a lo largo de dos direcciones asintóticas. uno fórmula, toda la familia cónico y los puntos de transición e=1e = 1 visibles en el momento en que el denominador llega a cero por primera vez.

Observación 24.16 (Errores comunes)

Los puntos dobles no son puntos singulares.: en un autocruzado, cada rama es regular; "singular" se refiere a f(t0)=0f'(t_0) = 0 para un valor del parámetro (Ejemplo 24.5 vs cúspides del astroide). Vertical tangent versus cúspide: x(t0)=0y(t0)x'(t_0) = 0 \neq y'(t_0) es un punto regular con tangente vertical; solo x=y=0x' = y' = 0 exige la expansión de orden superior. Trazado de radios negativos en el rayo opuesto: para r(θ)<0r(\theta) < 0 el punto es ru(θ)-\abs{r}\,\vec u(\theta), en el ángulo θ+π\theta + \pi(Ejercicio 24.5); olvidar esto pierde bucles internos o dobla curvas. Longitud del arco integrates f\norm{f'}, not ff': dividir el integral en los ceros de la velocidad — para el astroide, integrando 32sin2t\frac32\sin 2t durante un período completo sin absoluta Los valores dan 00, no 66. Cónicas must be reduced before being read: en 9x2+25y236x50y164=09x^2 + 25y^2 - 36x - 50y - 164 = 0, ni los ejes, ni el centro, ni la excentricidad es visible hasta que se completan los cuadrados (Ejercicio 24.6); y una parte cuadrática fugaz en uno variable significa parábola, no "elipse degenerada".

Observación 24.17 (Adónde van estas curvas)

Curvas parametrizadas son el lenguaje de la mecánica: trayectorias son curvas, los vectores de velocidad son vectores tangentes y arco longitud de Definición 24.9 es la distancia recorrida. el cónicas reaparece allí donde actúa una ley del cuadrado inverso — planetario las órbitas son elipses con el sol en un foco. en Capítulo 25, las curvas pasan a ser el nivel conjuntos de funciones de dos variables, y la tangente de este capítulo cumple con la gradiente del siguiente. El volumen Year 2 añade curvatura y el forma canónica local de una curva; el problema del fin de semana a continuación ya extrae, sólo con las herramientas de este año, todo lo que El siglo XVII conoció su curva más famosa.

Observación 24.18 (Perspectivas dentro del Libro 3)

Este capítulo ocupa toda la primera mitad del volumen y alimenta el último capítulo. Consumado: los vectores tangentes son derivados (Capítulo 14), longitud del arco y las áreas son integrales (Capítulo 15), cúspides se liquidan mediante Expansiones de Taylor (Capítulo 16), la tautocrona es una lineal ecuación diferencial (Capítulo 5), y cada la distancia y el ángulo son euclidianos (Capítulo 23). alimentado: en Capítulo 25, una curva t(x(t),y(t))t \mapsto (x(t), y(t)) dibujada dentro de un nivel conjunto{f=c}\{f = c\} se diferencia por la regla de la cadena, y la identidad resultante f, f(t)=0\langle \nabla f,\ f'(t)\rangle = 0 une los vectores tangentes de este capítulo con la gradientes del siguiente — la línea tangente de la curva y la dirección normal de la superficie son los mismos cálculos vistos de ambos bancos.

24.5 Ceremonias

Ejercicio 24.1

Estudia y dibuja la curva x(t)=t2x(t) = t^2,y(t)=t3y(t) = t^3(simetrías, variaciones, comportamiento en el punto singular t=0t = 0).

Solución

Solución de Ejercicio 24.1.

M(t)=(t2,t3)M(-t) = (t^2, -t^3): reflexión en el eje xx; estudio t0t \geq 0. Tanto x=2tx' = 2t como y=3t2y' = 3t^2 son 0\geq 0: la rama se mueve derecha y arriba, desde (0,0)(0,0) hasta el infinito. Ent=0t = 0 la velocidad desaparece; las expansiones x=t2x = t^2,y=t3y = t^3 muestran que la tangente es la Eje xx(y/x=t0y/x = t \to 0) con yycambiando de signo mientras que x0x \geq 0: un cúspide apuntando hacia la izquierda. La curva es la parábola semicúbica. y2=x3y^2 = x^3.

Ejercicio 24.2

Para la cicloide x(t)=tsintx(t) = t - \sin t,y(t)=1costy(t) = 1 - \cos t(la trayectoria de un punto de una rueda rodante de radio 11): identificar la simetría de traslación del período, los puntos singulares y la dirección tangente en t=0t = 0(expandir xx y yy al primer órdenes distintas de cero).

Solución

Solución de Ejercicio 24.2.

M(t+2π)=M(t)+(2π,0)M(t + 2\pi) = M(t) + (2\pi, 0): la curva se repite, traducida por circunferencia de una rueda; estudiar un período. x(t)=1cost0x'(t) = 1 - \cos t \geq 0,y(t)=sinty'(t) = \sin t: el arco sube en (0,π)\intoo{0}{\pi}, baja en (π,2π)\intoo{\pi}{2\pi}, culminando en (π,2)(\pi, 2). Puntos singulares donde x=y=0x' = y' = 0:t2πZt \in 2\pi\Z, en el terreno. Cerca de t=0t = 0:

x(t)=t36+o(t3),y(t)=t22+o(t2):x(t) = \frac{t^3}{6} + o(t^3), \qquad y(t) = \frac{t^2}{2} + o(t^2):

xx cambia de signo,y0y \geq 0 y xy3/2\frac{x}{y^{3/2}} acotados: el la tangente es vertical (dirección (0,1)(0,1)), una cúspide donde El punto rastreado tiene momentáneamente velocidad cero — la firma física de rodar sin resbalar.

Ejercicio 24.3

Da la recta tangente a la curva (cos3t,sin3t)(\cos^3 t, \sin^3 t) en t=π4t = \frac\pi4, y comprueba que el segmento de esta tangente cortado por la ejes tiene longitud 11 — una propiedad famosa del astroide (verdadera en cada punto regular).

Solución

Solución de Ejercicio 24.3.

En t=π4t = \frac\pi4:M=(24,24)M = \bigl(\frac{\sqrt2}{4}, \frac{\sqrt2}{4}\bigr), dirección tangente (cost,sint)=12(1,1)(-\cos t, \sin t) = \frac{1}{\sqrt2}(-1, 1)(Ejemplo 24.4). tangente línea: y24=(x24)y - \frac{\sqrt2}{4} = -(x - \frac{\sqrt2}{4}), es decir x+y=22x + y = \frac{\sqrt2}{2}. Intersecciones:(22,0)\bigl(\frac{\sqrt2}{2}, 0\bigr) y (0,22)\bigl(0, \frac{\sqrt2}{2}\bigr); el segmento entre ellos tienen longitud 12+12=1\sqrt{\frac12 + \frac12} = 1.

(Punto general tt: la tangente en (cos3t,sin3t)(\cos^3 t, \sin^3 t) corta la ejes en (cost,0)(\cos t, 0) y (0,sint)(0, \sin t) — verifique que la línea por estos puntos tiene dirección (cost,sint)(-\cos t, \sin t) y pasa hasta M(t)M(t)— y el segmento cortado tiene longitudcos2t+sin2t=1\sqrt{\cos^2 t + \sin^2 t} = 1).

Ejercicio 24.4

Dibuja la curvas polares r=cos2θr = \cos 2\theta(rosa de cuatro pétalos) y r=1cosθr = \frac{1}{\cos\theta} en (π2,π2)\intoo{-\frac\pi2}{\frac\pi2} (reconocer una línea).

Solución

Solución de Ejercicio 24.4.

r=cos2θr = \cos 2\theta: período π\pi en θ\theta, simétrico en ambos ejes; rr desaparece en θ=±π4\theta = \pm\frac\pi4(tangentes en el origen a lo largo de las diagonales) y es negativo para θ(π4,3π4)\theta \in \intoo{\frac\pi4}{\frac{3\pi}{4}}, donde los puntos se trazan en la rayo opuesto — produciendo cuatro pétalos a lo largo de las direcciones del eje θ=0,π2,π,3π2\theta = 0, \frac\pi2, \pi, \frac{3\pi}{2}, cada uno de máximo radio 11.

rcosθ=1r\cos\theta = 1 es la ecuación x=1x = 1: la curva polarr=1cosθr = \frac{1}{\cos\theta} es la línea vertical x=1x = 1(barrida una vez por θ(π2,π2)\theta \in \intoo{-\frac\pi2}{\frac\pi2}).

Ejercicio 24.5 ★★

Estudia el dominio curva polar r=1+2cosθr = 1 + 2\cos\theta(a limaçon): donde r0r \geq 0 vs r<0r < 0(puntos trazados con radio negativo sentarse en el rayo opuesto), paso por el origen, bucle interior, boceto.

Solución

Solución de Ejercicio 24.5.

r(θ)=1+2cosθr(\theta) = 1 + 2\cos\theta desaparece para cosθ=12\cos\theta = -\frac12: θ=±2π3\theta = \pm\frac{2\pi}{3}. Simetría en el eje xx; estudiar θ[0,π]\theta \in \intcc{0}{\pi}. Para θ[0,2π3)\theta \in \intco{0}{\frac{2\pi}{3}}:r>0r > 0, disminuyendo de 33a00: arco exterior, entrando en el origen tangente al rayo θ=2π3\theta = \frac{2\pi}{3}. Para θ(2π3,π]\theta \in \intoc{\frac{2\pi}{3}}{\pi}:r<0r < 0: los puntos ru(θ)r\vec u(\theta) se encuentran en el rayo opuesto (ángulo θπ(π3,0]\theta - \pi \in \intoc{-\frac\pi3}{0}), con distancia r\abs r creciendo de 00a11: esto dibuja un pequeño bucle interior a través del origen. En θ=π\theta = \pi, r=1r = -1 y el punto es u(π)=(1,0)-\vec u(\pi) = (1, 0): el bucle se cierra en el eje positivo xx. Boceto: una gran curva exterior en forma de corazón con alcance máximo 33 en θ=0\theta = 0, más un bucle en su interior hasta OO y (1,0)(1,0).

Ejercicio 24.6 ★★

Identificar el cónico 9x2+25y236x50y164=09x^2 + 25y^2 - 36x - 50y - 164 = 0: reducir en completar cuadrados, dar centro, semiejes, focos, excentricidad.

Solución

Solución de Ejercicio 24.6.

Cuadrados completos:

9(x24x)+25(y22y)=164    9(x2)2+25(y1)2=164+36+25=225.9(x^2 - 4x) + 25(y^2 - 2y) = 164 \iff 9(x-2)^2 + 25(y-1)^2 = 164 + 36 + 25 = 225 .

Dividiendo por 225225:(x2)225+(y1)29=1\frac{(x-2)^2}{25} + \frac{(y-1)^2}{9} = 1: un elipse de centro (2,1)(2, 1), semiejes a=5a = 5(horizontal),b=3b = 3;c=259=4c = \sqrt{25 - 9} = 4: focos (2±4,1)=(2,1)(2 \pm 4,\, 1) = (-2, 1) y (6,1)(6, 1); excentricidad e=45e = \frac45.

Ejercicio 24.7 ★★

Demuestre que la ecuación polar de un cónico con foco en el origen es

r=p1+ecosθr = \frac{p}{1 + e\cos\theta}

(directriz vertical a la distancia pe\frac pe a la derecha del foco). ¿Qué valores de θ\theta están permitidos cuando e>1e > 1?

Solución

Solución de Ejercicio 24.7.

Centrarse en el origen, directriz D:x=dD: x = d con d=pe>0d = \frac pe > 0. Para un punto M=(rcosθ,rsinθ)M = (r\cos\theta, r\sin\theta) con r>0r > 0:

MF=r,d(M,D)=drcosθ,MF = r, \qquad d(M, D) = \abs{d - r\cos\theta},

y la condición cónico MF=ed(M,D)MF = e\,d(M, D), en el régimen donde MM está en el lado de enfoque de la directriz (rcosθ<dr\cos\theta < d), lee r=e(drcosθ)r = e(d - r\cos\theta), es decir

r(1+ecosθ)=ed=p,r=p1+ecosθ.r(1 + e\cos\theta) = ed = p, \qquad r = \frac{p}{1 + e\cos\theta} .

Para e<1e < 1 el denominador nunca desaparece: se permiten todos los θ\theta (elipse). Para e=1e = 1:θπ\theta \neq \pi(parábola, abierta hacia el otro lado de la directriz). Para e>1e > 1: necesita 1+ecosθ>01 + e\cos\theta > 0, es decir, θ(θ0,θ0)\theta \in \intoo{-\theta_0}{\theta_0} con θ0=arccos(1e)\theta_0 = \arccos\bigl(-\frac1e\bigr): un rama de la hipérbola (la otra rama corresponde a la elección de signo r<0r < 0, o a la segundo enfoque).

Ejercicio 24.8 ★★

De la propiedad bifocal MF+MF=2aMF + MF' = 2a, deduzca la "distancia del jardinero". construcción” de la elipse, y demostrar que la tangente en MM forma ángulos iguales con MFMF y MFMF'(reflection property; differentiate M(t)F+M(t)F=2a\norm{M(t) - F} + \norm{M(t) - F'} = 2a and interpret the vanishing sum of unit-vector products).

Solución

Solución de Ejercicio 24.8.

Jardinero: ate una cuerda de longitud 2a2aa dos estacas F,FF, F' y manténgala tensa con el punto de calco MM: la restricción es exactamente MF+MF=2aMF + MF' = 2a, por lo que la curva trazada es la elipse.

Propiedad de reflexión: deja que tM(t)t \mapsto M(t) sea un habitual parametrización y u(t)=M(t)FM(t)Fu(t) = \frac{M(t) - F}{\norm{M(t) - F}}, u(t)u'(t) el vector unitario análogo aFF'. diferenciando MF+MF=2a\norm{M - F} + \norm{M - F'} = 2a, usando  ⁣d ⁣dtMF=MFMF,M\frac{\dd}{\dd t}\norm{M - F} = \bigl\langle \frac{M - F}{\norm{M-F}},\, M'\bigr\rangle(regla de cadena en ,\sqrt{\langle\cdot,\cdot\rangle}):

u+u,M=0.\bigl\langle u + u',\, M'\bigr\rangle = 0 .

Entonces la dirección tangente MM' es ortogonal a la bisectriz dirección u+uu + u' de los dos rayos focales: la tangente hace igual ángulos con MFMF y MFMF'. (Un rayo de luz de un foco refleja de la elipse al otro foco.)

Ejercicio 24.9 ★★★

El lemniscata de Bernoulli es el curva polar r2=cos2θr^2 = \cos 2\theta(tome r=cos2θr = \sqrt{\cos2\theta} donde esté definido).

  1. Indica su dominio, simetrías, tangentes en el origen y dibújalo.
  2. Demuestre que es el lugar geométrico de los puntos MM con MFMF=12MF \cdot MF' = \frac12 donde F,F=(±12,0)F, F' = \bigl(\pm\frac{1}{\sqrt2}, 0\bigr). (Compute MF2MF2MF^2\,MF'^2 in polar coordenadas.)
Solución

Solución de Ejercicio 24.9.

  1. Dominio: cos2θ0\cos 2\theta \geq 0:θ[π4,π4][3π4,5π4]\theta \in \intcc{-\frac\pi4}{\frac\pi4} \cup \intcc{\frac{3\pi}{4}}{\frac{5\pi}{4}}. Simetrías:θθ\theta \mapsto -\theta(eje xx) y θπθ\theta \mapsto \pi - \theta(ejeyy): estudio [0,π4]\intcc{0}{\frac\pi4};rr disminuye de 11a00. Enθ=±π4\theta = \pm\frac\pi4:r=0r = 0, tangentes en el origen a lo largo de las diagonales. la curva es el símbolo \infty: dos bucles simétricos que se encuentran en OO, llegando a (±1,0)(\pm 1, 0).
  2. Con F,F=(±c,0)F, F' = (\pm c, 0),c=12c = \frac{1}{\sqrt 2} y M=(rcosθ,rsinθ)M = (r\cos\theta, r\sin\theta):

    MF2MF2=((rcosθc)2+r2sin2θ)((rcosθ+c)2+r2sin2θ)=(r2+c2)2(2rccosθ)2,MF^2\, MF'^2 = \bigl((r\cos\theta - c)^2 + r^2\sin^2\theta\bigr) \bigl((r\cos\theta + c)^2 + r^2\sin^2\theta\bigr) = (r^2 + c^2)^2 - (2rc\cos\theta)^2 ,

    por la identidad (AB)(A+B)=A2B2(A - B)(A + B) = A^2 - B^2 con A=r2+c2A = r^2 + c^2,B=2rccosθB = 2rc\cos\theta. Con c2=12c^2 = \frac12:

    MF2MF2=(r2+12)22r2cos2θ=r4+r2(12cos2θ)+14=r4r2cos2θ+14.MF^2 MF'^2 = \Bigl(r^2 + \frac12\Bigr)^2 - 2r^2\cos^2\theta = r^4 + r^2\bigl(1 - 2\cos^2\theta\bigr) + \frac14 = r^4 - r^2\cos 2\theta + \frac14 .

    En la lemniscata, r2=cos2θr^2 = \cos 2\theta: los dos primeros términos cancelar, dejando MF2MF2=14MF^2MF'^2 = \frac14, es decir MFMF=12MF \cdot MF' = \frac12. Por el contrario, el cálculo leído al revés muestra la ecuación del lugar MFMF=12MF\,MF' = \frac12 es r2=cos2θr^2 = \cos 2\theta(para r0r \neq 0; y OO satisface ambas).

Ejercicio 24.10 ★★

Calcular el total longitud del cardioide r=1+cosθr = 1 + \cos\theta usando la fórmula polar de Definición 24.9 (the identity 1+cosθ=2cos2θ21 + \cos\theta = 2\cos^2\frac\theta2 turns the square root into 2cosθ22\abs{\cos\frac\theta2}).

Solución

Solución de Ejercicio 24.10.

r=1+cosθr = 1 + \cos\theta, r=sinθr' = -\sin\theta:

r2+r2=1+2cosθ+cos2θ+sin2θ=2+2cosθ=4cos2θ2,r^2 + r'^2 = 1 + 2\cos\theta + \cos^2\theta + \sin^2\theta = 2 + 2\cos\theta = 4\cos^2\frac\theta2 ,

entonces r2+r2=2cosθ2\sqrt{r^2 + r'^2} = 2\abs{\cos\frac\theta2} y, por el simetría en el eje xx,

L=02π2cosθ2 ⁣dθ=20π2cosθ2 ⁣dθ=2[4sinθ2]0π=8.L = \int_0^{2\pi} 2\Bigl|\cos\frac\theta2\Bigr|\,\dd\theta = 2\int_0^{\pi} 2\cos\frac\theta2\,\dd\theta = 2\Bigl[4\sin\frac\theta2\Bigr]_0^{\pi} = 8 .

Otro perímetro algebraico libre de π\pi.

Ejercicio 24.11 ★★

Demuestre que la tangente a la elipse (acost,bsint)(a\cos t, b\sin t) en el punto del parámetro tt tiene ecuación

xcosta+ysintb=1,\frac{x\cos t}{a} + \frac{y\sin t}{b} = 1 ,

y deducir la tangente a x2a2+y2b2=1\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1 en un punto (x0,y0)(x_0, y_0) de la elipse:xx0a2+yy0b2=1\frac{x\,x_0}{a^2} + \frac{y\,y_0}{b^2} = 1(la regla de la "división de los cuadrados").

Solución

Solución de Ejercicio 24.11.

El punto (acost,bsint)(a\cos t, b\sin t) satisface la ecuación: cos2t+sin2t=1\cos^2 t + \sin^2 t = 1. El vector normal de la recta es (costa,sintb)\bigl(\frac{\cos t}a, \frac{\sin t}b\bigr) y su producto. con la velocidad (asint,bcost)(-a\sin t, b\cos t) es sintcost+sintcost=0-\sin t\cos t + \sin t\cos t = 0: la recta pasa por el punto con la dirección tangente — es la tangente. Para (x0,y0)(x_0, y_0) en el elipse, escriba cost=x0a\cos t = \frac{x_0}a,sint=y0b\sin t = \frac{y_0}b y sustituto:

xx0a2+yy0b2=1,\frac{x\,x_0}{a^2} + \frac{y\,y_0}{b^2} = 1 ,

obtenido de la ecuación de la elipse "dividiendo" x2xx0x^2 \mapsto x\,x_0 y y2yy0y^2 \mapsto y\,y_0.

Ejercicio 24.12 ★★★

El espiral logarítmica es el curva polar r=ekθr = \eu^{k\theta}(k>0k > 0 fijo,θR\theta \in \R).

  1. Demuestre que el ángulo VV entre el radio y el tangente es constante (tanV=1k\tan V = \frac1k) — la La espiral cruza cada rayo en el mismo ángulo.
  2. Demuestre que al girar la espiral en un ángulo ccaplicaciones se en su escala por el factor ekc\eu^{-kc}: cada La rotación de la espiral es una ampliación de la misma. (autosemejanza).
  3. Calcular el longitud del arco θ(,θ0]\theta \in \intoc{-\infty}{\theta_0}(como límite de longitudes en [A,θ0]\intcc{A}{\theta_0},AA \to -\infty) y observe que es finito: una curva que gira en espiral infinitas veces alrededor del origen, de longitud finito.
Solución

Solución de Ejercicio 24.12.

  1. r=kekθr' = k\eu^{k\theta}, entonces tanV=rr=1k\tan V = \frac{r}{r'} = \frac1k: constante. La espiral corta cada rayo del origen en el mismo ángulo V=arctan1kV = \arctan\frac1k.
  2. En notación compleja la espiral es {ekθeiθ:θR}\{\eu^{k\theta} \eu^{\iu\theta} : \theta \in \R\}. Girando por cc multiplica por eic\eu^{\iu c}:

    ekθei(θ+c)=ekcek(θ+c)ei(θ+c),\eu^{k\theta}\eu^{\iu(\theta + c)} = \eu^{-kc}\,\eu^{k(\theta + c)}\eu^{\iu(\theta+c)} ,

    y como θ+c\theta + c se ejecuta sobre R\R, esto describe ekc\eu^{-kc} veces la espiral: rotación== escala. No Otra curva suave pero líneas y círculos tiene esto. propiedad.

  3. r2+r2=1+k2ekθ\sqrt{r^2 + r'^2} = \sqrt{1 + k^2}\,\eu^{k\theta}, entonces en [A,θ0]\intcc{A}{\theta_0} el longitud es 1+k2k(ekθ0ekA)\frac{\sqrt{1+k^2}}{k}\bigl(\eu^{k\theta_0} - \eu^{kA}\bigr), y como AA \to -\infty:

    L=1+k2kekθ0<:L = \frac{\sqrt{1 + k^2}}{k}\,\eu^{k\theta_0} < \infty :

    infinitas vueltas alrededor del origen, total finito longitud (las espiras se contraen geométricamente).

24.6 Problema: la cicloide, reina de las curvas

Problema 24.1

Una rueda de radio RR rueda sin deslizarse a lo largo del eje xx; la punta de la llanta inicialmente en el origen rastros el cicloide. El siglo XVII luchó por esta curva. — Galileo pesó recortes de papel, Wren los midió, Roberval calculó su área, Huygens construyó relojes en ella…y cada uno de sus resultados está al alcance de este capítulo. Nosotros prueba los cuatro clásicos: la construcción tangente, longitud de Wren 8R8R, el área 3πR23\pi R^2 y la tautocrona de Huygens propiedad.

Parte I — Rolling and the tangent.

  1. Después de que la rueda haya girado un ángulo tt, su centro se sienta en Ω(t)=(Rt,R)\Omega(t) = (Rt, R)(rodando sin resbalar: distancia de contacto == arco laminado). Demuestre que lo marcado el punto es en

    M(t)=(R(tsint),  R(1cost)).M(t) = \bigl(R(t - \sin t),\; R(1 - \cos t)\bigr).
  2. Calcula f(t)f'(t) y muestra f(t)=2Rsint2\norm{f'(t)} = 2R\,\abs{\sin\frac t2}; localizar los puntos singulares (cúspides — cf. Ejercicio 24.2) y la parte superior de cada arco.
  3. Sea C(t)=(Rt,0)C(t) = (Rt, 0) el punto de contacto y T(t)=(Rt,2R)T(t) = (Rt, 2R) la parte superior de la rueda. Demuestre que para 0<t<2π0 < t < 2\pi el vector MCM - C es normal con respecto a la curva en M(t)M(t) y el vector TMT - M es tangente: para dibujar la tangente a una cicloide, une el punto a la parte superior de su círculo rodante. (Factor everything through sint2\sin\frac t2 and cost2\cos\frac t2.)
  4. Interpretar la pregunta 3 cinemáticamente: el punto de contacto es el centro de rotación instantáneo y el La velocidad de MM es igual a su distancia aCC(para unidades angulares). velocidad). Verifique MC=2Rsint2\norm{M - C} = 2R\abs{\sin\frac t2}.
  5. Demostrar la relación altura-velocidad

    f(t)2=2Ry(t):\norm{f'(t)}^2 = 2R\,y(t) :

    en una cicloide atravesada con velocidad angular unitaria, la La velocidad en cada punto es exactamente la velocidad de caída libre de un caída igual a la altura actual. (Guarde esto para Parte IV.)

Parte II — Wren’s theorem: the arch has longitud 8R8R.

  1. Usando Definición 24.9, calcule el longitud de un arco:

    L=02π2Rsint2 ⁣dt=8RL = \int_0^{2\pi} 2R\sin\frac t2\,\dd t = 8R

    (Teorema de Wren, 1658). Cuatro diámetros de rueda, y no π\pi en cualquier lugar.

  2. Calcule longitud del arco a partir de cúspide: s(t)=4R(1cost2)s(t) = 4R\bigl(1 - \cos\frac t2\bigr) y verifique s(2π)=8Rs(2\pi) = 8R.
  3. Ahora mida el arco desde ápex t=πt = \pi: σ(t)=4Rcost2\sigma(t) = \abs{4R\cos\frac t2}. Demostrar lo intrínseco relación

    σ2=8R(2Ry):\sigma^2 = 8R\,\bigl(2R - y\bigr) :

    la distancia del arco cuadrado desde la parte superior es proporcional a la altura cae por debajo de la parte superior.

  4. Comprobaciones de cordura: recupera de la pregunta 8 que el medio arco desde el ápice hasta cúspide tiene longitud 4R4R, y comparar con el cálculo astroide de Ejemplo 24.10 — ambas curvas tienen longitudes algebraico, π\pi libre; explicar qué hace esto posible a pesar de que ambos son construido a partir de círculos. (Look at the form of f\norm{f'}.)

Parte III — Roberval’s area: 3πR23\pi R^2.

  1. Justify that the area between one arch and the ground is A=02πy(t)x(t) ⁣dtA = \int_0^{2\pi} y(t)\,x'(t)\,\dd t(the substitution x=x(t)x = x(t) in y ⁣dx\int y\,\dd x, Teorema 15.15; xx is increasing).
  2. Computar

    A=R202π(1cost)2 ⁣dt=3πR2:A = R^2\int_0^{2\pi}(1 - \cos t)^2\,\dd t = 3\pi R^2 :

    exactamente tres veces el área de la rueda — la proporción que Galileo había adivinado al pesar.

  3. Mismo método para el astroide (cos3t,sin3t)(\cos^3t, \sin^3t): mostrar que el área cerrada es 3π8\frac{3\pi}8(linearize sin4tcos2t\sin^4 t\cos^2 t; only the constant term survives over a full period).
  4. Cordura verifica la fórmula de la pregunta 10 en la unidad superior semicírculo (cost,sint)(\cos t, \sin t),tt de π\pia00: ¿Devuelve π2\frac\pi2?

Parte IV — Huygens’ tautochrone. Voltear el arco: una cuenta sin fricción se desliza, por gravedad gg, dentro del cuenco cicloidal

x(t)=R(t+sint),y(t)=R(1cost)(t[π,π]),x(t) = R(t + \sin t), \qquad y(t) = R(1 - \cos t) \qquad (t \in \intcc{-\pi}{\pi}),

cuyo punto más bajo es el origen (yy medido hacia arriba).

  1. Calcula la velocidad f(t)=2Rcost2\norm{f'(t)} = 2R\cos\frac t2, la longitud del arco desde abajo s(t)=4Rsint2s(t) = 4R\sin\frac t2, y probar la identidad clave

    y=s28R.y = \frac{s^2}{8R} .
  2. La cuenta liberada en reposo desde el punto del parámetro t0>0t_0 > 0 obedece a conservación de energía: si s(τ)s(\tau) denota su posición de arco en el momento τ\tau, luego 12( ⁣ds ⁣dτ)2+gy=gy0\frac12\bigl( \frac{\dd s}{\dd\tau}\bigr)^2 + g\,y = g\,y_0. Reescribir esto, utilizando la pregunta 14, como

    ( ⁣ds ⁣dτ) ⁣2=g4R(s02s2),s0=s(t0).\Bigl(\frac{\dd s}{\dd\tau}\Bigr)^{\!2} = \frac{g}{4R}\,\bigl(s_0^2 - s^2\bigr), \qquad s_0 = s(t_0).
  3. Diferenciar respecto de τ\tau y obtener el oscilador armónico

     ⁣d2s ⁣dτ2=g4Rs;\frac{\dd^2 s}{\dd\tau^2} = -\frac{g}{4R}\,s ;

    resuélvelo con Teorema 5.10 y el condiciones iniciales: s(τ)=s0cos(ωτ)s(\tau) = s_0\cos(\omega\tau), ω=g/4R\omega = \sqrt{g/4R}.

  4. Deducir el propiedad tautocrona (Huygens, 1659): el momento de llegar al fondo,

    T=π2ω=πRg,T_{\downarrow} = \frac{\pi}{2\omega} = \pi\sqrt{\frac Rg}\,,

    no depende del punto de liberación — perlas liberadas juntos desde dos alturas cualesquiera del recipiente llegan juntos.

  5. Verificar por sustitución que s(τ)=s0cosωτs(\tau) = s_0\cos\omega\tau satisface la energía de primer orden. ecuación de la pregunta 15 exactamente (no sólo la diferenciado), y explica en una frase por qué un El péndulo circular es solo aproximadamente. isócrono mientras que la cicloide lo es exactamente.
  6. Numéricamente: qué radio RR hace el tiempo de descenso exactamente un segundo (g=9.81g = 9.81)? Observe lo cerca que está el la respuesta es a un metro, y cómo la oscilación completa período 2π4R/g2\pi\sqrt{4R/g} se compara con el ángulo pequeño fórmula del péndulo 2π/g2\pi\sqrt{\ell/g} para =4R\ell = 4R.

Part V — Dividends, and synthesis.

  1. Aplique la regla de la tangente de la pregunta 3 en t=π2t = \frac\pi2(tome R=1R = 1): calcule MM,TT, el dirección de MTMT y compruébelo con f(π2)f'(\frac\pi2).
  2. (Trocoides) Marque en su lugar un punto a la distancia dd de el centro (dRd \neq R): la curva es x=Rtdsintx = Rt - d\sin t,y=Rdcosty = R - d\cos t. Muestre que para d<Rd < R el La curva es regular en todas partes y es la gráfica de no comportamiento singular (x>0x' > 0: avanza), mientras que para d>Rd > R la abscisa xx' cambia de signo y la curva hace bucles — la rueda de ferrocarril con pestañas cuyo borde apunta viaje hacia atrás.
  3. (avance de Braquistócrona) Del cúspide (πR,2R)(\pi R, 2R) de el recipiente hasta el fondo, compare el tiempo de descenso de la cicloide πR/g\pi\sqrt{R/g} con el tiempo por la rampa recta uniendo los mismos puntos (constant acceleration gsinαg\sin\alpha along the chord): muestra las tomas del acorde π2+4R/g3.72R/g\sqrt{\pi^2 + 4}\,\sqrt{R/g} \approx 3.72\sqrt{R/g}. La curva supera a la línea; de hecho, es la más rápida. de todas las curvas, resultado del cálculo de variaciones.
  4. Muestra que en el arco (0<t<2π0 < t < 2\pi),

     ⁣dy ⁣dx=cott2, ⁣d2y ⁣dx2=14Rsin4t2<0:\frac{\dd y}{\dd x} = \cot\frac t2, \qquad \frac{\dd^2 y}{\dd x^2} = -\frac{1}{4R\sin^4\frac t2} < 0 :

    el arco es cóncavo, con tangentes verticales exactamente en el cúspides.

  5. Recuperar la tangente vertical cúspide de Ejercicio 24.2 geométricamente: calcular el límite dirección del acorde MTMT de la pregunta 3 como t0+t \to 0^{+}, sin expansión alguna.
  6. Síntesis, en cuatro frases: cuáles tres teoremas nombrados este problema quedó demostrado (con sus números 8R8R,3πR23\pi R^2,πR/g\pi\sqrt{R/g} y sus autores); cual soltero dispositivo computacional (sint2\sin\frac t2,cost2\cos\frac t2 factorizaciones) impulsaron todas las Partes I, II y IV; como la relación intrínseca y=s2/8Ry = s^2/8R geometría convertida en una ecuación diferencial lineal; y que capitulo de este libro se apoyó cada Parte.
Solución

Solución de Problema 24.1.

1. Rodar sin deslizarse significa que el punto de contacto tiene recorrido una distancia igual al arco de la rueda desenrollada: después girando por tt, el centro está en (Rt,R)(Rt, R). El punto marcado se encuentra en la llanta en ángulo ttdetrás la vertical hacia abajo (la rueda gira en el sentido de las agujas del reloj mientras avanza):

M(t)=Ω(t)+R(sint,cost)=(R(tsint), R(1cost)),M(t) = \Omega(t) + R(-\sin t, -\cos t) = \bigl(R(t - \sin t),\ R(1 - \cos t)\bigr),

lo cual es correcto en t=0t = 0(M=(0,0)M = (0,0)) y en t=πt = \pi(M=(πR,2R)M = (\pi R, 2R), la parte superior).

2. f(t)=R(1cost, sint)f'(t) = R(1 - \cos t,\ \sin t) y

f2=R2((1cost)2+sin2t)=2R2(1cost)=4R2sin2t2,\norm{f'}^2 = R^2\bigl((1-\cos t)^2 + \sin^2 t\bigr) = 2R^2(1 - \cos t) = 4R^2\sin^2\frac t2 ,

entonces f=2Rsint2\norm{f'} = 2R\abs{\sin\frac t2}. Puntos singulares en t2πZt \in 2\pi\Z: el cúspides en tierra (Ejercicio 24.2); el La parte superior del arco es t=πt = \pi, donde la velocidad 2R2R es máxima.

3. Factorizaciones de medio ángulo:

f(t)=2Rsint2(sint2, cost2),MC=2Rsint2(cost2, sint2),f'(t) = 2R\sin\frac t2\,\Bigl(\sin\frac t2,\ \cos\frac t2\Bigr), \quad M - C = 2R\sin\frac t2\,\Bigl(-\cos\frac t2,\ \sin\frac t2\Bigr),
TM=(Rsint, R(1+cost))=2Rcost2(sint2, cost2).T - M = \bigl(R\sin t,\ R(1 + \cos t)\bigr) = 2R\cos\frac t2\,\Bigl(\sin\frac t2,\ \cos\frac t2\Bigr).

Para 0<t<2π0 < t < 2\pi, sint20\sin\frac t2 \neq 0:MCM - C es ortogonal a la dirección tangente (sint2,cost2)\bigl(\sin\frac t2, \cos\frac t2\bigr)(su producto es sint2cost2+sint2cost2=0-\sin\frac t2\cos\frac t2 + \sin\frac t2\cos\frac t2 = 0), y TMT - M es paralela a ella. La cuerda hasta la parte superior de la rueda is la tangente; el La cuerda hasta el punto de contacto es la normal.

4. En cada instante la rueda gira sobre su punto de contacto. punto (ese punto tiene velocidad cero: rueda sin deslizarse), entonces cada punto rígido de la rueda mueve ortogonalmente a la línea uniéndolo a CC, con velocidad (velocidad angular 11) igual a esa distancia. Verificar: MC=2Rsint2=f(t)\norm{M - C} = 2R\abs{\sin\frac t2} = \norm{f'(t)}.

5. 2Ry(t)=2R2Rsin2t2=4R2sin2t2=f(t)22R\,y(t) = 2R\cdot 2R\sin^2\frac t2 = 4R^2\sin^2\frac t2 = \norm{f'(t)}^2. La velocidad en alturayy es 2Ry\sqrt{2R\,y}— formalmente la ley v=2ghv = \sqrt{2gh} de libre caer, con el suelo tocando el techo; La parte IV convierte esto observación en un mecanismo de relojería.

6. Por Definición 24.9 y pregunta 2 (sint20\sin\frac t2 \geq 0 en [0,2π]\intcc{0}{2\pi}):

L=02π2Rsint2 ⁣dt=2R[2cost2]02π=2R(2+2)=8R.L = \int_0^{2\pi} 2R\sin\frac t2\,\dd t = 2R\Bigl[-2\cos\frac t2\Bigr]_0^{2\pi} = 2R(2 + 2) = 8R .

Teorema de Wren: cuatro diámetros exactamente.

7.s(t)=0t2Rsinu2 ⁣du=4R(1cost2)s(t) = \int_0^t 2R\sin\frac u2\,\dd u = 4R\bigl(1 - \cos\frac t2\bigr);s(2π)=4R(1+1)=8Rs(2\pi) = 4R(1+1) = 8R, consistente.

8. σ(t)=s(t)s(π)=4R(1cost2)4R=4Rcost2\sigma(t) = \abs{s(t) - s(\pi)} = \abs{4R(1 - \cos\frac t2) - 4R} = 4R\abs{\cos\frac t2}, entonces σ2=16R2cos2t2\sigma^2 = 16R^2\cos^2\frac t2; y 2Ry=R(1+cost)=2Rcos2t22R - y = R(1 + \cos t) = 2R\cos^2\frac t2, de donde 8R(2Ry)=16R2cos2t2=σ28R(2R - y) = 16R^2\cos^2\frac t2 = \sigma^2.

9. En el cúspide t=0t = 0(o 2π2\pi):σ=4R\sigma = 4R, la mitad de 8R8R: el ápice divide a la mitad el arco. En ambos cálculos el La velocidad es trigonometric polynomial in t/2\abs{\text{trigonometric polynomial in } t/2}, cuyo La antiderivada es nuevamente trigonométrica: el longitud es un diferencia de valores de cosenos — números racionales veces RR— sin arco de círculo para medir, por lo tanto no hay π\pi. El círculo en sí tiene velocidad constante, por lo que es longitud integral produce el intervalo longitud 2π2\pi completo; la velocidad de la cicloide desaparece en los extremos y se integra algebraicamente.

10. El arco se barre con xx aumentando de 00 a 2πR2\pi R(x=R(1cost)0x' = R(1 - \cos t) \geq 0, desaparece sólo en puntos aislados). Sustituyendo x=x(t)x = x(t) en el área integral 02πRy ⁣dx\int_0^{2\pi R} y\,\dd x(Teorema 15.15) da A=02πy(t)x(t) ⁣dtA = \int_0^{2\pi} y(t)\,x'(t)\,\dd t.

11.

A=02πR(1cost)R(1cost) ⁣dt=R202π(12cost+cos2t) ⁣dt=R2(2π0+π)=3πR2,A = \int_0^{2\pi} R(1 - \cos t)\cdot R(1 - \cos t)\,\dd t = R^2\int_0^{2\pi}\bigl(1 - 2\cos t + \cos^2 t\bigr)\dd t = R^2\Bigl(2\pi - 0 + \pi\Bigr) = 3\pi R^2 ,

utilizando 02πcos2=π\int_0^{2\pi}\cos^2 = \pi. Exactamente tres zonas de rueda: La balanza de Galileo decía "sobre 33"; El cálculo de Roberval dice "exactamente".

12. Con x=cos3tx = \cos^3 t,y=sin3ty = \sin^3 t:yx=3sin4tcos2ty\,x' = -3\sin^4 t\cos^2 t. Linealizar:

sin4tcos2t=1cos2t2sin22t4=sin22t8sin22tcos2t8,\sin^4 t\cos^2 t = \frac{1 - \cos 2t}{2}\cdot\frac{\sin^2 2t}{4} = \frac{\sin^2 2t}{8} - \frac{\sin^2 2t\cos 2t}{8} ,

y más de [0,2π]\intcc{0}{2\pi}:sin22t=π\int\sin^2 2t = \pi,sin22tcos2t=[sin32t6]=0\int \sin^2 2t\cos 2t = \bigl[\frac{\sin^3 2t}{6}\bigr] = 0. Entonces y ⁣dx=3π8\oint y\,\dd x = -3\cdot\frac\pi8, y el área encerrada es 3π8\frac{3\pi}8(el signo registra el sentido antihorario orientación).

13. Para (cost,sint)(\cos t, \sin t) con tt de π\pia00, xx aumenta de 1-1a11 y

π0sint(sint) ⁣dt=0πsin2t ⁣dt=π2:\int_\pi^0 \sin t\cdot(-\sin t)\,\dd t = \int_0^\pi \sin^2 t\,\dd t = \frac\pi2 :

la fórmula devuelve el área del medio disco superior, como debe ser.

14. x=R(1+cost)=2Rcos2t2x' = R(1 + \cos t) = 2R\cos^2\frac t2,y=Rsint=2Rsint2cost2y' = R\sin t = 2R\sin\frac t2\cos\frac t2, entonces f=2Rcost2\norm{f'} = 2R\cos\frac t2(no negativo en [π,π]\intcc{-\pi}{\pi}). Arco de la parte inferior: s(t)=0t2Rcosu2 ⁣du=4Rsint2s(t) = \int_0^t 2R\cos\frac u2\,\dd u = 4R\sin\frac t2. entonces

y=R(1cost)=2Rsin2t2=2R(s4R) ⁣2=s28R.y = R(1 - \cos t) = 2R\sin^2\frac t2 = 2R\Bigl(\frac{s}{4R}\Bigr)^{\!2} = \frac{s^2}{8R} .

15. Ahorro de energía con v= ⁣ds ⁣dτv = \frac{\dd s}{\dd\tau} y y=s28Ry = \frac{s^2}{8R},y0=s028Ry_0 = \frac{s_0^2}{8R}:

( ⁣ds ⁣dτ) ⁣2=2g(y0y)=2g8R(s02s2)=g4R(s02s2).\Bigl(\frac{\dd s}{\dd\tau}\Bigr)^{\!2} = 2g(y_0 - y) = \frac{2g}{8R}\bigl(s_0^2 - s^2\bigr) = \frac{g}{4R}\bigl(s_0^2 - s^2\bigr).

16. Diferenciando en τ\tau:2ss=g4R2ss2s's'' = -\frac{g}{4R}\,2ss', por lo que donde sea s0s' \neq 0(por lo tanto en todas partes por continuidad), s=g4Rss'' = -\frac{g}{4R}s: el oscilador armónico. Por Teorema 5.10, s(τ)=Acosωτ+Bsinωτs(\tau) = A\cos\omega\tau + B\sin\omega\tau con ω=g/(4R)\omega = \sqrt{g/(4R)}; las condiciones iniciales s(0)=s0s(0) = s_0,s(0)=0s'(0) = 0 dar s(τ)=s0cosωτs(\tau) = s_0\cos\omega\tau.

17. La cuenta llega al fondo cuando s=0s = 0, es decir en ωτ=π2\omega\tau = \frac\pi2:

T=π2ω=π24Rg=πRg,T_{\downarrow} = \frac{\pi}{2\omega} = \frac\pi2\sqrt{\frac{4R}{g}} = \pi\sqrt{\frac Rg}\,,

independiente de s0s_0: liberado desde cualquier lugar del recipiente, todos Las cuentas llegan en el mismo instante: la tautocrona.

18. Sustituyendo s=s0cosωτs = s_0\cos\omega\tau: el lado izquierdo es s02ω2sin2ωτs_0^2\omega^2\sin^2\omega\tau y el lado derecho es g4Rs02(1cos2ωτ)=s02ω2sin2ωτ\frac{g}{4R}s_0^2(1 - \cos^2\omega\tau) = s_0^2\omega^2\sin^2\omega\tau: igualdad exacta, por lo que no espuria Se introdujo la solución. Para un arco circular, yy no es proporcional a s2s^2(y=(1coss)=s22s4243+y = \ell(1 - \cos\frac s\ell) = \frac{s^2}{2\ell} - \frac{s^4}{24\ell^3} + \dots): el El término de restauración es solo aproximadamente lineal, por lo que el período de un péndulo circular se desplaza con amplitud, mientras que el la cicloide es rigurosamente constante.

19. πR/g=1\pi\sqrt{R/g} = 1 da R=gπ29.819.870.994R = \frac{g}{\pi^2} \approx \frac{9.81}{9.87} \approx 0.994 m — casi exactamente un metro. La oscilación completa toma 2πω=2π4R/g\frac{2\pi}\omega = 2\pi\sqrt{4R/g}, que es precisamente la fórmula de ángulo pequeño 2π/g2\pi\sqrt{\ell/g} para un péndulo de longitud=4R\ell = 4R: Huygens suspendió su péndulo de mejillas cicloidales de exactamente esa proporción.

20. En t=π2t = \frac\pi2,R=1R = 1:M=(π21, 1)M = \bigl(\frac\pi2 - 1,\ 1\bigr),T=(π2, 2)T = \bigl(\frac\pi2,\ 2\bigr), entonces TM=(1,1)T - M = (1, 1). Yf(π2)=(10, 1)=(1,1)f'(\frac\pi2) = (1 - 0,\ 1) = (1, 1): el acorde para La cima es la velocidad, como se prometió.

21. Para la trocoide, x(t)=Rdcostx'(t) = R - d\cos t y y(t)=dsinty'(t) = d\sin t. Sid<Rd < R:xRd>0x' \geq R - d > 0, el punto siempre avances; la velocidad nunca desaparece (su primer componente es positivo): ningún punto singular, una onda regular. Si d>Rd > R:x(0)=Rd<0<R+d=x(π)x'(0) = R - d < 0 < R + d = x'(\pi), entonces el punto se mueve hacia atrás cerca de los instantes de contacto y avanza hacia otra parte: la curva se cruza en bucles. Un punto en el ala de un ferrocarril. La rueda (debajo de la cabeza del riel, d>Rd > R) se desplaza hacia atrás en cada girar.

22. El acorde desde el cúspide (πR,2R)(\pi R, 2R) hasta el origen. tiene longitud L=Rπ2+4L = R\sqrt{\pi^2 + 4} y ángulo de pendiente α\alpha con sinα=2RL\sin\alpha = \frac{2R}{L}. Deslizándose desde el reposo con constante aceleración gsinαg\sin\alpha: L=12gsinαT2L = \frac12 g\sin\alpha\,T^2, entonces

T=2Lgsinα=2L22Rg=LRg=π2+4Rg3.72Rg,T = \sqrt{\frac{2L}{g\sin\alpha}} = \sqrt{\frac{2L^2}{2Rg}} = \frac{L}{\sqrt{Rg}} = \sqrt{\pi^2 + 4}\,\sqrt{\frac Rg} \approx 3.72\sqrt{\frac Rg}\,,

contra πR/g3.14R/g\pi\sqrt{R/g} \approx 3.14\sqrt{R/g} para la cicloide: el camino curvo es más rápido. De hecho, es lo más rápido posible. — la braquistocrona — un teorema del cálculo de variaciones, más allá de este volumen.

23.  ⁣dy ⁣dx=yx=sint1cost=cott2\dfrac{\dd y}{\dd x} = \dfrac{y'}{x'} = \dfrac{\sin t}{1 - \cos t} = \cot\dfrac t2(medio ángulo fórmulas). entonces

 ⁣d2y ⁣dx2= ⁣d ⁣dt(cott2)1x(t)=12sin2t212Rsin2t2=14Rsin4t2<0:\frac{\dd^2y}{\dd x^2} = \frac{\dd}{\dd t}\Bigl(\cot\frac t2\Bigr)\cdot\frac{1}{x'(t)} = -\frac{1}{2\sin^2\frac t2}\cdot\frac{1}{2R\sin^2\frac t2} = -\frac{1}{4R\sin^4\frac t2} < 0 :

cóncavo en todo el arco; como t0+t \to 0^+ o 2π2\pi^- el pendiente cott2±\cot\frac t2 \to \pm\infty: tangentes verticales en el cúspides.

24. La dirección del acorde es TM(sint2,cost2)T - M \parallel \bigl(\sin\frac t2, \cos\frac t2\bigr), que tiende a (0,1)(0, 1). como t0+t \to 0^{+}: la tangente en cúspide es vertical — recuperado de geometría pura, sin expansión de Taylor.

25. (i) Teorema de Wren, L=8RL = 8R; área de Roberval,A=3πR2A = 3\pi R^2(proporción conjeturada de Galileo 33); Huygens tautocrona, T=πR/gT_\downarrow = \pi\sqrt{R/g}. (ii) Cada El cálculo se realizó en las factorizaciones de medio ángulo f=2Rsint2(sint2,cost2)f' = 2R\sin\frac t2(\sin\frac t2, \cos\frac t2) y su tazón. analógico — una identidad que alimenta la tangente, longitud y reloj por igual. (iii) La relación intrínseca y=s2/8Ry = s^2/8R convirtió el ecuación de energía en s=g4Rss'' = -\frac{g}{4R}s, una ecuación lineal con coeficientes constantes cuyas soluciones son exactamente isócrono. (iv) La parte I utilizó el cálculo diferencial de Capítulo 14, Parte II–III el integral de Capítulo 15, Parte IV las ecuaciones diferenciales de Capítulo 5 — la cicloide es el plan de estudios de este libro enrollado en una curva.