请问:定积分X取值为零到正无穷大,已经求得积分原函数为 K倍的arctanX+C=1 ,现要算出K等于多少?