Когда человек изучает иностранный язык, каждое новое слово он узнаёт либо от другого человека, либо из словаря. Например, узнав из словаря, что «cat», «Katze», «chat» — это кошка, дальше уже можно понимать и произносить предложения об этом животном на разных языках.
В математике происходит то же самое. Каждое новое слово математического языка специально разъясняется.
Математических определений мы уже знаем немало. Обычно в них используется слово называется:
Каждый раз значение «нового», незнакомого термина разъясняется с помощью «старых», уже известных слов.
Определения могут даваться в разных формах, не всегда со словом «называется». Например, определение «сестры» можно сформулировать так: х называется сестрой у, если х и у имеют одних и тех же отца и мать и х — женщина. Но всегда в определении есть слово, которое появляется впервые как «новое» и объясняется через уже известные «старые» слова.
Для краткой записи определений удобно использовать знак равносильности $\Leftrightarrow$:
$x$ — сестра $y$ $\Leftrightarrow$ $x$ и $y$ имеют одних и тех же отца и мать, и $x$ — женщина
$a$ кратно $b$ $\Leftrightarrow$ существует $c$ такое, что $a=bc$ ($a,b,c\in N$)
$a$ — простое $\Leftrightarrow$ $a$ имеет ровно два различных делителя
Дробь
$$\dfrac{x}{y}$$
— правильная $\Leftrightarrow$ $x \lt y$
Длинное слово «существует» с обязательным продолжением «такое, что» иногда заменяют символом $\exists$. Тогда определение кратного можно записать ещё короче:
Например, $3$ — квадратный корень из $9$, потому что $3^2=9$. Значит, $9$ — точный квадрат. А вот у числа $20$ квадратного корня среди натуральных чисел нет — оно лежит между $16=4^2$ и $25=5^2$, поэтому $20$ не является точным квадратом.
Подвигай точку $x$ по прямой или проверь конкретное число на вкладке «Точный квадрат» справа — квадрат $x\times x$ вырастет прямо на глазах, а его площадь и есть число $y=x^2$.
Вся геометрия построена на цепочке определений: сначала определяют отрезок и луч, потом через них — угол, через угол — вертикальные и смежные углы, и так далее. Каждое следующее определение опирается на уже известные, «старые» понятия.
Например, определения, связанные с окружностью:
Обрати внимание: определение диаметра опирается на уже определённое раньше понятие «хорда» — это и есть главный принцип построения определений. Подвигай точку на окружности во вкладке «Окружность» справа.
Двигай точку x по прямой — под ней вырастет квадрат x×x, площадь которого равна y = x²
Проверь, является ли число точным квадратом:
Двигай точку b по прямой — узнай, существует ли натуральное c такое, что a = b·c
Двигай точку E по окружности — хорда DE меняется, а радиус OA и диаметр BC остаются на месте