
ta có
tan55=tan(45+10)=1−tan1+tan10=1−tan18π1+tan18π
xét hàm số
f(x)=1−x1+x.f′x=(1−x)22
nhớ TXĐ D là R \ {1}
lập bảng xét dấu
thấy f (x) đb các khoảng xác đinh ( âm vô cùng đến 1) ; (1 đến dương vô cùng )
ta có
tan55=f(tan18π)(1)
lại có
tan18π>18π>3/18=1/6
lại có
tan18π<tan4π=1
vậy
1/6<tan18π<1
⇒f(tan18π)>f(1/6)=1−1/61+1/6=1,4
suy ra đpcm