При симметрии относительно прямой g фигуры F точка A переходит в точку A1, точка B — в точку B1. При этом AO=A1O, BO1=B1O1и прямая g перпендикулярна отрезкам AA1 и BB1.
Проведём отрезки AO1 и A1O1.
Прямоугольные треугольники AOO1 и A1OO1 равны по двум катетам, следовательно, AO1=A1O1 и ∠OAO1=∠OA1O1.
Прямые AA1 и BB1 параллельны по признаку параллельности прямых (как прямые, перпендикулярные одной и той же прямой g).
∠BO1A=∠OAO1 (как внутренние накрест лежащие при AA1 ∥ BB1 и секущей AO1)
Отрезки касательных к окружности, проведенные из одной точки, равны и составляют равные углы с прямой, проходящей через эту точку и центр окружности.(теорема) dа и dс - отрезки касательных, проведенных к большей окружности из точки d. => da=dc. dв и dс - отрезки касательных, проведенных к меньшей окружности из точки d.=> db=dc. два отрезка, равные третьему, равны между собой. => аd=bd ad: bd=1: 1 из чего следует аd: ab=1/2 и т.d середина ав.
Пусть A и B — две произвольные точки фигуры F.
При симметрии относительно прямой g фигуры F точка A переходит в точку A1, точка B — в точку B1. При этом AO=A1O, BO1=B1O1и прямая g перпендикулярна отрезкам AA1 и BB1.
Проведём отрезки AO1 и A1O1.
Прямоугольные треугольники AOO1 и A1OO1 равны по двум катетам, следовательно, AO1=A1O1 и ∠OAO1=∠OA1O1.
Прямые AA1 и BB1 параллельны по признаку параллельности прямых (как прямые, перпендикулярные одной и той же прямой g).
∠BO1A=∠OAO1 (как внутренние накрест лежащие при AA1 ∥ BB1 и секущей AO1)