Объяснение:
общем случае, геометрическое место точек формулируется параметрическим предикатом, аргументом которого является точка данного линейного Параметры предиката могут носить различный тип. Предикат называется детерминантом геометрического места точек. Параметры предиката называются дифференциалами геометрического места точек (не путать с дифференциалом в анализе).
Роль дифференциалов во введении видовых различий в фигуру. Количество дифференциалов может быть любым; дифференциалов может и вовсе не быть.
Если заданы детерминант {\displaystyle P(M,\;a,\;b,\;c,\;\ldots )}P(M,\;a,\;b,\;c,\;\ldots ), где {\displaystyle M}M — точка, {\displaystyle a,\;b,\;c,\;\ldots }a,\;b,\;c,\;\ldots — дифференциалы, то искомую фигуру {\displaystyle A}A задают в виде: «{\displaystyle A}A — геометрическое место точек {\displaystyle M}M, таких, что {\displaystyle P(M,\;a,\;b,\;c,\;\ldots )}P(M,\;a,\;b,\;c,\;\ldots )». Далее обычно указывается роль дифференциалов, им даются названия применительно к данной конкретной фигуре. Под собственно фигурой понимают совокупность (множество) точек {\displaystyle M}M, для которых для каждого конкретного набора значений {\displaystyle a,\;b,\;c,\;\ldots }a,\;b,\;c,\;\ldots высказывание {\displaystyle P(M,\;a,\;b,\;c,\;\ldots )}P(M,\;a,\;b,\;c,\;\ldots ) обращается в тождество. Каждый конкретный набор значений дифференциалов определяет отдельную фигуру, каждую из которых и всех их в совокупности именуют названием фигуры, которая задаётся через ГМТ.
В словесной формулировке предикативное высказывание озвучивают литературно, то есть с привлечением различного рода оборотов и т. д. с целью благозвучия. Иногда, в случае детерминантов, вообще обходятся без буквенных обозначений.
Пример: параболу зададим как множество всех таких точек {\displaystyle M}M, что расстояние от {\displaystyle M}M до точки {\displaystyle F}F равно расстоянию от {\displaystyle M}M до прямой {\displaystyle l}l. Тогда дифференциалы параболы — {\displaystyle F}F и {\displaystyle l}l; детерминант — предикат {\displaystyle P(M,\;F,\;l)=(\rho (M,\;F)=\rho _{l}(M,\;l))}P(M,\;F,\;l)=(\rho (M,\;F)=\rho _{l}(M,\;l)), где {\displaystyle \rho }\rho — расстояние между двумя точками (метрика), {\displaystyle \rho _{l}}\rho _{l} — расстояние от точки до прямой. И говорят: «Парабола — геометрическое место точек {\displaystyle M}M, равноудалённых от точки {\displaystyle F}F и прямой {\displaystyle l}l. Точку {\displaystyle F}F называют фокусом параболы, а прямую {\displaystyle l}l — директрисой».
Теорема 1. В треугольнике против большей стороны лежит больший угол.
Доказательство. Пусть в треугольнике ABC сторона АВ больше стороны АС (рис.1, а).
Рис.1
Докажем, что ∠ С > ∠ В. Отложим на стороне АВ отрезок AD, равный стороне АС (рис.1, б). Так как AD < АВ, то точка D лежит между точками А и В. Следовательно, угол 1 является частью угла С и, значит, ∠ C > ∠ 1. Угол 2 — внешний угол треугольника BDC, поэтому Z 2 > Z В. Углы 1 и 2 равны как углы при основании равнобедренного треугольника ADC. Таким образом, ∠ С > ∠ 1, ∠ 1 = ∠ 2, ∠ 2 > ∠ B. Отсюда следует, что ∠ С > ∠ В.
Справедлива и обратная теорема (ее доказательство проводится методом от противного).
Теорема 2. В треугольнике против большего угла лежит большая сторона.
Из теоремы 1 вытекает
Следствие 1. Если два угла треугольника равны, то треугольник равнобедренный (признак равнобедренного треугольника).
Доказательство следствия проводится методом от противного.
Из следствия 1 следует, что если три угла треугольника равны, то треугольник равносторонний.
Из теоремы 2 получаем
Следствие 3. В прямоугольном треугольнике гипотенуза больше катета.
С использованием теоремы 2 устанавливается следующая теорема.
Теорема 3. Каждая сторона треугольника меньше суммы двух других сторон.
Следствие 4. Для любых трех точек А, В и С, не лежащих на одной прямой, справедливы неравенства:
АВ < АС + СВ, АС < АВ + ВС, ВС < ВА + АС.
∠АВМ = 120/2 = 60°
В параллелограмме сумма соседних углов равна 180°
∠АВС + ∠ВАД = 180°
120° + ∠ВАД = 180°
∠ВАД = 180 - 120 = 60°
В ΔАВМ 2 угла по 60°. Третий угол
∠ВМА = 180 - 60 - 60 = 60°
Треугольник равносторонний, все его стороны по 6 единиц
ВМ = 6