Доказательство перпендикулярности прямых CD и EF для двух пересекающихся окружностей через серединный перпендикуляр — реальная задача ФИПИ 2026.