f(a)+f(b)=lg[(1-a)/(1+a)]+lg[(1-b)/(1+b)]
=lg[(1-a)*(1-b)/[(1+a)*(1+b)]]
=lg[(1+ab-a-b)/(1+ab+a+b)]
=lg{[(1+ab-a-b)/(1+ab)]/[(1+ab+a+b)/(1+ab)]}
=lg{[1-(a+b)/(1+ab)]/[1+(a+b)/(1+ab)]}
=f[(a+b)/(1+ab)]
f(a)+f(b)=lg[(1-a)/(1+a)]+lg[(1-b)/(1+b)]
=lg[(1-a)*(1-b)/[(1+a)*(1+b)]]
=lg[(1+ab-a-b)/(1+ab+a+b)]
=lg{[(1+ab-a-b)/(1+ab)]/[(1+ab+a+b)/(1+ab)]}
=lg{[1-(a+b)/(1+ab)]/[1+(a+b)/(1+ab)]}
=f[(a+b)/(1+ab)]