1. (2021·宝应模拟) 如图，△ABC中，∠ACB＝90°，∠BAC的平分线交BC于点O，以点O为圆心，OC长为半径作圆.

1. （1） 求证：AB是⊙O的切线；
3. （2） 若∠B＝30°，BC＝12，求阴影部分面积.