Miscelénea Matemética 21, 29-52 (1994) Curvas Paralelas Claudio Pita Ruiz Escuela de Ingenieria Universidad Panamericana En este articulo se estudian curvas que tienen la propiedad de mantenerse a una distancia constante de una curva dada (me- dida sobre la normal de esta curva en cada punto), Hamadas “curvas paralelas” (a la curva dada), Se exploran las relaciones que existen entre algunas propiedades (como la regularidad) y as- pectos geométricos (como curvatura, longitud de la curva y area encerrada) de la curva dada y las correspondientes de sus cur- vas paralelas. Los resultados generales que aqui aparecen, gen- eralizan a los presentados en la referencia [1, pag. 47], . Se presentan ademas, de manera exhaustiva -a manera de ejemplos ilustrativos- los estudios correspondientes a las curvas paralelas a elipses y a pardbolas. En este articulo seguiremos la nomenclatura de [1]: entenderemos por curca regular, una aplicacién a: 1 — R?, a(t) = (2(t),y(t)), definida en el intervalo abierto J de R, diferenciable (con derivadas de todos los 6rdenes, las cuales son asfautomdticamente continuas, en todos los puntos de /) tal que el vector velocidad a'(t) = (2'(t),y'(t)) es diferente de cero para todo t en J. Cuando se consideran curvas regulares definidas en intervalos cerrados de R, se debe entender que éstas son restricciones de curvas regulares definidas en intervalos abiertos que contienen al cerrado dado. El producto interno en R? que se maneja en el articulo es el canénico y la norma que se usa es la euclideana.30 MISCELANEA MATEMATICA curva r-paralela a a n(t) r curva @ Figura 1. La curva a su curva r-paralela, Consideremos la curva regular a: 1 + R?, a(t) = (2(t),y(t)). Sea n(2) el vector normal unitario obtenido al girar a’(t) (normalizado) un Angulo de «/2 en direccién antihoraria. Sea 8: — R? la curva definida como Blt) = a(t) +rn(t), en donde r es un niimero real no nulo dado. Observe que para cada t € I'se tiene que || A(t) - a(t) {|=| r |, es decir, 8 es una curva que se mantiene a una distancia constante -igual a | r |- de @. Llamaremos a 8 la curva r-paralela a a. Se entiende que r puede ser positivo o negativo, (por razones obvias se descarta el caso r = 0). El objetivo de este articulo es estudiar algunas de las propiedades geométricas de la curva 8 y relacionarlas con las correspondientes de la curva a. Comencemos por hacer explicitas las funciones coordenadas de la curva 8. Como a'(t) = (x(t), y(t), y el vector n(t) es n(t) = (t), 2"(t)) 1 Teron entonces se tiene — fey MO iy 280 ato = (=0- Teo r* + THOT) 0 Obtengamos ahora una expresién para el vector velocidad f(t). Esto se puede hacer: (1) efectuando directamente las derivadas en las funcionesMISCELANEA MATEMATICA 31 coordenadas de la expresién anterior, Hegando a _(y_vO=2"v) 4, a= (1- OF) ewan que se puede escribir como Bt) = (1 ~rkalt)) a6) @) en donde ka(t) es la curvatura con signo de la curva a, es decir “(Ov - “vo Teor © bien, (2) haciendo uso de la férmula de Frénet n'(t) = —ka(t)a/(t) -ver, por ejemplo, la referencia [2, pag. 83, lema 4.1]- queddndonos, derivando directamente en la formula que define a (2), lo siguiente: Bt) ka(t) = a(t) +rn'(t) al(t) + r(—ka(t)a'(t)) (1 —rka(t)}a“(t) I como obtuvimos anteriormente. Siendo la curva @ regular, nos preguntamos si la curva r-paralela 9 también lo es. Con la formula que obtuvimos pata /'(t) es facil contestar a esta pregunta: puesto que || #’(t) =| 1—rka(t) | || a’(t) | (y por hipotesis || a“(2) |I# 0), se tiene que A(t) # 0 si y solamente si 1—rk,(t) #0 VtE T, lo cual significa que r-? # k(t) Vt € I. Esta tiltima condicién la podemos establecer equivalentemente diciendo que r~! no pertenece al rango de k,(t). En resumen tenemos pues que si la curva @ es regular, su curva r-paralela ser regular si y solamente si r~} ¢ rango de ka(t). Por ejemplo, si consideramos la curva regular a: [a,b] + R?, definida en el intervalo compacto [a, 8] de R, la funcién curvatura ky(t), ¢ € [2,6] alcanzara su maximo absoluto dentro del intervalo {a,4], de modo que si tomamos r = te, (€ > 0), con A co > mex f ka (t) |32 MISCELANEA MATEMATICA las curvas ,(t) = a(t) + en(2) y Bolt} = e(t) ~ en(t), son curvas regulares eparalelas a a, (y que cada una de ellas se encuentra en lados distintos de a(2), es decir, B; se encuentra en el lado marcado por la direccién del vector n(t), mientras que B; se encuentra en el lado opuesto) constituyen la frontera de la vecindad abierta Vela) = {(2,y) € R? | Il (2,9) - Bilt) [I< £=1,2, ET} la cual es una vecindad tubular de la curva a. A manera de ejemplo, consideremos la curva a:[0,2x] + R?, dada por a(t) = (t,sent). La curva r-paralela a a es :(0,2r] + R? B(t) = (t — (7 cos t)/(1 + cos? t)7, sent + r/(1 + cos? ¢)'/*) La curvatura de a en tes ka(t) = —(sen t)/(1 + cos? 4)? que alcanza su maximo en t = 31/2, ef cual vale ka(37/2) = 1. Entonces, tomando € > 0 tal que e~! > 1, es decir tal que € < 1, tenemos que las curvas regulares ¢-paralelas A(t) dadas en la formula anterior con r = +e, constituyen la frontera de una vecindad tubular de a. La figura 2 muestra el caso en que € = 0.1. Veamos ahora cémo estan relacionadas las curvaturas kay de la curva a, con la de su paralela 8, kg. Tomemos r~! ¢ rango de ka(t), de modo que la curva r-paralela 8 es regular. Se tiene IA) x 6%) I _ = rha(t)? ILa“(t) x "Ce II ae is [1 rka(Q)P lf e’(e) IP Por las hipétesis hechas sobre r se tiene que 1—rka(t) > 0 Vt € I, 0 bien 1 — rka(t) <0 Vt € J, y entonces la férmula anterior queda como ka(#)| 1—rka(t) halt) = kg (t) = + (3) con los signos correspondientes a cada uno de los casos mencionados. Con esta formula es facil ver que si la curva a tiene un vértice para ¢ = to (es decirMISCELANEA MATEMATICA 33 Y curva 0.1-paralela a a curva a curva —0.1-paralela a a Figura 2. La curva a: (0,2n]-» R?, a(t) = (J, sen t) y sus curvas r-paralelas con = 0.1 yr=—O.1. que k4(to) = 0) entonces su curva r-paralela @ (regular) tendré también un vértice en el punto correspondiente (to) Consideremos a manera de ejemplo la elipse a: [0,2] + R? dada por a(t) = (acost, bsen ) en donde a > 6 > 0. La curvatura ka(t) es ab ka(t) = (a? sen?t + 6? cos? £)3/2 Los extremos absolutes de esta funcién en el intervalo (0, 2x] se alcanzan en t = 0, x (maximo absolute) y en t = 7/2, 3/2 (minimo absoluto), los cuales valen &4(0) = ko(t) = 4/8? y ka(n/2) = kq(3x/2) = b/a?. Tomando entonces r tal que r~' ¢ [2/a?,a/6"], la curva r-paralela a a, que segiin (1) es rb ra B(t)= (cose (< ~ (@een®t +B cos wri) ysent (> © (a sentt + cost yi sera una curva regular con curvatura k(t) ab bol) = 4 7 thee B cost)? = rab ‘en donde el signo més corresponde al caso en el que r < #/a, y el signo menos corresponde al caso en que r > a®/b, La figura 3 muestra el caso en el que ))34 MISCELANEA MATEMATICA elipse a(t) = (2cost,sen t) curva 0.25-paralela a a atx {——curva 5-paralela a a Figura 3. La elipse a : [0,27] + R?, a(t) = (2cos t,sen t) sus curvas r-paralelas con r = 0.25 y r= 5. a =2,=1, con B; una curva r-paralela a a siendo r = 0.25 < 0.5 = #/a, y f» una curva r-paralela a a con r = 5 > 4= a/b. Observe que la curva @ tiene curvatura positiva, al igual que las curvas 8 y fz. Sin embargo, el vector velocidad de f; siempre tiene la misma direccién que el vector velocidad de a, mientras que el de fy siempre tiene la direccién contraria al correspondiente de a (hecho que se ve facilmente de la formula (2)). Observe también que cualquier curva r-paralela a a con 7 < 0, es automaticamente regular, pues siendo ka(t) > 0 Vi € [0,2n], se tiene 1 — rka(t) > 0 VE € [0,2]. Vamos ahora a estudiar la relacién que existe entre la longitud de la curva regular dada a: [a,b] + R? con la correspondiente de su curva r- paralela 8: (a, 6] + R?. Vamos a suponer, en lo que sigue, que el conjunto de autointersecciones de la curva r-paralela 8, es un subconjunto finito de [a, 8] (es decir, el conjunto de puntos s,¢ € [a, 6] para los que a(t) = a(s) + rn(t) es decir, para los que la curva a es r-autoparalela-, es finito).MISCELANEA MATEMATICA 35 Recordemos que para la curva regular a se tiene bien definida su longitud (que denotamos como Lj.,(a)) come b Lrealar) = f lho’) at Una férmula andloga para la curva r-paralela 8 seria (usando (2)) b b Loaf) = f AO Wat= f [1 —rka() ieO Il at la cual descubre dos hechos interesantes: (1) es natural esperar un parentes- coentre Ljasi(a) ¥ Lja,y(8) (el cual estableceremos posteriormente); (2) para poder empezar a trabajar con la ultima integral, es necesario deshacernos del valor absoluto que ahi aparece. Este ultimo hecho nos muestra que debemos partir nuestro trabajo para el cdlculo de Lja.s(B) en los intervalos de signo constante de 1 — rk,(#): éstos son precisamente los intervalos en donde la curva fi es regular (jtal como tenia que suceder!). Fijemos entonces nuestra atencién en los puntos que corresponden a las raices de la ecuacién 4(t) = 1 — rka(t) = 0. Digamos que éstas son t1,t2,...,tn-1- Para el estudio que haremos a continuacién sobre el cdlculo de la longitud de la curva r-paralela 8, estaremos interesados solamente en el caso en que estas raices son distintas: si ocurriera que la funcién ¢(t) tuviera, por ejemplo, raices en t,t, € (a,b) y ty = ty entonces el vector velocidad A'(t) no cambia de direccién en una vecindad de t; y podremos aplicar, sin ningiin problema, la férmula para el célculo de la longitud de B (en Ia vecindad mencionada) como podré verse de la discusién que ahora presentamos. Tomemos entonces la particién de [a, 6] dada por estas raices; es decir, consideremos la siguiente particién del intervalo [a, 5] G=to sgn (1 — rha(t)) [Lp,sayla) — r(H(ts) - O(t;-1))} (4) 5 Consideremos, a manera de ejemplo, laclipse a: [0,2] + R?, a(t) = (acost,bsent), con a > b, y la curva r-paralela 6: [0,2] -> R? con r tomado tal que r~* € rango de k,(t). Esta es t) = (cost (a —-——__? _____ t(p-—__ A(t) = (cost (a Cased Beos Apia)? Se (a? sen*t + 8 cos? 1) 172 La funcion ¢:[0,2x] + R dada por rab OO = 1b rho) = 1 Caan Boot 2 tiene una grafica como la mostrada en la figura 4. (observe que es periddica38 MISCELANEA MATEMATICA de periodo x) con rafces en ty, ta, ts = t; +, ty = tz + @ € [0,27] tales que _ (rab — B ae ‘ sent; i=1, Ademés, se tiene que $(t) > 0 sit € (tit) U (tata) y d(t) < 0 si # (0,44) U (ta, ta) U (t4, 2m). Llamemos J; al intervalo (t:-1, ti), i= 1,...55 (con to = 0, ts = 2m). Se tiene entonces que la longitud de la curva B es, segiin la formula (4) Lioan(B) = [-Ls,(e) - La,(e) — La,(a) + La,(e) + Ly,(a)] tr [((2x) — 6(0)) + 2[6(41) + (ts) — (te) — O(ta)]] en donde _ vit) _ boost _ b O(t) = arctan Be ~ HO Seas — aretan (—F cot | Puesto que ts = ti + 7 y ta = ty +7, se tiene que A(t) = Alls) y O(tz) = O(t4). Mas atin, t2 = 7 — ty, de modo que 6(t2) = —6(t1). Ademés, 0(2) —6(0) = 2. Por lo tanto, la férmula anterior toma el aspecto siguiente Ljo.2n(8) = —Loan(a) + 2(Lz,(a) + Ly(a)) + 2ar + 8r A(t) o, simplificando atin més, notando que Ly,(a) = Ly,(a), nos queda final- mente que la formula de la longitud de la curva i es Lyean(8) = Lae) + 4Ly,(a) + 2nr + Sr arctan (-2 cot 4) en donde el intervalo Jz = (#1, t2) lo podemos describir como el primer subin- tervalo de (0, 2x] en donde 6"(t) tiene la misma direccién de a(t). Por ejem- plo, se hicieron los célculos correspondientes con a = 2, 6 = 1, r = 1.5, obteniéndose t; = 0.64353, t2 = 2.49806, e, integrando numéricamente, Lyra) = 9.6885, L;,(a) = 3.342. Haciendo las substituciones en la formula anterior se llega al valor Loan(B) = 6.04866MISCELANEA MATEMATICA 39 y elipse a(t) = (2 cos t , sen t) curva 1.5-paralela a a Figura 5. La elipse @ : [0,2] + R? y su curva 1.5-paralela. ig La figura 5 muestra las curvas a y § en este caso. En los casos en que la curva 6 es regular, es decir, cuando la funcién g(t) = 1 — rka(t) no tiene raices en (a,8], la formula (4) para el célculo de la longitud de 8 (en términos de la longitud de a) adquiere un aspecto més simple. En efecto, si 1-rk,(t) > 0 Vt € [a, 5] (situacién que se presenta si r~! > may | a(t) |, 0 bien, en particular, si la curva a es una curva simple convexa positivamente orientada y r < 0), la f6rmula (4) se convierte en Leaa(8) = Yo bea) ~* SCE) — 045-1) ja j= = Ppay(ex) — r(0(6) - (a) Mas atin, si la curva a es cerrada, la diferencia 0(b) — 0(a) es un miltiplo de 2x. Més precisamente se tiene que 6(b) - 0(a) = 2n/, en donde I es el indice de rotacién de la curva (que de manera intuitiva lo pensamos como el niimero de vueltas completas que da el vector tangente sobre la curva). Asi40 MISCELANEA MATEMATICA pues, en este caso la formula (4) se ve como Ljeai(B) = Ljayy(a) — ar | I De manera andloga se ve que si 1 —rka(2) < 0 Vt € [a,6} (por ejemplo, si 1-1 < min | y(t) |), la curva regular 8, r-paralela a a tiene por longitud La(B) = — Leal) + r(8(b) — O2)) teniéndose también que si la curva a es cerrada entonces La5(B) = —La,y(ae) + 2x7 | 7 | en donde I es el indice de rotacién de la curva a. Retomando el ejemplo de la elipse a: [0,2x] + R?, a(t) = (2cost,sen t), habiamos ya considerado curvas r-paralelas a ella con r = 0.25 (caso en el que 1 —rk,(t) > 0 Vt € [0,2x]), que Hamamos f, y con r = 5 (caso en el que 1 — rk,(#) < 0 Vi € {0,2x]), que Hamamos f, {ver figura 3). Tanto §; como ; son regulares y para calcular su longitud podemos usar las formulas recientemente obtenidas. Se tiene Lioan(Ar)_= Lpeasj(ce) — 2xr = 9.6885 — 0.52 = 8.1177 Laq(fa2) = —Ljeasy(or) + 2ar = —9.6885 + 10x = 21.7275 Consideremos ahora una curva regular cerrada simple a: [a,b] + R? (es decir, se tiene a(a) = alb), j = 0,1,2,..., y alts) # alta) para toda pareja t1,t; € [a,4),t; # t2). Tiene sentido entonces hablar del drea encerrada por la curva a. De hecho, con la ayuda del Teorema de Green podemos calcular tal drea (que denotaremos por A(a)) como (con la curva a(t) = (2(t), y(t) positivamente orientada) Aa) = + f tetoy'(e)— eOv(0) a Vamos ahora a estudiar odmo esté relacionada esta drea con la corre- spondiente de su curva r-paralela (cuando tenga sentido hablar del area deMISCELANEA MATEMATICA 41 esta curva). Primeramente observe que si la curva a es cerrada entonces la curva B seré también cerrada (hecho que se ve facilmente por la manera en como esté definida 8). La propiedad de regularidad de la curva a, como se ha visto ya, puede perderse en la curva.f; esto depende de la existencia de raices de la ecuacién 1 — rka(¢) = 0 en {a, 8]. Este hecho, sin embargo, no nos impide usar la férmula del Teorema de Green para calcular el drea encerrada por la curva, pues ésta sigue siendo valida para curvas regulares por secciones en [a,b]. La propiedad importante que debe conservar la curva A para poder seguir hablando del drea que ésta encierra, es entonces la de ser una curva simple (sin autointersecciones). Notemos también que la ori- entacién positiva de puede perderse en 8, atin conservando esta tltima la propiedad de ser simple (ver el ejemplo de la curva f, 1.5-paralela ala elipse a(t) = (2cost, sent), que tiene orientacién negativa). De cualquier modo, este conflicto se arregla facilmente con una reparametrizacién de la curva que invierta su orientacién. Partamos entonces de una curva a:[a,d] + R?, a(t) = (x(t), y(t) re- gular, cerrada, simple y positivamente orientada, y consideremos la curva B:(a,5} + R?, r-paralela a @, con r tal que § sea simple. Supongamos también, por el momento, que f queda positivamente orientada. Escribiendo A(t) = (zat), volt), A(t) = (x5 (t), yp(t)) tenemos que el area encerrada por f, que denotaremos por A(B), es b AB) = 5 | [eelt¥plt)~ 25(0yet)] ae = 2 b b = Ff etvto vee) Be [pate ae 6 b 3" / C2) — wite(0) holt)at + Be / kal) lL e’(t) ll at El primero, segundo y cuarto sumandos son expresiones fécilmente re- conocibles. En efecto, el primero no es més que el drea encerrada por la42 MISCELANEA MATEMATICA curva a. La integral que aparece en el segundo sumando es Ia longitud de la curva a (que denotaremos por £(a)), y por ultimo, la integral que aparece en el cuarto sumando es (como ya hab{amos observado en los cdlculos corres- pondientes a la longitud de la curva paralela 8) b J Falt) Wot) Hat = 6(6) — O(a) = 2x pues Ia curva oes simple y positivamente orientada (su indice de rotacién es +1), Haciendo algunas cuentas, se puede ver que la integral que aparece en el tercer sumando es 6 6 fev — vee") k(t = f Vo’ I at = He) de modo entonces que el area A() queda expresada como A(B) = A(a) —rE(a) + x? (5) Llamamos la atencién al hecho de que esta {érmula puede siempre apli- carse cuando 7 < 0, pues en este caso la curva f conserva las propiedades de regularidad, de ser simple y la positividad de la orientacién. Cuando r > 0, habré que ser cuidadosos en verificar que la curva 8 sea simple para poder aplicar la férmula anterior (Ja direccién en la orientacién, en caso de cam- biar, se reflejaré en un signo menos en el resultado del area). Tomemos como ejemplo nuevamente 1a elipse a: [0,2x] + R? dada por a(t) = (2cost, sent) y consideremos sus curvas r-paralelas # con r = 0.25, r = 5 (casos en que la curva B queda regular) y r = 1.5. El drea encerrada por la curva 0.25- paralela a la elipse es (tomando el valor ya calculado de Ja longitud de a como L(a) = 9.6885, y el conocido valor del érea encerrada por la elipse de semiejes a y b, que es xab) A(B) = Ala) — rL(cx) + xv? = 2x — 0.25(9.6885) + (0.25)? = 4.05745 Para la curva 5-paralela a la elipse tenemos A(B) = 2x — 5(9.6885) + (5)? = 36.3807MISCELANEA MATEMATICA 43 y para la curva 1.5-paralela a la elipse se tiene A(B) = 2x — 1.5(9.6885) + (1.5)? = —1.18095 Observe que el valor del érea encerrada por esta curva 1.5-paralela a la elipse es negativo, pues como ya habiamos comentado, la orientacién que tiene esta curva es negativa. Es claro, sin embargo, que en este caso el valor absoluto de nuestro resultado es el drea procurada. En el caso particular de laelipse a: (0,2x] + R?, dada por a(t) = (acost, bsent) con a > b > 0, podemos ser més explicitos en cuanto a la utilizacién de la formula del drea encerrada por sus curvas r-paralelas 8: (0,2x] > R? ae) = (¢ (0- Gemetraayn) (reer ara)) Egstudiemos las intersecciones de esta curva con el eje x. Haciendo ra w= «at (b- Goat ream) =0 Se observa que existen siempre dos raices de esta ecuacién en [0,2n), a saber t = 0, x. Es decir, la curva f corta al eje z al menos en estos dos puntos. Pueden, sin embargo, existir otras raices de la ecuacion, provinientes de b-——___*__ =0 (a? sen?t + B? cos? t)*/2 Se observa que si r < 0, estas raices no existen (las curvas paralelas hacia el exterior de la elipse cortan solamente en t = 0 y t = m al eje de las z). ‘Tomemos entonces r > 0. En este caso se tiene que Estos valores de ¢ existen (y son diferentes de 0 y x) si y solamente si ria? — bt o< Fare tothe y que ademés se tiene za(t1) = z(t). Esto significa que bajo la condicién B/a 6, observamos que en el intervalo 6 a arp La curva no ee regular [1 La curva es | La curve] ta curva jun curva | Teeter y simple f , ). sispte : slepte Tene ertene (autotn= Tene (autotns teat rr tereeceie- | ortentas | terssccie- , nos en ol clon ne- | nes en el 1 eje x) gative | ese y) oye } ote ore) Las figura 6 ilustra cada una de estas situaciones. En consecuencia, la f6rmula para calcular el drea encerrada por la curva r-paralela a la elipse a, tiene sentide cuando r ¢ (b?/a, b) U (a,a2/b). En todos los demas casos la curva @ es simple, propiedad fundamental para que tenga sentido hablar del rea encerrada por la curva. Mas atin, cuando r <#/aor > a?/6, siendo 8 una curva positivamente orientada, el drea que ésta encierra es A(8) = Ala) — rL (ex) + ar? = xab — (a) + xr?46 MISCELANEA MATEMATICA Figura 6. La elipse @ : (0,27] + R?, a(t) = (2 cos t, sen t) y sus curvas r-paralelas con r = —1, 0, 0.25, 0.9, 1.5, 2.5 y 5. mientras que si b < r < a, la curva simple f tiene orientacién negativa, y entonces el area encerrada por ella debe ser A(B) = —xab +rL(a) — xr? En el siguiente teorema recopilamos 1os resultados que hemos obtenido sobre la longitud y el drea encerrada por las curvas paralclas a una elipse. Teorema 1 Sea a:(0,2x] + R? la elipse a(t) = (acost, b sent) en donde a > 6> 0. La curva 8:{0,2n] + R? rb ra —fleost la ——— re t |b — Bt) (cost (c Teal eat) sen ( aeons) es una curva r-paralela aa. Sea L(a) y L(B) las longitudes de las curnas a 9B, y Ala) y ALB) el dra que éstas encierran. respectivamenteMISCELANEA MATEMATICA AT a) Sir <8 /a, ta longitud de la curva § se calcula como 1(f) = Ka) — ar b) Sir > a?/b, la longitud de la curva f se calcula como E(B) = -L(a) + 2xr ©) Sir € (8/a,a%/8), ta longitud de la curva f se calcula como 1(8) = -L(a) + 4L (a) + 2x + Sr arctan (-2 R?, a(t) = (¢,pt?), en donde J es un inter- valo de R simétrico respecto del origen, y p es un real positivo dado. Segiin la formula (1), la curva 8, r-paralela a a es 2rpt 2 r ) #0 = (\- Type! * Taper Ciertamente ésta es una curva simétrica respecto del eje de ordenadas. Una pregunta natural sobre ella es: jes esta curva -paralela a la parabola48 MISCELANEA MATEMATICA y = p2?-, también una pardbola? ' Noes dificil sospechar que la respuesta a la pregunta ser4 negativa, pues, como hemos visto ya en varias ocasiones, la curva 8 puede llegar a perder su regularidad (propiedad que debe de poseer cualquier curva parabélica). En efecto, la curvatura de a en t viene dada por 2p 4!) = apap El rango de esta funcién es (pensando que a esta definida en todo R) el intervalo (0, 2p], de modo que, segiin el teorema 1, tomando r~? € (0, 2p], la curva B, r-paralela a @, no es regular, y no puede uno esperar que ésta sea una parabola, Sin embargo, la inquietud puede persistir al imaginar una curva r-paralela a a con r < 0 muy pequeiio en valor absoluto (con 8 muy cerca de la parte exterior de a). La respuesta, sin embargo, sigue siendo en este caso negativa. En efecto, si la curva f fuera una parabola, ésta tendria que ser del tipo y = px? + v, para ciertas constantes 4 y v. (En efecto, la curva f es simétrica respecto del eje de ordenadas y posee un extremo local en (0) = (0,7), el cual corresponde al punto que esta ar unidades del vértice de la pardbola que es, ademés, el unico vértice de la curva, esto es, el punto en donde k4(t) = 0. Asf entonces, la unica curva parabélica con estas caracteristicas es y = ux? + v). Para probar nuestra afirmacién (la curva 8 no es una pardbola) se pude usar el hecho de que la (traza de la) curva regular a:R — R?, a(t) = (2(t),y(t)), simétrica respecto del eje de ordenadas, es una parabola del tipo y = wx? + v, si y solamente si v'@(2'(HY — 2(t)(2'()y"@) - 2"(@)y'(t)) = 0 expresién que es facil ver que no satisface la curva 8, r-paralela a la parabola ‘Esta pregunta fue la que inicialmente motivé el presente estudio. Un hecho que se desprende facilmente de los resultados aqui obtenidos, es que si la curva a es una recta, su curva r-paralela sera también una recta pata cualquier r, y si la curva a es una circun- ferencia de radio R, su curva r-paralela sera también una circunferencia de radio r + R (excepto en el caso en el que r = —R). Tenemos pues que si a es una recta o una circun- ferencia, su curva r-paralela es una curva de la misma naturaleza de «. Observe que estos ‘casos corresponden a curvas a con curvatura constante igual a cero -rectas-, y diferente de cero ~circunferencias-.MISCELANEA MATEMATICA 49 a. De hecho, se obtiene que valt)(walt))? — xo(t)(xp(t)ug(t) — 25(t)yp(t)) = Srp°t?k,(t)(1 — rka(t))? Si consideramos la parébola y = pa? en todo su dominio, es decir, la (traza dela) curva a: R — R?, a(t) = (,pt?), como dijimos anteriormente, la curva 6, r-paralela a a, seré regular si y solamente si r~! ¢ (0, 2p] = rango de ka(t). Es decir, 6 es regular si y sélo si r < 1/2p. Esto significa que, globalmente, s6lo se pueden tener curvas regulares paralelas a la parébola y = pz? por afuera de ella (r < 0), 0 bien, por adentro hasta r = 1/2p (no inclusive, o sea 0 1/2p, la curva 6 no es regular, teniéndose de hecho que si r > 1/2p, esta curva presentaré una autointerseccién sobre el eje de las ordenadas. En efecto, haciendo zp(t) = 0, es decir 2rpt '~ Tyapayn = ° vemos que una raiz de esta ecuacidn es siempre t = 0 (la curva 8 siempre pasa por el eje de ordenadas en (0) = (0,r)), teniéndose ademés la posibilidad de que pa TP (+ apy? (Observe que esta ecuacién no tiene solucién si r < 0, es decir, las curvas r- paralelas hacia el exterior de la pardbola solamente cruzan el eje de ordenadas en el punto (0,r)), de donde =0 Bia = £(1/2p) (4r%p? —1)'? (observe también que si r < 1/2p estas raices no existen). Para r > 1/2p, éstas son dos raices reales distintas en las que (puesto que y(t) es una funcién par) ya(%1) = ye(éz). Estas raices corresponden entonces a una autointer- seccidn de la curva @ sobre el eje de ordenadas. Para r = 1/2p (las raices ty,2 son iguales a cero), la curva 8, aunque no regular (de hecho 6'(0) = 0), es simple.50 MISCELANEA MATEMATICA. ‘Veamos un poco mas de cerca qué ocurre cuando r > 1/2p (es decir, cuando la curva f no es regular). En este caso la ecuacién =1-—2r__ to rke(t) = 1~ (asp posee dos raices en fa = £(1/2p) ((2pr)?/9 ~ 1)" Nuevamente observamos que si r = 1/2p, estas raices son iguales, y la curva 8, aunque no regular (pierde su regularidad iinicamente en tf = tj), es una curva simple (en este caso las raices t,, %, t], t3 son todas iguales a cero). Cuando r > 1/2p, las raices #7 y t3 son distintas y se tiene ademés que 4, < tf < t < hh, Por la simetria de la curva f respecto del eje de ordenadas, podemos concluir que la parte de la curva # entre 2; y i, corresponde a un loop (simétrico respecto del eje de ordenadas) dentro det cual la curva pierde su regularidad en los puntos A(t) y A(t3). La figura 7 (tomando p = 1) ilustra los casos en los que r = —1 (curva cegular paralela hacia el exterior de la parabola y = 2), r = 0.25 < 0.5 = 1/2p (curva regular paralela hacia el interior de la parabola) y r = 1.8 > 1/2p (curva no regular paralela hacia el interior de la parabola). Si consideramos solamente un arco de parébola (simétrico respecto del eje de ordenadas), digamos a: {—a,a] + R?, a(t) = (t, pt), es posible hacer al- gunas observaciones adicionales a las anteriormente hechas en el caso general. En este caso la funcién curvatura ky: [—a,a] + R 2p MO) = CF aptpA alcanza su maximo absoluto en t = 0, que vale ka(0) = 2p, y alcanza también su minimo absoluto en t = -ta, que vale ka(+a) = 2p/(1 + 4p%a)*/?, Liamemos q a este valor. Se tiene entonces que la curva 8 serd regular si y solamente si r~’ ¢ {g, 2p], es decir, si r < 1/2p (como en el caso gene- ral) o sir > I/q = (1 + 4pa?)*/?/2p, Este valor de ¢ es positivo, lo que indica que la curva r-paralela @ esté en la parte interna de la parabola.MISCELANEA MATEMATICA 51 Figura 7. La pardbola y = z? y sus curvas r-paralelas con r=-1, 0.25 y 18. Es posible entonces tener una imagen paralela al arco de pardbola y = pz, que sea regular. Observe, sin embargo, que ¢l valor 1/q es en general muy grande (del orden de 4a°), lo que significa que hay que despegarse mucho -hacia adentro, paralelamente- de la pardbola para poder recuperar la regu- laridad de la curve r-paralela 8. Consideremos a manera de ejemplo el arco de parébola a:{—1,1] + R?, a(t) = (¢,t?). En este caso 1/2p = 1/2 y q = 2/(5)*/? = 0.1789. Cuando r < 1/2, la curva #:[-1, 1] + R?, r-paralela a a, es regular, estando ésta en el exterior de la parébola cuando r < 0 y en su interior cuando 0 < r < 1/2. Mientras r se encuentre entre 1/2 y 1/q = 5.59016, la curva 6 (en el interior de la pardbola) no seré regular y ésta vuelve a ser regular para r > 5.59016. La figura 8 ilustra esta situacién.52 y MISCELANEA MATEMATICA arco 6.5-paralelo arco de la pardbola y = 2? x Figura 8. El arco de parébola @ : [-1,1] + R?, a(t) = ( t, #2) y su curva 6.5-paralela. Bibliografia [1] Do Carmo, Manfredo P. Differential Geometry of Curves and Surfaces. Prentice-Hall, Inc. New Jersey (1976) [2] O°Neill, Barrett. Elementos de Geometria Diferencial, Limusa- Wiley, S.A. México (1972)