Atan2

De testwiki
Revisión feita o 14 de marzo de 2025 ás 11:58 por imported>Andresv.63 (engado a Categoría:Funcións mediante HotCat)
(dif) ← Revisión máis antiga | Revisión actual (dif) | Revisión máis nova → (dif)
Saltar á navegación Saltar á procura

Modelo:Minúscula

Modelo:Math devolve o ángulo Modelo:Mvar entre o eixe x positivo e o raio desde a orixe ata o punto Modelo:Math, confinado a Modelo:Open-closed.
Gráfico de atan2(y,x) sobre y/x

En computación e matemáticas, a función atan2 é o arcotanxente de 2 argumentos. Por definición, θ=atan2(y,x) é a medida do ángulo (en radiáns, con π<θπ) entre o eixo x positivo e o raio desde a orixe ata o punto (x,y) no plano cartesiano. Equivalentemente, atan2(y,x) é o argumento (tamén chamado fase ou ángulo) do número complexo x+iy. (O argumento dunha función e o argumento dun número complexo, mencionados anteriormente, non deben confundirse).

A función atan2 apareceu por primeira vez na linguaxe de programación Fortran en 1961. Orixinalmente, estaba destinada a devolver un valor correcto e inequívoco para o ángulo Modelo:Tmath na conversión de coordenadas cartesianas Modelo:Tmath a coordenadas polares Modelo:Tmath. Se θ=atan2(y,x) e r=x2+y2, entón x=rcosθ e y=rsinθ.

Se Modelo:Tmath, a medida desexada do ángulo é θ=atan2(y,x)=arctan(y/x). No entanto, cando Modelo:Math, o ángulo arctan(y/x) é diametralmente oposto ao ángulo desexado, e Modelo:Tmath (media volta) debe engadirse para situar o punto no cuadrante correcto.[1] O uso da función atan2 elimina esta corrección, simplificando o código e as fórmulas matemáticas.

Definición e cálculo

Modelo:Anchor A función Modelo:Math calcula o argumento principal do número complexo Modelo:Tmath, que tamén é a parte imaxinaria do valor principal do logaritmo complexo. É dicir,

atan2(y,x)=arg(x+iy)=Imlog(x+iy).

Engadir calquera múltiplo enteiro de Modelo:Tmath (correspondente a voltas completas ao redor da orixe) dá outro argumento do mesmo número complexo, mais o argumento principal defínese como o ángulo representativo único no intervalo Modelo:Tmath.

En termos da función arcotanxente estándar, cuxa imaxe é Modelo:Tmath, Modelo:Math pódese expresar por tramos:

atan2(y,x)={arctan(yx)se x>0,arctan(yx)+πse x<0 e y0,arctan(yx)πse x<0 e y<0,+π2se x=0 e y>0,π2se x=0 e y<0,non definidase x=0 e y=0.

A tanxente da metade dun ángulo pódese calcular en termos das coordenadas Modelo:Mvar e Modelo:Mvar e o raio Modelo:Mvar.

En vez da tanxente, pode ser conveniente usar a media tanxente Modelo:Tmath como representación dun ángulo, en parte porque o ángulo Modelo:Tmath ten unha media tanxente única,

tan12θ=yx2+y2+x=x2+y2xy.

(Véxase fórmula da media tanxente).

A expresión con Modelo:Tmath no denominador debe usarse cando Modelo:Tmath e Modelo:Tmath para evitar unha posíbel perda de significancia ao calcular Modelo:Tmath.

Cando non se dispón dunha función Modelo:Math, pódese calcular como dúas veces o arcotanxente da media tanxente Modelo:Tmath. É dicir, atan2(y,x)=2arctan(yx2+y2+x)=2arctan(x2+y2xy).

Derivada

Como a función Modelo:Math é unha función de dúas variábeis, ten dúas derivadas parciais. Nos puntos onde existen estas derivadas, Modelo:Math é, excepto por unha constante, igual a Modelo:Math. Polo tanto,

xatan2(y,x)=xarctan(yx)=yx2+y2,yatan2(y,x)=yarctan(yx)=xx2+y2.

Así, o gradiente de atan2 vén dado por

atan2(y,x)=(yx2+y2, xx2+y2).

Representando informalmente a función Modelo:Math como a función de ángulo Modelo:Math (que só está definida ata unha constante) obtense a seguinte fórmula para o diferencial total:

dθ=xatan2(y,x)dx+yatan2(y,x)dy=yx2+y2dx+xx2+y2dy.

Aínda que a función Modelo:Math é discontinua ao longo do eixo Modelo:Mvar negativo, reflectindo o feito de que o ángulo non se pode definir de forma continua, esta derivada está definida de forma continua excepto na orixe, reflectindo o feito de que os cambios infinitesimais (e de feito locais) no ángulo poden definirse en todas as partes agás na orixe. Integrando esta derivada ao longo dun camiño obtense o cambio total no ángulo sobre o camiño, e integrando sobre un bucle pechado dá o índice da curva.

Na linguaxe da xeometría diferencial, esta derivada é unha 1-forma, e é pechada (a súa derivada é cero) mais non exacta (non é a derivada dunha 0-forma, é dicir, unha función), e de feito xera a primeira cohomoloxía de de Rham do plano perforado. Este é o exemplo máis básico desa forma, e é fundamental en xeometría diferencial.

As derivadas parciais de Modelo:Math non conteñen funcións trigonométricas, o que a fai especialmente útil en moitas aplicacións (por exemplo, sistemas embebidos) onde as funcións trigonométricas poden ser custosas de avaliar.

Ilustracións

atan2 para raios seleccionados

Esta figura mostra os valores de atan2 ao longo de raios seleccionados desde a orixe, etiquetados na circunferencia unitaria. Os valores, en radiáns, móstranse dentro do círculo. O diagrama usa a convención matemática estándar de que os ángulos aumentan en sentido contrario ás agullas do reloxo desde cero ao longo do raio á dereita. Nótese que a orde dos argumentos está invertida; a función Modelo:Math calcula o ángulo correspondente ao punto Modelo:Math. Modelo:Clear

Comparación das funcións arctan e atan2

Esta figura mostra os valores de arctan(tan(θ)) xunto con atan2(sin(θ),cos(θ)) para 0θ2π. Ambas as funcións son impares e periódicas con períodos π e 2π, respectivamente, e polo tanto poden completarse facilmente a calquera rexión de valores reais de θ. Pódese ver claramente os cortes de rama da función atan2 en θ=π, e da función arctan en θ{π2,3π2}.[2]

As dúas figuras seguintes mostran vistas en 3D de Modelo:Math e Modelo:Math sobre unha rexión do plano. Nótese que para Modelo:Math, os raios no plano X/Y que emanan da orixe teñen valores constantes, mais para Modelo:Math as liñas no plano X/Y que pasan pola orixe teñen valores constantes. Para Modelo:Math, os dous diagramas dan valores idénticos.

Identidade de suma e diferenza de ángulos

Modelo:Main

A suma ou diferenza de múltiples ángulos que se van calcular mediante Modelo:Tmath pode calcularse alternativamente compoñéndoos como números complexos. Dados dous pares de coordenadas Modelo:Tmath e Modelo:Tmath, os seus ángulos desde o eixo Modelo:Tmath positivo compoñeranse (e as lonxitudes multiplicaranse) se se tratan como números complexos e logo multiplícanse, Modelo:TmathModelo:Tmath. O ángulo resultante pódese atopar usando unha única operación {{tmath|\operatorname{atan2} }, sempre que o ángulo resultante estea en Modelo:Tmath:

atan2(y1,x1)±atan2(y2,x2)=atan2(y1x2±x1y2,x1x2y1y2),

e do mesmo xeito para máis de dous pares de coordenadas. Se o ángulo composto cruza o eixo Modelo:Tmath negativo (é dicir, excede o intervalo Modelo:Tmath), entón os cruces poden contarse e engadirse o múltiplo enteiro apropiado de Modelo:Tmath ao resultado final para corrixilo.

Esta fórmula de diferenza úsase frecuentemente na práctica para calcular o ángulo entre dous vectores planos, xa que o ángulo resultante está sempre no intervalo Modelo:Tmath.

Notas

Modelo:Reflist

Véxase tamén

Modelo:Commonscat

Outros artigos

Ligazóns externas