Теорема - это высказывание, истинность которого необходимо доказать.
В теореме можно выделить 3 части:
1) преамбула. В ней описываются множества, относительно которых задана теорема. Это области определения высказывания А и высказывания В.
2) условия теоремы. Это предложение А или то что дано в теореме.
3) заключение теоремы. Это предложение В или то что нужно доказать в теореме.
Различают 4 вида теорем:
1. Данная теорема. Например: вертикальные углы равны. Если углы вертикальные, то они равны.
2. Теорема обратная данной. Например: если углы равны, то они вертикальные (данная теорема - ложна).
3. Теорема противоположная данной - Если углы не вертикальные, то они не равны (данная теорема ложна).
4. Теорема противоположная обратной - Если углы не равны, то они не вертикальные. (Истинная теорема)
DOA = 70°. Дано в задаче.
BOC = DOA = 70°. Вертикальные углы равны (1).
DOC = 180° - 70° - 110°. Смежные углы в сумме дают 180° (2).
AOB = DOC = 110°. (1).
ODC = (180° - 110°) / 2 = 35°. Сумма углов треугольника равна 180° (3). Если треугольник равнобедренный, то углы при его основаниях равны (4).
ADO = 90° - 35° = 55°. Два угла составляют прямой угол (5).
OAD = ADO = 55°. (4).
OAB = 90° - 55° = 35°. (5).
OBA = OAB = 35°. (4).
OBC = 90° - 35° = 55°. (5).
OCB = OBC = 55°. (4).
Все остальные углы состоят из других и их можно посчитать по сумме. Например:
DAB = DAO + BAO = 55° + 35° = 90°.