Сколько может быть хорд в одной окружности

Доказательство утверждения  проводится следующим образом. Сначала принимают предположение, что утверждение  неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .

В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.

2часть прямой, состоящая из данной точки и всех точек, лежащих по одну сторону от неё

3 точка отсчета, начало луча

4 бесконечные промежутки (полупрямые) числовой прямой

5 называется начальной точкой

6 Геометрическая фигура состоящая из двух точек А и В и всех точек прямой АВ, лежащих между ними, называется отрезком АВ

7 двумя точками , которые его ограничивают

8 отрезок можно разделить на конечное кол-во отрезков , их длину можно складывать

9 AВ , CD

AB=CD

10 находится на равном расстоянии от обоих концов данного отрезка