Trên tia đối của tia AC lấy điểm D sao cho AC = AD
Xét ΔBAD và ΔCAB , có :
AB là cạnh chung
AC = AD
BACˆ=BADˆ=900
=> ΔBAD=ΔBAC(c.g.c)
=> {BC=BDABDˆ=ABCˆ
+) BC = BD => ΔBCD caan taij B
Ta cos : DBA+ˆABCˆ=DBCˆ
hay 300 + 300 = DBC
=> DBCˆ=600
mà ΔBCD cân tại B => ΔBCD là tam giác đều
=> DC = BC
Mà AC = 12DC⇒AC=12BC
Vậy nếu tam giác vuông có 1 góc bằng 30 độ thì cạnh đối diện với góc ấy bằng nửa cạnh huyền
cho mình hỏi định lí đó lớp mấy học vậy