Пусть ad = a1d1 — равные биссектрисы, ∠a = ∠a1, ac = a1c1 — равные стороны. в δаdс = δa1d1c1: ∠dac = ∠d1a1c1 (т.к. ∠dac половина угла ∠bac ∠dac = ∠bac : 2 = ∠b1a1c1 : 2 = ∠d1a1c1). ad = a1d1, ас = а1с1. (по условию: ad = a1d1 — равные биссектрисы, aс = a1c1 — равные прилежащие стороны). таким образом, δadc = δа1d1c1 по 1-му признаку равенства треугольников, откуда ∠с = ∠с1 как лежащие против равных сторон в равных треугольниках) в δabcи δа1в1с1: ас = а1с1, ∠а = ∠а1 (по условию) ∠с = ∠с1. таким образом, δabc = δа1в1с1 по 1-му признаку равенства треугольников, что и требовалось доказать.
Окружность, уравнение которой x^2+y^2 = 4 - это окружность с центром в начале координат радиусом 2., поскольку уравнение окружности таково: (x - a)^2 + (y - b)^2 = R^2 с центром в точке O(a;b) Радиуса R. Из условия имеем: (x - 0)^2 + (y - 0)^2 = 2^2. Далее, Из условия AB = BM. Рассмотрим это со следующего ракурса: AB = BM - радиусы некоторой окружности. На рисунке как бы мы не проводили хорду АВ, АВ будет равна ВМ и точка М будет лежать на той самой окружности. И хорда АМ большой окружности будет делится надвое радиусом в точке меньшей окружности (B, B1, B2 ... Bn). Получается, множество точек М - это некая окружность с центром B(2;0) радиусом 4. И уравнение такой окружности будет иметь вид: (x-2)^2 + y^2 = 16.