Lấy D thuộc tia đối của tia AC sao cho DA = AC
=> BA là trung tuyến của tam giác BDC đồng thời là đường cao
=> tam giác BDC cân tại B
Hơn nữa, tam giác ABC vuông tại A , góc B = 30o
=> gócC = 60o mà tam giác BDC cân tại B
=> tam giác BDC đều
=> DC =BC =a
=> AC= DC/2 = a/2