1. (2016·深圳模拟) 如图，点O为Rt△ABC斜边AB上一点，以OA为半径的⊙O与BC切于点D，与AC交于点E，连接AD．

1. （1） 求证：AD平分∠BAC；
3. （2） 若∠BAC=60°，OA=2，求阴影部分的面积（结果保留π）．