Xét tam giác BEC vaf ADC có :
B=A( cùng phụ với góc ACB)
E=D=90 độ
=> tam giác BEC ~ tam giác ADC (gg)
=> BE/AD = BC/AC. (1)
Mà ta có sin A = BE/AB 
Sin B = AD/AB
=> Sin A / Sin B = BE/AD. (2)
Từ (1) và (2) => sin A/ Sin B = BC/AC hay BC/Sin a = AC / SIn B 
ta lại có sin B = AD/AB
sin C = AD/Ac => sin B/sin C = AC/Ab.
=> Ac/Sin B = AB/ SIn C