tanπ/4=1
tan[(π/4-x)+x]=1
[tan(π/4-x)+tanx]/[1-tan(π/4-x)tanx]=1
tan(π/4-x)+tanx=1-tan(π/4-x)tanx
所以tan(π/4-x)+tanx+tan(π/4-x)tanx=1