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
=> \(\text{AB = BC/2}\) (đpcm)