. Тогда абсцисса середины отрезка x=t/2, а ордината середины 
. Отсюда t=2x. Подставляем это в y и получаем, что x и y связаны соотношением 
. Т.е. середина отрезка описывает дугу окружности с центром в вершине прямого угла, и радиусом в половину длины отрезка.
Теорема - это высказывание, истинность которого необходимо доказать.
В теореме можно выделить 3 части:
1) преамбула. В ней описываются множества, относительно которых задана теорема. Это области определения высказывания А и высказывания В.
2) условия теоремы. Это предложение А или то что дано в теореме.
3) заключение теоремы. Это предложение В или то что нужно доказать в теореме.
Различают 4 вида теорем:
1. Данная теорема. Например: вертикальные углы равны. Если углы вертикальные, то они равны.
2. Теорема обратная данной. Например: если углы равны, то они вертикальные (данная теорема - ложна).
3. Теорема противоположная данной - Если углы не вертикальные, то они не равны (данная теорема ложна).
4. Теорема противоположная обратной - Если углы не равны, то они не вертикальные. (Истинная теорема)
