本文使用斐波那契数列的性质证明了一个美妙的结论。而这个结论有一个熟知的特例:
对于
其中
有当n是偶数时,则
熟知
所以
介绍一个重要性质:对于斐波那契数列的第n项到n+3项,有
————————————————
命题
证明:
也就是说,
当n是偶数,
当n是奇数,
于是命题
得证
回到原命题,
,得到
因为
所以
由于反正切函数的值域是
,并且当且仅当x为正实数时函数值大于零
这样就得到了
也就是