Hallo Gunnar,
ob irrelevant oder nicht, so sind meine Gedanken nun mal verlaufen. Wenn man deine fette rote Diagonale nicht vor Augen hat, sondern nur die andere, und das rechtwinklige Dreieck, die sie mit x und y bildet, mit dem rechten Winkel am Kreisbogen, dann erschließt sich die Länge von a auf diese Weise.
Rolf