• 1. (2017·深圳模拟)

  四边形ABCD的对角线交于点E，有AE=EC，BE=ED，以AB为直径的圆O过点E．

  （Ⅰ）求证：四边形ABCD是菱形．

  （Ⅱ）若CD的延长线与圆相切于点F，已知直径AB=4．求阴影部分的面积.