Ben non, il manque pas une donnée.
Si on appelle r le rayon du cercle bleu, a la distance entre le centre du cercle bleu et la droite rouge, et alpha l'angle formé par la perpendiculaire à la droite rouge qui passe par le centre du cercle bleu d'une part, et la droite passant par le centre du cercle bleu et le point d'intersection entre la droite rouge et le cercle bleu d'autre part, on a:
cos(alpha) = a/r
tan(alpha) = 2/a
Or, si x = cos(alpha), tan(alpha) = racine(1-x^2)/x.
r2-a2 = 4
Ici, ca donne, après simplifications, a^2 = r^2 -4
Comme le rayon du grand cercle vert vaut (r+a)/2 et celui du petit cercle vert (r-a)/2, la somme de leur aires fait Pi * (a2+r2)/2, donc Pi*r^2-2*Pi
L'aire du grand cercle bleu étant Pi*r^2, la différence nous donne 2Pi.