明显 A、B、C、D 四点共圆,
由 CB=CD 得 ∠CAB=∠CAD=60º,
过 C 作 CE⊥AB 于 E,CF⊥AD 于 F,
则 CE=CF=ACsin60º=4√3,
所以四边形 ABCD 的面积为
S=SCAB+SCAD
=1/2*AB*CE+1/2*AD*CF
=2√3*(AB+AD),
下面证明 AB+AD=AC=8,因此所求面积=16√3。
连接 BD,在 AC 上取 G 使 CG=AD,连接 BG,
易知△CGB≌△DAB,所以 GB=AB,
而 ∠GAB=60º,因此 GAB 是等边三角形,
所以 AG=AB,
进而可得 AB+AD=AG+GC=AC。