（绵阳）如图，O是△ABC的内心，BO的延长线和△ABC的外接圆相交于点D，连接DC，DA，OA，OC，四边形OADC为平行四边形．
（1）求证：△BOC≌△CDA；
（2）若AB=2，求阴影部分的面积．