Dễ thấy: [tex]sin 45^0 =\frac{\sqrt{2}}{2}[/tex]
Ta cần chứng minh [tex]CD=\frac{\sqrt{2}ab}{a+b}[/tex]
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.
[tex]\Rightarrow CD=\sqrt{2}DI[/tex]
Áp dụng định lý Ta-lét cho tam giác ABC có DI // AC, ta có:
[tex]\frac{DI}{AC}=\frac{BD}{BA}=\frac{BD}{BD+AD}[/tex]
Lại có: CD là phân giác của tam giác ABC.
[tex]\Rightarrow \frac{BD}{AD}=\frac{BC}{CA}=\frac{a}{b}\Rightarrow \frac{BD}{BA}=\frac{a}{a+b}[/tex]
[tex]\Rightarrow \frac{DI}{AC}=\frac{a}{a+b}\Rightarrow DI=\frac{ab}{a+b}\Rightarrow CD=\frac{\sqrt{2}ab}{a+b}[/tex]