2019-03-11
求证arctan(1
n=1时左边=arctan(1/3),右边=π/4-arctan(1/2),
tan[π/4-arctan(1/2)]=(1-1/2)/(1+1/2)=1/3,
两边都是锐角,所以等式成立。
假设n=k(k∈Z*)时等式成立,即
arctan(1/3)+arctan(1/7)+arctan(1/13)+。 。。+arctan(1/(k^+k+1))=π/4-arctan[1/(k+1)],
tan[π/4-arctan[1/(k+1)]
=[1-1/(k+1)]/[1+1/(k+1)]
=k/(k+2),
(k+1)^+(k+1)+1=k^+3k+3,
那么tan{π/4-arctan[...全部
n=1时左边=arctan(1/3),右边=π/4-arctan(1/2),
tan[π/4-arctan(1/2)]=(1-1/2)/(1+1/2)=1/3,
两边都是锐角,所以等式成立。
假设n=k(k∈Z*)时等式成立,即
arctan(1/3)+arctan(1/7)+arctan(1/13)+。
。。+arctan(1/(k^+k+1))=π/4-arctan[1/(k+1)],
tan[π/4-arctan[1/(k+1)]
=[1-1/(k+1)]/[1+1/(k+1)]
=k/(k+2),
(k+1)^+(k+1)+1=k^+3k+3,
那么tan{π/4-arctan[1/(k+1)]+arctan[1/[(k+1)^+(k+1)+1]]}
=[k/(k+2)+1/(k^+3k+3)]/[1-k/(k+2)*1/(k^+3k+3)]
=[k(k^+3k+3)+k+2]/[(k+2)(k^+3k+3)-k]
=[k^3+3k^+4k+2]/[k^3+5k^+8k+6],
=(k+1)/(k+3)
=tan[π/4-arctan[1/(k+1+1)],
仿上,π/4-arctan[1/(k+1)]+arctan{1/[(k+1)^+(k+1)+1]}=π/4-arctan[1/(k+2)],
∴arctan(1/3)+arctan(1/7)+arctan(1/13)+。
。。+arctan{1/[(k+1)^+(k+1)+1]}
=π/4-arctan[1/(k+1)]+arctan[1/[(k+1)^+(k+1)+1]]
=π/4-arctan[1/(k+2)],
即n=k+1时等式也成立。
综上,对任意n∈N*,等式都成立。收起