Напртотив угла в 30 градусов лежит катет равный половине гипотенузы.
AB=2х
По теореме Пифагора x^2+(x+1)^2=4^2
раскрываем скобки - получаем квадратное уравнение один из корней отрицательный, значит не подходит другой (1 + корень из 3)/2 => AB-1+корень из 3