Atan2 - atan2
В функция или же (из "2-аргумент арктангенс ") определяется как угол в Евклидова плоскость, приведены в радианы, между положительными Икс ось и луч к точка (Икс, у) ≠ (0, 0).
Функция впервые появился на языке программирования Фортран (в реализации IBM FORTRAN-IV в 1961 году). Первоначально он был предназначен для возврата правильного и однозначного значения угла θ в преобразовании из декартовы координаты (Икс, у) к полярные координаты (р, θ).
Эквивалентно, это аргумент (также называемый фаза или же угол) из комплексное число
возвращает одно значение θ такой, что −π < θ ≤ π и для некоторых р > 0,
Хотя это правда, что , не всегда выполняется следующая эквивалентность:
Это справедливо только тогда, когда Икс > 0. Когда Икс < 0, угол, очевидный из приведенного выше выражения, указывает в направлении, противоположном правильному углу, и значение π (или 180 °) должны быть либо добавлены, либо вычтены из θ поставить декартову точку (Икс, у) в правильный квадрант Евклидова плоскость.[1] Это требует знания признаков Икс и у отдельно, что означает потерю информации при у делится на Икс.
Поскольку любое целое число, кратное 2π можно добавить к углу θ не меняя ни Икс или же у, подразумевая неоднозначное значение для возвращаемого значения, основная стоимость угла, в интервале (−π, π] возвращается. θ является подписанный, при этом углы против часовой стрелки являются положительными, а по часовой - отрицательными. Конкретно, находится в интервал [0, π] когда у ≥ 0, И в (−π, 0) когда у < 0.
История и мотивация
В atan2 функция была впервые представлена в компьютере языки программирования, но теперь это распространено и в других областях науки и техники. Он восходит, по крайней мере, к FORTRAN язык программирования[2]и в настоящее время встречается во многих современных языки программирования. Среди этих языков: C с math.h стандартная библиотека, то Ява Математическая библиотека, .NET System.Math (можно использовать из C #, VB.NET и др.), Python математический модуль, Рубин Математический модуль, Идти математический пакет[3] и в другом месте. Кроме того, многие языки сценариев, такие как Perl, включить C-стиль atan2 (у, х)
функция.
Единственный аргумент арктангенс функция не может различать диаметрально противоположные направления. Например, угол против часовой стрелки от Икс ось к вектору (1, 1), рассчитывается обычным образом как арктан (1/1), является π / 4 (радианы) или 45°. Однако угол между Икс ось и вектор (−1, −1) тем же способом оказывается арктангенс (-1 / -1), опять таки π / 4, хотя можно было ожидать ответов −3π / 4 (−135 °) или 5π / 4 (225 °). Кроме того, попытка найти угол между Икс ось и векторы (0, у), у ≠ 0 требует оценки арктан (у/0), который не выполняется при делении на ноль.
В atan2 функция вычисляет один уникальный арктангенс значение из двух переменных у и Икс, где приметы обоих аргументов используются для определения квадрант результата, тем самым выбрав нужную ветку арктангенс из у/Икс, например, atan2 (1, 1) = π / 4 и atan2 (−1, −1) = −3π / 4. Аналогично, например, atan2 (1, 0) = π / 2.
Когда вычисления выполняются вручную, необходимые квадрантные корректировки и обработка исключений могут быть выполнены путем проверки, но более полезно иметь единственную функцию, которая всегда дает однозначно правильный результат. atan2 функция полезна во многих приложениях, включающих векторов в Евклидово пространство, например, поиск направления от одной точки к другой. Основное использование - вращение компьютерной графики для преобразования матрица вращения представления в Углы Эйлера.
Определение и расчет
Функция atan2 вычисляет основная стоимость из аргумент функция применяется к комплексное число Икс + уя. То есть, atan2 (у, Икс) = Pr arg (Икс + уi) = Arg (Икс + уя). Аргумент может быть изменен произвольным кратным 2π (соответствует полному повороту вокруг начала координат) без какого-либо различия угла, но для определения atan2 однозначно используется главное значение в классифицировать , то есть, −π
С точки зрения стандарта арктан функция, диапазон которой (−π / 2, π / 2), это можно выразить следующим образом:
Компактное выражение с четырьмя перекрывающимися полуплоскостями:
В Кронштейн Айверсона нотация позволяет получить еще более компактное выражение:
[примечание 1] |
Формула без видимого условная конструкция:
Следующее выражение получено из формула касательного полуугла также может использоваться для определения atan2:
Это выражение может больше подходить для символического использования, чем определение выше. Однако он не подходит для общего плавающая точка вычислительное использование, поскольку эффект ошибок округления в расширяться рядом с регионом Икс < 0, у = 0 (это может даже привести к разделению у нулем).
Вариант последней формулы, позволяющий избежать этих завышенных ошибок округления:
Примечания:
- Это дает результаты в диапазоне (−π, π].[заметка 2]
- Как было сказано выше, главное значение аргумента atan2 (у, Икс) может быть связано с арктан (у/Икс) по тригонометрии. Вывод происходит следующим образом:
- Если (Икс, у) = (р потому чтоθ, р грехθ), тогда загар (θ/2) = у / (р + Икс). Следует, что
- Обратите внимание, что √Икс2 + у2 + Икс ≠ 0 в рассматриваемом домене.
Производная
Поскольку функция atan2 является функцией двух переменных, имеет две частные производные. В точках, где существуют эти производные, atan2 равно, за исключением константы, арктан (у/Икс). Следовательно, для Икс > 0 или же у ≠ 0,
Таким образом градиент atan2 задается
Неформально представляющая функцию atan2 как угловая функция θ(Икс, у) = atan2 (у, Икс) (который определяется только с точностью до константы) дает следующую формулу для полный дифференциал:
Пока функция atan2 прерывистый по отрицательному Икс-ось, отражающая тот факт, что угол не может быть определен непрерывно, эта производная определяется непрерывно, за исключением начала координат, что отражает тот факт, что бесконечно малые (и действительно локальные) изменения in angle может быть определен везде, кроме начала координат. Интегрирование этой производной по траектории дает полное изменение угла по траектории, а интегрирование по замкнутому контуру дает номер намотки.
На языке дифференциальная геометрия, эта производная есть однотипный, и это закрыто (его производная равна нулю), но не точный (это не производная 0-формы, т.е. функция), и фактически она порождает первую когомологии де Рама из проколотый самолет. Это самый простой пример такой формы, и он является фундаментальным в дифференциальной геометрии.
Частные производные от atan2 не содержат тригонометрических функций, что делает его особенно полезным во многих приложениях (например, встроенных системах), где оценка тригонометрических функций может быть дорогостоящей.
Иллюстрации
На этом рисунке показаны значения atan2 вдоль выбранных лучей от начала координат, отмеченные на единичной окружности. Значения в радианах показаны внутри круга. На диаграмме используется стандартное математическое соглашение, согласно которому углы увеличиваются. против часовой стрелки от нуля по лучу вправо. Обратите внимание, что порядок аргументов обратный; функция atan2 (у, Икс) вычисляет угол, соответствующий точке (Икс, у).
На этом рисунке показаны значения вместе с за . Обе функции нечетные и периодические с периодами и соответственно, и, таким образом, легко дополняется до любой области реальных значений . Отчетливо видно срезы веток из -функция на , и из -функция на .[4]
На двух рисунках ниже показаны трехмерные изображения соответственно atan2 (у, Икс) и арктан (у/Икс) над районом плоскости. Обратите внимание, что для atan2 (у, Икс), лучи в Икс/Y-плоскости, исходящие из начала координат, имеют постоянные значения, но для арктан (у/Икс) линии в Икс/Y-плоскости, проходящие через начало координат, имеют постоянные значения. За Икс > 0, две диаграммы дают одинаковые значения.
Сумма углов и идентичность разностей
Суммы может быть свернуто в одну операцию в соответствии со следующим идентификатором
...при условии, что .
Доказательство включает рассмотрение двух случаев, в одном из которых или же и тот, где и .
Мы рассматриваем только случай, когда или же . Для начала сделаем следующие наблюдения:
- при условии, что или же .
- , куда это функция со сложным аргументом.
- в любое время , следствие Формула Эйлера.
- .
Чтобы увидеть (4), имеем личность куда , следовательно . Кроме того, поскольку для любого положительного реального значения , то если положить и тогда у нас есть .
Из этих наблюдений есть следующие эквиваленты:
Следствие: если и являются 2-мерными векторами, формула разности часто используется на практике для вычисления угла между этими векторами с помощью , так как результирующее вычисление ведет себя нормально в диапазоне и поэтому может использоваться без проверки диапазона во многих практических ситуациях.
Реализация функции на общих компьютерных языках
Реализация функции отличается от одного компьютерного языка к другому:
- Функция C
atan2
, и большинство других компьютерных реализаций, предназначены для уменьшения усилий по преобразованию декартовых координат в полярные и поэтому всегда определяютatan2 (0, 0)
. На реализациях без подписанный ноль, или, когда задано положительное нулевое значение аргументов, обычно определяется как 0. Он всегда возвращает значение в диапазоне [−π, π] вместо того, чтобы вызывать ошибку или возвращать NaN (Не число).
- В Common Lisp, если существуют необязательные аргументы,
загар
функция позволяет опционально поставить Икс координата:(загару Икс)
.[5] - В Mathematica, форма
ArcTan [Икс, у]
используется там, где форма с одним параметром обеспечивает нормальный арктангенс (обратите внимание, что порядок аргументов обратный по сравнению с соглашением, используемым в обсуждении выше). Mathematica классифицируетArcTan [0, 0]
как неопределенное выражение. - В Майкрософт Эксель,[6] OpenOffice.org Calc, LibreOffice Calc,[7] Таблицы Google,[8] Номера iWork,[9] и ANSI SQL: стандарт 2008,[10] то
atan2
функция имеет два обратных аргумента. - в Intel Архитектура код ассемблера,
atan2
известен какFPATAN
(частичный арктангенс с плавающей запятой) инструкция.[11] Он может иметь дело с бесконечностями, и результаты лежат в закрытом интервале [−π, π], напримерatan2 (∞, Икс)
= +π/ 2 для конечных Икс. Особенно,FPATAN
определяется, когда оба аргумента равны нулю:atan2 (+0, +0)
= +0;atan2 (+0, -0)
= +π;atan2 (-0, +0)
= −0;atan2 (-0, -0)
= −π.
- Это определение связано с концепцией подписанный ноль.
- На большинстве графических калькуляторов TI (за исключением ТИ-85 и ТИ-86 ) эквивалентная функция называется R►Pθ и имеет обратные аргументы.
- На ТИ-85 аргумент функция называется
угол (x, y)
и хотя кажется, что он принимает два аргумента, на самом деле он имеет только один сложный аргумент, который обозначается парой чисел: Икс + уя = (Икс, у). - В математических сочинениях, отличных от исходного кода, например в книгах и статьях, обозначения Арктан[12] и Загар−1[13] были использованы; это варианты заглавной буквы обычный арктан и загар−1. Это использование согласуется с обозначение сложных аргументов, так что Загар(у, Икс) = Arg (Икс + уя).
- На HP калькуляторов, рассматривайте координаты как комплексное число, а затем возьмите
ARG
. Или же<< C-> R ARG >> 'АТАН2' СТО
. - На научных калькуляторах функцию часто можно рассчитать как угол, заданный при (Икс, у) конвертируется из прямоугольные координаты к полярные координаты.
- Системы, поддерживающие символьную математику, обычно возвращают неопределенное значение для atan2 (0, 0) или иным образом сигнализировать о возникновении ненормального состояния.
- Для систем, реализующих подписанный ноль, бесконечности, или же Не число (Например, IEEE с плавающей точкой ), обычно реализуются разумные расширения, которые могут расширять диапазон производимых значений, включая:π и -0. Они также могут возвращать NaN или вызывать исключение при задании аргумента NaN.
- Для систем, реализующих подписанный ноль (Например, IEEE с плавающей точкой ), atan2 (−0, Икс), Икс <0 представляет риск возврата значения -π, в случае, если реализация atan2 (у, х) не может правильно обработать -0 входов.
- Бесплатная математическая библиотека FDLIBM (свободно распространяемая LIBM) доступна по адресу netlib имеет исходный код, показывающий, как он реализует
atan2
включая обработку различных исключительных значений IEEE. - Для систем без аппаратного умножителя функция atan2 может быть реализован численно надежным способом с помощью КОРДИК метод. Таким образом, реализации загар(у) вероятно, выберет вычислить atan2 (у, 1).
Смотрите также
Рекомендации
- ^ http://scipp.ucsc.edu/~haber/ph116A/arg_11.pdf
- ^ Органик, Эллиотт I. (1966). Праймер FORTRAN IV. Эддисон-Уэсли. п. 42.
Некоторые процессоры также предлагают библиотечную функцию ATAN2, функцию двух аргументов (противоположного и смежного).
- ^ "src / math / atan2.go". Язык программирования Go. Получено 20 апреля 2018.
- ^ «Вольф Юнг: Мандель, программное обеспечение для сложной динамики». www.mndynamics.com. Получено 20 апреля 2018.
- ^ «CLHS: функция ASIN, ACOS, ATAN». LispWorks.
- ^ «Метод Microsoft Excel Atan2». Microsoft.
- ^ "LibreOffice Calc ATAN2". Libreoffice.org.
- ^ "Список функций Google Таблиц".
- ^ «Список тригонометрических функций чисел». Яблоко.
- ^ «ANSI SQL: стандарт 2008». Терадата. Архивировано из оригинал на 20.08.2015.
- ^ IA-32 Руководство разработчика программного обеспечения для архитектуры Intel. Том 2A: Справочник по набору команд, A-M, 2004.
- ^ Бургер, Вильгельм; Бердж, Марк Дж. (7 июля 2010 г.). Принципы обработки цифровых изображений: основные методы. Springer Science & Business Media. ISBN 9781848001916. Получено 20 апреля 2018 - через Google Книги.
- ^ Глиссон, Тилдон Х. (18 февраля 2011 г.). Введение в анализ и проектирование схем. Springer Science & Business Media. ISBN 9789048194438. Получено 20 апреля 2018 - через Google Книги.
внешняя ссылка
- Онлайн калькулятор ATAN2
- Java 1.6 SE JavaDoc
- atan2 во всем2
- Решение PicBasic Pro atan2 для PIC18F
- Другие реализации / код для atan2