Bon,
1)
*On a:
S2(A) = B
S1(B) = C
Donc: S1oS2(A) = C
*On a:
O est l'intersection des médiatrices, donc OA = OC.
OCA est un triangle isocele, donc ^OCA = ^OAC = Alpha/2, donc ^AOC = -(Pi - Alpha).
Alors:
S1oS2 = r
2)
*On a:
S2(F) = P tel que P E (AB) et FB = AP
S1(P) = E ( AE = AP et (d) passe par A)
Donc: r(F) = S1oS2(F) = E
*On peut en déduire que la médiatrice de [FE] passe toujours par O, vu que r(F) = E.
Amicalement