Disambig.svg La titolo havas ankaŭ aliajn signifojn, por vidi ilin bonvolu rigardi la apartigilan paĝon: Evoluto (planlingvo)

En la diferenciala geometrio, evoluto de kurbo estas la situo de ĉiuj ĝiaj kurbecocirkloj (centroj de kurbeco). Ekvivalente, ĝi estas la koverto de perpendikularoj al la fonta kurbo.

Elipso (ruĝa) kaj ĝia evoluto (blua), la punktoj estas la verticoj de la kurbo, ĉiu vertico respektivas al kuspo sur la evoluto.

La originala kurbo estas evolvento de ĝia evoluto.

DifinoRedakti

Estu γ(s) ebena kurbo, parametrigis per ĝia longo de arko s. La unuobla tanĝanta vektoro al la kurbo estas

T(s) = γ' (s)

kaj la unuobla normala vektora al la kurbo estas N(s) perpendikularo al T(s) elektita tiel ke la paro (T, N) havas dekstruman orientiĝon.

La kurbeco k(s) de γ(s) estas tiam difinita per ekvacio

 

por ĉiu s en la domajno de γ(s). La kurbecoradiuso estas inverso de la kurbeco:

 

La kurbecoradiuso laŭ la absoluta valoro estas radiuso de kurbecocirklo - cirklo kiu formas la plej bonan proksimumadon de la kurbo ĝis la dua ordo je la punkto: tio estas, ĝi estas radiuso de la cirklo kiu havas kontakton de la dua ordo kun la kurbo. La signo de la kurbecoradiuso indikas direkton en kiu la kurbecocirklo estas de la direkto de la kurbo: kurbecoradiuso estas pozitiva se la cirklo estas en kontraŭhorloĝnadla direkto, alie negativa.

La kurbecocentro estas centro de la kurbecocirklo. Ĝi kuŝas sur la orta linio al γ(s) je distanco de R de γ(s), en la direkto difinita per la signo de k. Tiel, la kurbecocentro estas je punkto:

 

Kiam s ŝanĝiĝas, la kurbecocentro moviĝas kaj difinis laŭ ĉi tiuj ekvaciaj la novan kurbon, kiu estas la evoluto de γ(s).

Ĝenerala parametrigoRedakti

Se la kurbo estas donita per ĝenerala parametrigo γ(t) = (x(t), y(t)), kiu ne nepre estas parametrigo laŭ longo de arko, la parametra ekvacio de la evoluto povas esti esprimita per la kurbecoradiuso R=1/k kaj la tanĝanta angulo φ, kiu estas angulo inter tanĝanto al la kurbo kaj la x-akso. Per R kaj φ, la evoluto havas parametran ekvacion

 

kie la unuobla normala vektoro N' = (-sin φ, cos φ) estas ricevita per turnado de la unuobla tanĝanta vektoro T = (cos φ, sin φ) je angulo 90°.

La ekvacio de la evoluto povas ankaŭ esti skribita tute per x, y kaj iliaj derivaĵoj. Pro tio ke

  kaj  

R kaj φ povas esti eliminitaj kaj rezultiĝas:

 
 

PropraĵojRedakti

Longo de arkoRedakti

Estu la kurbo γ(s) parametrigita kun respekto al ĝia longo de arko s. Tiam la longo de arko laŭ la evoluto E de s1 al s2 estas

 

Tial, se la kurbeco de γ(s) estas severe monotona, tiam

 

Ekvivalente, se σ estas la longo de arko de la kurbo E,

 

Ĉi tio sekvas per diferencialado de la formulo

 

kaj la idento de Frenet N'(s) = -k(s)T(s):

  (*)

kaj

 

de kio sekvas ke  .

Unuobla tanĝanta vektoroRedakti

Alia konsekvenco de (*) estas ke la tanĝanta vektoro al la evoluto E je s estas normala al la kurbo γ je s.

KurbecoRedakti

La kurbeco de la evoluto E estas ricevata per diferencialado de E dufoje kun respekto al ĝia longo de arko σ. Pro tio ke dσ/ds = |dR/ds|, el (*) sekvas ke

 

kie la signo estas tiu de dR/ds. Diferencialante la duan fojon, kaj uzante la ekvacion de Frenet N'(s) = -k(s)T(s) rezultiĝas

 

Tiel la kurbeco de E estas

 

kie R estas la (signa) kurbecoradiuso.

Interrilato inter kurbo kaj ĝia evolutoRedakti

 
Elipso (ruĝa), ĝia evoluto (blua) kaj iuj paralelaj kurboj. La paralelaj kurboj havas kuspojn kiam ili tuŝas la evoluton

Per la pli supre diskuto, la derivaĵo de evoluto nuliĝas kiam dR/ds = 0, tiel la evoluto havas kuspon kiam la kurbo havas verticon, tio estas kiam la kurbeco havas lokan maksimumonlokan minimumon. Je trafleksa punkto de la originala kurbo la kurbecoradiuso iĝas malfinion kaj tiel la evoluto iras en malfinion, ofte ĉi tio rezultiĝas en tio ke la evoluto havas asimptoton. Simile, kiam la originala kurbo havas kuspon kie la kurbecoradiuso estas 0 tiam la evoluto tuŝas la originalan kurbon.

Kurboj kun la sama evoluto estas paralelaj kurboj.

EkzemplojRedakti

  • La evoluto de cikloido estas simila cikloido.

Radiusa kurboRedakti

Kurbo kun simila difino estas la radiusa kurbo de donita kurbo. Por ĉiu punkto sur la kurbo prenu la vektoron de la punkto al la kurbecocentro kaj desegnu ĝin de la punkto (0, 0). Tiam la situo de punktojn je finoj de ĉi tiaj vektoroj estas nomata kiel la radiusa kurbo de la fonta kurbo. La ekvacio por la radiusa estas ricevita per forprenado la termoj x kaj y de la ekvacio de la evoluto:

X = -R sin φ, Y = R cos φ

 
 

Eksteraj ligilojRedakti