Có ^ACB = 30° --> ^ABC = 60° ( do tổng 3 góc trong 1 tam giác = 180°)
Gọi M là trung điểm BC --> MB = MC = BC/2
Trong tam giác vuông thì đường trung tuyến xuất phát từ đỉnh góc vuông = 1/2 cạnh huyền --> AM = 1/2BC = BM
Xét ∆ABM có AM = BM --> ∆ABM cân cại M,lại có ^ABM = 60°
--> ∆ABM là tam giác đều (tam giác cân có 1 góc = 60° thì là tam giác đều)
--> AB = AM = BM = 1/2BC
--> đ.p.c.m