Dễ thấy: sin450=22
Ta cần chứng minh CD=a+b2ab
Thật vậy, vẽ DI vuông góc với BC.
Ta có: Tam giác DCI vuông cân tại I. ⇒CD=2DI
Áp dụng định lý Ta-lét cho tam giác ABC có DI // AC, ta có: ACDI=BABD=BD+ADBD
Lại có: CD là phân giác của tam giác ABC. ⇒ADBD=CABC=ba⇒BABD=a+ba ⇒ACDI=a+ba⇒DI=a+bab⇒CD=a+b2ab