三角形的证明题

三角形ABC是直角三角形,D、E两点将斜边三等分点,∠DCE=α,
证明 tanα=3ab/(2c2)
证法1:如图α=90°-β-γ

tanβ=(a/3)/(2b/3)=a/(2b)
tanγ=(b/3)/(2a/3)=b/(2a)
tanα=tan(90°-β-γ)
=cot(β+γ)
这里要用到一个三角函数公式:

所以tanα=tan(90°-β-γ)
=cot(β+γ)
=(1-tanβtanγ)/(tanβ+tanγ)
=[1-(b/2a)(a/2b) ]/(b/2a+a/2b)
=(3/4)x2(