Перейти к содержимому
Topos Uranos

Краткое содержание

Этот урок завершает раздел о тригонометрических функциях и полярных координатах. Он собирает в одну дедуктивную цепь то, что доказано в шести его уроках: измерение углов длиной дуги, определение синуса и косинуса на единичной окружности и его следствия, изучение этих функций и обратных к ним, решение всех треугольников и полярные координаты с их кривыми. Он объясняет, как эта цепь опирается на курс «Алгебра и геометрия I», от деления с остатком до конических сечений и векторов, и как она готовит аналитическую тригонометрию очередного раздела. В итоговой проверке он повторяет умения входной проверки из введения, добавляет два вопроса о причинах результатов и завершается десятью задачами повышенной трудности, более трудными, чем задачи уроков, которые сочетают несколько уроков и в каждом случае требуют собственной идеи.

Цели обучения

  1. Восстановить цепь определений и теорем раздела, от радиана до полярного уравнения конических сечений, указывая, от какого результата зависит каждый из них.
  2. Связать результаты раздела с результатами курса I и с задачами, которые аналитическая тригонометрия оставляет открытыми.
  3. Решать задачи, сочетающие измерение дуг, симметрии и графики тригонометрических функций, обратные к ним функции, решение треугольников и полярные координаты.

Чего достиг раздел

От углов к функциям

Раздел исходит из немногих принимаемых фактов, которые стоит перечислить точно. Первые два требуют математического анализа: факты о длинах и площадях (всякая дуга имеет длину, а всякая область, ограниченная отрезками и дугами, имеет площадь; обе величины аддитивны, не меняются при перемещении фигур и растут вместе с ними; дуги, на которые опирается один и тот же центральный угол, пропорциональны радиусам, а круг радиуса rr имеет площадь πr2\pi r^2) и аксиома обхода по длине дуги: для каждого действительного числа ss существует единственная точка P(s)P(s) единичной окружности, в которую приходят, обходя её из (1,0)(1, 0) на длину ∣s∣\abs{s} в направлении, которое указывает знак ss; этот обход обладает сцеплением (продвижение на tt от P(s)P(s) приводит в P(s+t)P(s + t)), имеет период 2π2\pi, достигает всех точек и на первом пол-обороте, который заканчивается в P(π)=(−1,0)P(\pi) = (-1, 0), проходит верхнюю полуокружность со строго убывающей абсциссой. Остальные взяты из элементарной геометрии, которую курс не развивает: сумма π\pi углов треугольника, равенство углов при основании равнобедренного треугольника, сложение смежных углов и положение центра окружности относительно вписанного угла, признаки подобия, теорема Пифагора, сохранение длин при отражениях, которые меняют направление вращения на противоположное, и при повороте на пол-оборота, который его сохраняет, и сравнение углов, под которыми хорда видна из точек внутри и вне круга. Вместе с ними принимается и значение π\pi, десятичная запись которого начинается с 3,14159, так что 3<π<43 < \pi < 4, а также его иррациональность. Ещё два факта, тоже требующие математического анализа, принимаются в уроке о тригонометрических функциях и их графиках, и используют их лишь некоторые задачи, но никогда теоремы цепи: непрерывность тригонометрических функций и обратных к ним, благодаря которой к ним применяется теорема о промежуточном значении (она не принимается заново, а цитируется из курса I), и строгая выпуклость вверх синуса на каждом промежутке [2kπ,(2k+1)π]\icc{2k\pi}{(2k + 1)\pi}; а последняя решённая задача урока о тригонометрических отношениях по той же причине принимает, что площади вписанных правильных многоугольников сколь угодно близко подходят к площади круга. На этой основе урок об углах и их измерении определил число π\pi как половину длины единичной окружности, а радианную меру как длину пройденной дуги со знаком; отразив первый пол-оборота относительно оси xx, он доказал, что на втором обход проходит нижнюю полуокружность со строго возрастающей абсциссой; из той же основы вытекли перевод градусов в радианы и обратно, формулы s=rθs = r\theta и A=12r2θA = \frac{1}{2} r^2 \theta, теорема о вписанном угле, который равен половине дуги, на которую он опирается, и теорема о приведении к первому обороту, согласно которой всякое действительное число единственным образом записывается в виде θ0+2kπ\theta_0 + 2k\pi, где θ0\theta_0 принадлежит [0,2π)\ico{0}{2\pi}. Поскольку из аксиомы следует, что один оборот не проходит дважды через одну и ту же точку, два числа определяют одну и ту же точку P(θ)P(\theta) тогда и только тогда, когда они отличаются на целое кратное 2π2\pi.

Урок о тригонометрических отношениях и единичной окружности дал два определения синуса, косинуса и тангенса: как отношения сторон прямоугольного треугольника, которые подобие делает независимыми от треугольника, и как координаты P(θ)P(\theta), пригодные для всякого действительного числа; он доказал, что для острых углов они совпадают. Из второго определения были выведены основное тригонометрическое тождество sin⁡2θ+cos⁡2θ=1\sin^2 \theta + \cos^2 \theta = 1, табличные значения для π6\frac{\pi}{6}, π4\frac{\pi}{4} и π3\frac{\pi}{3}, а также симметрии окружности, которые дают чётность, периодичность и соотношения для углов, дополняющих друг друга до развёрнутого, и для дополнительных углов. Отсюда следует метод угла приведения, который сводит вычисление тригонометрических отношений любого угла к вычислению для острого угла.

В уроке о тригонометрических функциях и их графиках эти отношения превратились в функции действительной переменной. Лемма о периодах, доказанная с помощью свойства Архимеда, и расположение максимумов показали, что 2π2\pi есть наименьший период синуса и косинуса, а расположение нулей показало, что π\pi есть наименьший период тангенса; графики строились развёртыванием окружности, а сравнение площадей двух треугольников и сектора дало неравенство sin⁡x<x<tan⁡x\sin x < x < \tan x при 0<x<π20 < x < \frac{\pi}{2}, из которого следуют оценка ∣sin⁡x∣≤∣x∣\abs{\sin x} \leq \abs{x} и вертикальные асимптоты тангенса. Синусоиды asin⁡(b(x−c))+da \sin(b(x - c)) + d, полученные из синуса преобразованиями из раздела курса I об алгебраических функциях, моделируют всякое периодическое явление простой формы.

Обращение и измерение треугольников

Однако периодическая функция не инъективна. Урок об обратных тригонометрических функциях прочёл в аксиоме обхода, что косинус строго убывает на [0,π]\icc{0}{\pi}, потому что это и есть условие пол-оборота, записанное в координатах; из этого и из симметрии дополнительных углов он доказал, что синус строго возрастает на [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}}, а из обоих фактов, что тангенс возрастает на (−π2,π2)\ioo{-\frac{\pi}{2}}{\frac{\pi}{2}}; на этих промежутках он определил арксинус, арккосинус и арктангенс и отличил равенство sin⁡(arcsin⁡x)=x\sin(\arcsin x) = x, верное всегда, от равенства arcsin⁡(sin⁡x)=x\arcsin(\sin x) = x, верного лишь на промежутке главных значений. Вместе с симметриями обратные функции позволили решить простейшие уравнения на полном обороте.

Тем самым всё было готово для урока о решении треугольников. Если поместить вершину в начало координат, то вершина, противолежащая стороне, имеет координаты (bcos⁡A,bsin⁡A)\left( b \cos A, b \sin A \right); отсюда получаются, в таком порядке, площадь 12bcsin⁡A\frac{1}{2} bc \sin A, теорема синусов и, с помощью теоремы о вписанном угле, её связь с радиусом описанной окружности, теорема косинусов, обобщающая теорему Пифагора, и формула Герона. Поскольку косинус определяет угол треугольника, а синус нет, случай двух сторон и угла, противолежащего одной из них, допускает ни одного, одно или два решения, и теорема о неоднозначном случае подсчитывает их через корни квадратного уравнения. Наконец, теорема косинусов и раскрытие квадрата нормы разности дали меру угла между двумя векторами через скалярное произведение.

Вторая система координат

Урок о полярных координатах и кривых в полярных координатах обратил точку зрения: вместо того чтобы вычислять декартовы координаты точки по её расстоянию до начала координат и её углу, он назвал точку этими двумя числами. Допуская отрицательные радиусы, он описал все представления точки, доказал формулы перехода с арктангенсом, исправленным в зависимости от четверти, и получил из теоремы косинусов расстояние между двумя точками в полярных координатах. Признаки симметрии и таблицы значений позволили построить кардиоиды, розы, спирали и улитки, а теорема о фокусе и директрисе превратилась в уравнение r=ed1+ecos⁡θr = \frac{ed}{1 + e \cos \theta}, в котором читаются тип, вершины и фокальная хорда, перпендикулярная оси, каждого конического сечения.

Рисунок ниже соединяет три участка в одну цепь. Каждый узел столбца есть определение или теорема, пронумерованные в логическом порядке и соединённые дугой с предыдущими звеньями, которые использует их доказательство; вокруг расположены опоры, то есть принципы и средства, к которым цепь обращается снова и снова, и каждая соединена сплошной линией со звеньями, которые на неё опираются, и пунктирной со звеном, где она устанавливается, кроме тех, что взяты из курса I или принимаются без доказательства: они изображены кольцами. Нажатие на опору выделяет все звенья, которые её используют, а каждое звено ведёт к уроку, где оно доказывается.

Опоры цепи

  • AОбход по длине дуги. Для каждого действительного числа ss существует единственная точка P(s)P(s) единичной окружности, в которую приходят, обходя её из (1,0)(1, 0) на длину ∣s∣\abs{s}, против часовой стрелки, если s>0s > 0, и по часовой стрелке, если s<0s < 0. Продвижение от P(s)P(s) на длину tt против часовой стрелки приводит в P(s+t)P(s + t), а по часовой стрелке, в P(s−t)P(s - t); выполняется P(s+2π)=P(s)P(s + 2\pi) = P(s); всякая точка окружности есть P(s)P(s) для некоторого ss; P(π)=(−1,0)P(\pi) = (-1, 0), и абсцисса точки P(s)P(s) строго убывает при неотрицательной ординате, когда ss возрастает от 00 до π\pi. Принимается без доказательства, потому что опирается на длину дуги и на свойство промежуточного значения; второй пол-оборота выводится из первого с помощью отражений. В этом разделе принимается без доказательства.
  • BДлины и площади. Всякая дуга имеет длину, а всякая область, ограниченная отрезками и дугами, имеет площадь; конгруэнтные фигуры имеют одинаковую меру, меры аддитивны, площадь области, содержащей другую, не меньше её и больше, если разность содержит круг; дуги, на которые опирается один и тот же центральный угол, пропорциональны радиусам, а круг радиуса rr имеет площадь πr2\pi r^2. Принимается без доказательства, потому что длины и площади криволинейных фигур определяются через пределы. В этом разделе принимается без доказательства.
  • CОтражения и повороты. Отражение относительно прямой сохраняет расстояния и длины дуг и меняет направление вращения на противоположное; поворот на пол-оборота вокруг начала координат сохраняет их и сохраняет направление. Принимается из элементарной геометрии. В этом разделе принимается без доказательства.
  • DЭлементарная геометрия. Три угла треугольника в сумме дают π\pi; углы при основании равнобедренного треугольника равны; луч, проходящий внутри угла, делит его на два угла, сумма которых равна данному; если центр лежит внутри вписанного угла, то диаметр, выходящий из вершины, делит угол на два и пересекает дугу, на которую угол опирается, а если вне, то одна из сторон лежит между этим диаметром и другой стороной; признаки подобия треугольников и теорема Пифагора; наконец, точка вне круга видит хорду под углом, меньшим вписанного угла с той же стороны, а точка внутри круга, под большим. Принимаются из элементарной геометрии. В этом разделе принимается без доказательства.
  • EСвойство Архимеда. Для любых двух положительных действительных чисел pp и qq некоторое натуральное кратное числа qq превосходит pp; из него следуют плотность рациональных чисел и существование наименьшего целого числа, большего данного действительного. Доказано в курсе I, в разделе о числовых множествах. В этом разделе принимается без доказательства.
  • FФункции и многочлены. Строго монотонная функция инъективна, график обратной к ней функции есть отражение её графика относительно прямой y=xy = x, преобразования сдвигают и растягивают графики, а таблицы знаков и формулы Виета управляют знаками дробей и корнями многочленов. Доказано в курсе I, в разделе об алгебраических функциях и многочленах. В этом разделе принимается без доказательства.
  • GАналитическая геометрия. Формула расстояния, уравнение окружности, угловой коэффициент прямой, векторы со скалярным произведением и характеристика конических сечений через фокус и директрису. Доказано в курсе I, в разделе об аналитической геометрии на плоскости. В этом разделе принимается без доказательства.
  • HСимметрии. Синус нечётен, а косинус чётен; sin⁡(π−θ)=sin⁡θ\sin(\pi - \theta) = \sin \theta, cos⁡(π−θ)=−cos⁡θ\cos(\pi - \theta) = -\cos \theta, sin⁡(π+θ)=−sin⁡θ\sin(\pi + \theta) = -\sin \theta, cos⁡(π+θ)=−cos⁡θ\cos(\pi + \theta) = -\cos \theta и cos⁡θ=sin⁡(π2−θ)\cos \theta = \sin\left( \frac{\pi}{2} - \theta \right), и оба периодичны с периодом 2π2\pi. Устанавливается в: 10. Симметрии и периодичность.
  1. Участок 1 От углов к функциям

    • Измерять углы длиной дуги, которую они проходят, связывать вписанный угол с дугой, на которую он опирается, и приводить всякое действительное число к первому обороту.
    • Определить синус и косинус на единичной окружности и доказать, что они согласуются с отношениями в прямоугольном треугольнике.
    • Вывести основное тригонометрическое тождество, табличные значения и симметрии, а с ними метод угла приведения.
    • Изучить синус, косинус и тангенс как функции: их наименьшие периоды, их графики, неравенство sin⁡x<x<tan⁡x\sin x < x < \tan x и синусоиды.
    1. Радианная мера. При π\pi, равном половине длины единичной окружности, радианная мера ориентированного угла есть длина со знаком дуги, которую он проходит; всякое действительное число есть мера некоторого угла, и угол в gg градусов равен πg180\frac{\pi g}{180} радиан.

      Опирается на: A (Обход по длине дуги), B (Длины и площади). Доказывается в уроке: Углы и их измерение: градусы и радианы.

    2. Дуга и сектор. В окружности радиуса rr центральный угол в θ\theta радиан, где 0<θ≤2π0 < \theta \leq 2\pi, опирается на дугу длины s=rθs = r\theta и задаёт сектор площади 12r2θ\frac{1}{2} r^2 \theta.

      Использует: 1. Радианная мера. Опирается на: B (Длины и площади), E (Свойство Архимеда). Доказывается в уроке: Углы и их измерение: градусы и радианы.

    3. Вписанный угол. Вписанный угол в окружности радиуса rr, опирающийся на дугу длины ss, равен s2r\frac{s}{2r}; поэтому вписанные углы, опирающиеся на одну и ту же хорду, равны или дополняют друг друга до развёрнутого в зависимости от того, лежат ли их вершины на одной дуге или на разных, а вписанный угол, опирающийся на полуокружность, прямой.

      Использует: 2. Дуга и сектор. Опирается на: B (Длины и площади), D (Элементарная геометрия). Доказывается в уроке: Углы и их измерение: градусы и радианы.

    4. Приведение к первому обороту. Всякое действительное число θ\theta единственным образом записывается в виде θ0+2kπ\theta_0 + 2k\pi, где kk целое, а θ0\theta_0 принадлежит [0,2π)\ico{0}{2\pi}; поскольку один оборот не повторяет точек, два угла имеют общую конечную сторону тогда и только тогда, когда их разность есть целое кратное 2π2\pi.

      Использует: 1. Радианная мера. Опирается на: A (Обход по длине дуги), E (Свойство Архимеда), C (Отражения и повороты). Доказывается в уроке: Углы и их измерение: градусы и радианы.

    5. Тригонометрические отношения острого угла. В прямоугольных треугольниках с острым углом α\alpha отношения сторон зависят только от α\alpha, а синус и косинус угла α\alpha лежат строго между 00 и 11.

      Опирается на: D (Элементарная геометрия). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    6. Синус и косинус действительного числа. Для всякого действительного числа θ\theta косинус и синус числа θ\theta суть абсцисса и ордината точки P(θ)P(\theta) единичной окружности, а тангенс есть их отношение sin⁡θcos⁡θ\frac{\sin \theta}{\cos \theta}, когда косинус не обращается в нуль; их знаки в каждой четверти выводятся из свойства пол-оборота и его отражения, второго пол-оборота, а знаки произвольного угла совпадают со знаками его приведения к первому обороту.

      Использует: 1. Радианная мера, 4. Приведение к первому обороту. Опирается на: A (Обход по длине дуги), C (Отражения и повороты). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    7. Согласованность определений. Если 0<θ<π20 < \theta < \frac{\pi}{2}, то синус, косинус и тангенс, определённые на единичной окружности, совпадают с определёнными в прямоугольном треугольнике с острым углом величины θ\theta.

      Использует: 5. Тригонометрические отношения острого угла, 6. Синус и косинус действительного числа. Опирается на: A (Обход по длине дуги), C (Отражения и повороты), G (Аналитическая геометрия). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    8. Основное тригонометрическое тождество. Для всякого действительного числа θ\theta выполняется sin⁡2θ+cos⁡2θ=1\sin^2 \theta + \cos^2 \theta = 1, а из него следует 1+tan⁡2θ=sec⁡2θ1 + \tan^2 \theta = \sec^2 \theta, когда cos⁡θ≠0\cos \theta \neq 0.

      Использует: 6. Синус и косинус действительного числа. Опирается на: G (Аналитическая геометрия). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    9. Табличные значения. Синус и косинус π4\frac{\pi}{4} равны 22\frac{\sqrt{2}}{2}; синус π6\frac{\pi}{6} и косинус π3\frac{\pi}{3} равны 12\frac{1}{2}, а косинус π6\frac{\pi}{6} и синус π3\frac{\pi}{3} равны 32\frac{\sqrt{3}}{2}.

      Использует: 1. Радианная мера, 6. Синус и косинус действительного числа. Опирается на: G (Аналитическая геометрия), D (Элементарная геометрия), C (Отражения и повороты). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    10. Симметрии и периодичность. Синус нечётен, а косинус чётен; угол и угол, дополняющий его до развёрнутого, имеют равные синусы и противоположные косинусы, у θ\theta и π+θ\pi + \theta синусы и косинусы противоположны, синус угла равен косинусу дополнительного к нему угла, и оба периодичны с периодом 2π2\pi; поэтому синус и косинус угла с точностью до знака его четверти совпадают с синусом и косинусом его угла приведения.

      Использует: 4. Приведение к первому обороту, 6. Синус и косинус действительного числа. Опирается на: A (Обход по длине дуги), C (Отражения и повороты), F (Функции и многочлены). Доказывается в уроке: Тригонометрические отношения и единичная окружность.

    11. Свойства синуса и косинуса. Множество значений синуса и косинуса есть [−1,1]\icc{-1}{1}; синус обращается в нуль ровно в числах kπk\pi и равен 11 ровно в числах π2+2kπ\frac{\pi}{2} + 2k\pi, а косинус равен 11 ровно в числах 2kπ2k\pi, где kk целое.

      Использует: 4. Приведение к первому обороту, 6. Синус и косинус действительного числа, 8. Основное тригонометрическое тождество. Опирается на: A (Обход по длине дуги), H (Симметрии). Доказывается в уроке: Тригонометрические функции и их графики.

    12. Наименьший период. Если qq есть наименьший период функции, то её периоды суть ровно числа kqkq, где kk натуральное; и 2π2\pi есть наименьший период синуса и косинуса.

      Использует: 11. Свойства синуса и косинуса. Опирается на: E (Свойство Архимеда). Доказывается в уроке: Тригонометрические функции и их графики.

    13. Синус, дуга и тангенс. Если 0<x<π20 < x < \frac{\pi}{2}, то выполняется sin⁡x<x<tan⁡x\sin x < x < \tan x; отсюда следует, что ∣sin⁡x∣≤∣x∣\abs{\sin x} \leq \abs{x} для всякого действительного числа xx, причём равенство только при x=0x = 0.

      Использует: 2. Дуга и сектор, 6. Синус и косинус действительного числа, 11. Свойства синуса и косинуса. Опирается на: B (Длины и площади), G (Аналитическая геометрия), H (Симметрии). Доказывается в уроке: Тригонометрические функции и их графики.

    14. Свойства тангенса. Тангенс нечётен, имеет наименьший период π\pi, обращается в нуль ровно в числах kπk\pi, его множество значений есть R\mathbb{R}, а прямые x=π2+kπx = \frac{\pi}{2} + k\pi являются вертикальными асимптотами его графика.

      Использует: 8. Основное тригонометрическое тождество, 11. Свойства синуса и косинуса, 13. Синус, дуга и тангенс. Опирается на: A (Обход по длине дуги), F (Функции и многочлены), H (Симметрии). Доказывается в уроке: Тригонометрические функции и их графики.

    15. Синусоиды. Синусоида y=asin⁡(b(x−c))+dy = a \sin(b(x - c)) + d, где a>0a > 0 и b>0b > 0, получается из синуса преобразованиями; её множество значений есть [d−a,d+a]\icc{d - a}{d + a}, а наименьший период равен 2πb\frac{2\pi}{b}.

      Использует: 11. Свойства синуса и косинуса, 12. Наименьший период. Опирается на: F (Функции и многочлены). Доказывается в уроке: Тригонометрические функции и их графики.

  2. Участок 2 Обращение и измерение треугольников

    • Вывести из аксиомы обхода строгую монотонность косинуса и синуса, а из неё монотонность тангенса на их промежутках главных значений, и определить обратные к ним функции.
    • Отличать равенство sin⁡(arcsin⁡x)=x\sin(\arcsin x) = x, верное всегда, от равенства arcsin⁡(sin⁡x)=x\arcsin(\sin x) = x и решать простейшие уравнения на полном обороте.
    • Вывести из координат вершины площадь треугольника, теорему синусов, теорему косинусов и формулу Герона.
    • Подсчитывать решения в неоднозначном случае и измерять угол между двумя векторами с помощью скалярного произведения.
    1. Монотонность и биективные сужения. По свойству пол-оборота из аксиомы обхода косинус строго убывает на [0,π]\icc{0}{\pi}; отсюда и из симметрий синус строго возрастает на [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}}, а тангенс на (−π2,π2)\ioo{-\frac{\pi}{2}}{\frac{\pi}{2}}; суженные на эти промежутки, они являются биекциями на [−1,1]\icc{-1}{1}, [−1,1]\icc{-1}{1} и R\mathbb{R}.

      Использует: 4. Приведение к первому обороту, 6. Синус и косинус действительного числа, 14. Свойства тангенса. Опирается на: A (Обход по длине дуги), F (Функции и многочлены), H (Симметрии). Доказывается в уроке: Обратные тригонометрические функции.

    2. Обратные функции. Арксинус, арккосинус и арктангенс, обратные к этим сужениям, удовлетворяют равенству sin⁡(arcsin⁡x)=x\sin(\arcsin x) = x на [−1,1]\icc{-1}{1}, тогда как arcsin⁡(sin⁡x)=x\arcsin(\sin x) = x только на [−π2,π2]\icc{-\frac{\pi}{2}}{\frac{\pi}{2}}; кроме того, arcsin⁡x+arccos⁡x=π2\arcsin x + \arccos x = \frac{\pi}{2} и cos⁡(arcsin⁡x)=1−x2\cos(\arcsin x) = \sqrt{1 - x^2}.

      Использует: 8. Основное тригонометрическое тождество, 16. Монотонность и биективные сужения. Опирается на: F (Функции и многочлены), H (Симметрии). Доказывается в уроке: Обратные тригонометрические функции.

    3. Простейшие уравнения. Если −1<c<1-1 < c < 1 и α=arcsin⁡c\alpha = \arcsin c, то уравнение sin⁡x=c\sin x = c имеет на [0,2π)\ico{0}{2\pi} ровно два решения: π−α\pi - \alpha и, в зависимости от знака α\alpha, само α\alpha или 2π+α2\pi + \alpha; уравнение cos⁡x=c\cos x = c имеет там решения arccos⁡c\arccos c и 2π−arccos⁡c2\pi - \arccos c.

      Использует: 16. Монотонность и биективные сужения, 17. Обратные функции. Опирается на: H (Симметрии). Доказывается в уроке: Обратные тригонометрические функции.

    4. Площадь треугольника. Если вершина AA находится в начале координат, а вершина BB на положительной полуоси абсцисс, то вершина CC имеет координаты (bcos⁡A,bsin⁡A)\left( b \cos A, b \sin A \right), а площадь треугольника равна 12bcsin⁡A\frac{1}{2} bc \sin A.

      Использует: 6. Синус и косинус действительного числа. Опирается на: G (Аналитическая геометрия), H (Симметрии). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

    5. Теорема синусов. Стороны треугольника пропорциональны синусам противолежащих углов, и общее отношение asin⁡A\frac{a}{\sin A} равно диаметру 2R2R описанной окружности.

      Использует: 7. Согласованность определений, 3. Вписанный угол, 19. Площадь треугольника. Опирается на: D (Элементарная геометрия), H (Симметрии). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

    6. Теорема косинусов. Во всяком треугольнике выполняется a2=b2+c2−2bccos⁡Aa^2 = b^2 + c^2 - 2bc \cos A, что сводится к теореме Пифагора, когда угол AA прямой.

      Использует: 8. Основное тригонометрическое тождество, 19. Площадь треугольника. Опирается на: G (Аналитическая геометрия). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

    7. Формула Герона. Площадь треугольника со сторонами aa, bb и cc и полупериметром ss равна s(s−a)(s−b)(s−c)\sqrt{s(s - a)(s - b)(s - c)}.

      Использует: 8. Основное тригонометрическое тождество, 19. Площадь треугольника, 21. Теорема косинусов. Опирается на: F (Функции и многочлены). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

    8. Неоднозначный случай. Если даны угол AA, прилежащая сторона cc и противолежащая сторона aa, то возможные треугольники соответствуют положительным корням уравнения b2−2bccos⁡A+c2−a2=0b^2 - 2bc \cos A + c^2 - a^2 = 0, и их нет, один или два в зависимости от того, как aa сравнивается с csin⁡Ac \sin A и с cc.

      Использует: 6. Синус и косинус действительного числа, 8. Основное тригонометрическое тождество, 21. Теорема косинусов. Опирается на: F (Функции и многочлены). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

    9. Угол между векторами. Если θ\theta есть угол между ненулевыми векторами u⃗\vec{u} и v⃗\vec{v}, то выполняется cos⁡θ=u⃗⋅v⃗∥u⃗∥∥v⃗∥\cos \theta = \frac{\vec{u} \cdot \vec{v}}{\norma{\vec{u}} \norma{\vec{v}}}.

      Использует: 21. Теорема косинусов. Опирается на: G (Аналитическая геометрия). Доказывается в уроке: Решение треугольников: теоремы синусов и косинусов.

  3. Участок 3 Вторая система координат

    • Описывать все полярные представления точки, допуская отрицательные радиусы.
    • Переходить от декартовых координат к полярным с арктангенсом, исправленным в зависимости от четверти.
    • Вычислять расстояния в полярных координатах и строить кривые в полярных координатах с помощью признаков симметрии.
    • Записывать конические сечения с фокусом в полюсе и читать в их уравнении тип, вершины и фокальную хорду, перпендикулярную оси.
    1. Представления точки. Пары (r1,θ1)(r_1, \theta_1) и (r2,θ2)(r_2, \theta_2) представляют одну и ту же точку, отличную от полюса, тогда и только тогда, когда r2=r1r_2 = r_1 и θ2−θ1\theta_2 - \theta_1 есть чётное кратное π\pi или же r2=−r1r_2 = -r_1 и θ2−θ1\theta_2 - \theta_1 есть нечётное кратное π\pi.

      Использует: 4. Приведение к первому обороту, 6. Синус и косинус действительного числа, 8. Основное тригонометрическое тождество. Опирается на: H (Симметрии). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

    2. От декартовых координат к полярным. Всякая точка (x,y)(x, y), отличная от полюса, имеет единственное представление с r=x2+y2r = \sqrt{x^2 + y^2} и θ\theta из (−π,π]\ioc{-\pi}{\pi}; если x≠0x \neq 0, то её угол равен arctan⁡yx\arctan \frac{y}{x}, к которому прибавляется или из которого вычитается π\pi, когда x<0x < 0.

      Использует: 25. Представления точки, 17. Обратные функции. Опирается на: A (Обход по длине дуги), G (Аналитическая геометрия), H (Симметрии). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

    3. Расстояние в полярных координатах. Расстояние dd между точками (r1,θ1)(r_1, \theta_1) и (r2,θ2)(r_2, \theta_2) удовлетворяет равенству d2=r12+r22−2r1r2cos⁡(θ2−θ1)d^2 = r_1^2 + r_2^2 - 2 r_1 r_2 \cos(\theta_2 - \theta_1) при любых знаках радиусов.

      Использует: 4. Приведение к первому обороту, 21. Теорема косинусов, 25. Представления точки. Опирается на: H (Симметрии). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

    4. Признаки симметрии. Если уравнение кривой в полярных координатах переходит в равносильное при замене θ\theta на −θ-\theta, θ\theta на π−θ\pi - \theta или rr на −r-r, то кривая симметрична соответственно относительно полярной оси, прямой θ=π2\theta = \frac{\pi}{2} или полюса.

      Использует: 6. Синус и косинус действительного числа. Опирается на: H (Симметрии). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

    5. Полярное уравнение конических сечений. Если e>0e > 0 и d>0d > 0, то точки, расстояние которых до полюса равно умноженному на ee расстоянию до прямой x=dx = d, образуют график r=ed1+ecos⁡θr = \frac{ed}{1 + e \cos \theta}.

      Использует: 25. Представления точки. Опирается на: G (Аналитическая геометрия), H (Симметрии). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

    6. Элементы полярного конического сечения. В коническом сечении r=ed1+ecos⁡θr = \frac{ed}{1 + e \cos \theta} полярная ось является фокальной осью, одна вершина находится на расстоянии ed1+e\frac{ed}{1 + e} от полюса, а фокальная хорда, перпендикулярная оси, равна 2ed2ed; если e<1e < 1, то большая полуось равна ed1−e2\frac{ed}{1 - e^2}.

      Использует: 28. Признаки симметрии, 29. Полярное уравнение конических сечений. Опирается на: G (Аналитическая геометрия). Доказывается в уроке: Полярные координаты и кривые в полярных координатах.

К аналитической тригонометрии. Цепь останавливается перед синусом и косинусом суммы углов: симметрии дают их лишь тогда, когда одно из слагаемых кратно π2\frac{\pi}{2}. Очередной раздел выводит формулы сложения и вычитания и с их помощью доказывает тождества, решает тригонометрические уравнения в общем виде и классифицирует уравнения второй степени с помощью поворота осей.

Раздел внутри курса

Раздел, первый в курсе II, опирается на курс I в точно указанных местах. Приведение к первому обороту есть деление с остатком из урока курса I о делимости, перенесённое на действительные числа с помощью свойства Архимеда из урока курса I о десятичной записи рациональных чисел, а площадь сектора была распространена на все углы с помощью плотности рациональных чисел из урока курса I о числовой прямой. Обратные функции применили теоремы об обратной функции и о преобразованиях из урока курса I о действиях с функциями, а асимптоты изучались с помощью таблиц знаков. Единичная окружность, угловые коэффициенты, векторы, скалярное произведение и конические сечения пришли из раздела курса I об аналитической геометрии на плоскости, урок которого о конических сечениях дал теорему о фокусе и директрисе. Наконец, урок курса I о гиперболических функциях предвосхитил аналогию, которую этот раздел завершает: синус и косинус описывают окружность x2+y2=1x^2 + y^2 = 1 так же, как гиперболические синус и косинус описывают гиперболу x2−y2=1x^2 - y^2 = 1.

Остаётся, однако, вопрос без ответа, который проходит через весь раздел: как вычислить синус и косинус суммы углов по синусам и косинусам слагаемых? Симметрии отвечают на него лишь тогда, когда одно из слагаемых кратно π2\frac{\pi}{2}; значения для π12\frac{\pi}{12} или π10\frac{\pi}{10} требуют особых геометрических построений; а произведение двух комплексных чисел в тригонометрической форме, анонсированное в уроке о полярных координатах, зависит от ответа на него. Очередной раздел, который начинается с введения в аналитическую тригонометрию, отвечает на этот вопрос формулами сложения и вычитания и с их помощью доказывает тождества, решает тригонометрические уравнения в общем виде и классифицирует уравнения второй степени с помощью поворота осей.