Der rote liefert K und L, der blaue K und M.
Sagen wir: Der rote liefert K und L, der blaue N und M.
Woraus folgt, dass K = N ist?
Oder andersrum: Sei K der obere Schnittpunkt von rotem und blauem Kreis.
Woraus folgt, dass er auf dem Halbkreis liegt?
Drei nichtkollineare Punkte bestimmen einen Kreis.
Woraus folgt, dass der die kleinen Halbkreise berührt?
Das geht auch für nicht symmetrische Arbeloi (https://www.geogebra.org/m/kvmw2hvy).
Spannend...