Tam giác ABC vuông tại A: C^=90°−B^=90°−30°=60°

Gọi M là trung điểm của BC.

Tam giác ABC vuông tại A có AM là đường trung tuyến.

Suy ra AM=MB=MC=12BC

Do đó tam giác AMC cân tại M.

Mà ACM^=60°

Do đó tam giác AMC đều.

Vì vậy AC = MC.

Mà MC=12BC (chứng minh trên).

Vậy AC=12BC