Da ABM2 und ACM1 die gleichen Winkel haben. (vgl. meine Zeichnungen im Kommentar), muss gelten
x /(y+r) = y /(x+r) = cos (alpha) wobei x,y und r>0.
Gleichung stimmt auf jeden Fall für x = y. Weitere Möglichkeiten?
x(x+r) = y(y+r)
x^2 + xr = y^2 + yr
y^2 + yr - (x^2 +xr) = 0
y_(1,2) = 1/2 ( -r ± √( r^2 + 4(x^2 + xr))
= 1/2 (-r ± √(r^2 + 4xr + (2x)^2)
= 1/2 (-r ± √(r + 2x)^2)
= 1/2 (-r ± (r+2x))
y_(1) =1/2 * 2x = x
y_(1) = 1/2 *(-2r - 2x) = -r-x neg. geometrisch nicht möglich.
Nun weisst du also schon mal, dass x = y.
Hast du inzwischen schon erfahren, wie man z.B. x=r noch zeigen könnte?
Oder kennst du einen eleganteren Weg?