Обозначим точки пересечения маленьких окружностей В и К, пусть радиус АВ равен R.
Окружности пересекаются в точке К, ВК — биссектрисса, делит угол АВС на два по 45 градусов. Точка К должна приходится на вершину окружности, построенной на стороне ВС. Но строгое доказательство пишу ниже, можете не писать текст между линиями, если не нужно