点$O_1,O_2$を中心とする円$\omega_1,\omega_2$が異なる$2$点$A,B$で交わっている。これらの共通外接線のうち直線$O_1O_2$に関して$B$と同じ側に接点を持つ物を$l$とし、$\omega_1,\omega_2$との接点を$S_1,S_2$とする。
直線$AB$と$l$の交点を$X$とし、$X$から$\omega_1,\omega_2$に引いた($l$以外の)接線の接点を$T_1,T_2$とすると、$O_1,T_2,S_2$ / $O_2,T_1,S_1$はそれぞれ一直線上にあった。
$\omega_1$の半径が$\sqrt{3}$、$S_1X=\sqrt{2}$のとき、五角形$AO_1S_1S_2O_2$の面積を求めてください。
求める値は正整数$a$及び、互いに素な正整数$b,c$、平方因子を持たない正整数$d$により$a+\dfrac{b\sqrt{d}}{c}$
と表せるので、$a+b+c+d$を半角英数字で入力してください。
この問題を解いた人はこんな問題も解いています