Треугольники АВ1В и АА1В прямоугольные с общей гипотенузой АВ, значит оба они вписаны в одну окружность с диаметром АВ.
Точка О - центр окружности. АО=ВО=АВ/2=4/2=2.
В тр-ке АА1В1 ОА1=ОВ1=R=2.
По теореме косинусов cos(А1ОВ1)=(ОА1²+ОВ1²-А1В1²)/(2·ОА1·ОВ1)= (2²+2²-(2√3)²)/(2·2·2)=-4/8=-1/2.
∠А1ОВ1=arccos(-1/2)=120°.
Если точка пересечения двух секущих к окружности находится вне окружности, то угол между секущими равен половине разности дуг, которые они высекают. В нашем случае АС и ВС - секущие, значит:
∠АСВ=(∩АВ-∩А1В1)/2=(180°-120°)/2=30° - это ответ.
