Chứng minh: Ta có: ^C= 30° => ^B= 60° Trên cạnh BC lấy điểm M sao cho AB = BM. => ∆ABM cân tại B mà ^B= 60° =>∆ABM đều => AB= BM= AM (1) và ^BAM= ^B= ^BMA= 60° ∆ABC vuông tại A => ^B + ^C = 90° => 60° + ^C = 90° => ^C = 30° (2) Ta lại có : ^BAM + ^MAC = ^BAC => 60° + ^MAC = 90° => ^MAC = 30° (3) Từ (1) và (2): => ^MAC = ^C ( = 30°) => ∆AMC cân tại M => AM = MC (4) Từ (1) và (4): => AB = BM =mc => 2AB = BM + MC => 2AB = BC => AB = BC/2 (đpcm)