.2.COS SINAB AC2 2 2SUY RA   . .2.COS AD ABAC  AB AC 2AD ABA...

1 . .2.cos sinAB AC2 2 2Suy ra

 

^{. .2.cos} AD AB_AC _ AB AC 2  hay 1 1 2.cos 2AB AC2Do đó 2.cos AB AC ADAB AC AD.Nhận xét: Nếu A90 thì ta chứng minh được 1 1 2AB AC  AD, vẫn phù hợp với kết luận của bài toán.