Solution:
The segments OB,OC are equal, as radii of the circle c. Hence OBC is an isosceles triangle and
B^1=C^1=x^

The chord BC is the bisector of the angle OB^A, and hence
B^1=B^2=x^
The angles B^2 and O^1 are inscribed to the same arc OK of the circle c1 and hence
B^2=O^1=x^
The segments KO,KC are equal, as radii of the circle c2. Hence the triangle KOC is isosceles and so
O^2=C^1=x^
From equalities (1),(2),(3) we conclude that
O^1=O^2=x^
and so OK is the bisector, and hence perpendicular bisector of the isosceles triangle OAC. The point K is the middle of the arc OK (since BK bisects the angle OB^A). Hence the perpendicular bisector of the chord AO of the circle c1 is passing through point K. It means that K is the circumcenter of the triangle OAC.
From equalities (1),(2),(3) we conclude that B^2=C^1=x^ and so AB∥OC⇒OA^B=AO^C, that is A^1+A^2=O^1+O^2 and since O^1=O^2=x^, we conclude that
A^1+A^2=2O^1=2x^
The angles A^1 and C^1 are inscribed into the circle c2 and correspond to the same arc OL. Hence
A^1=C^1=x^
From (5) and (6) we have A^1=A^2, i.e. AL is the bisector of the angle BA^O.