证明关于Fibonacci数的恒等式：f²_n-1+f²_n=f_2n。

给定Z⁺上的关系R和S，，满足xRy⇔x整除y，xSy⇔5x≤y，对下下面每个小题，确定哪些有序对属于给定的关系：
（1）关系：R∪S；有序对：〈2，6〉，〈3，17〉，〈2，1〉，〈0，0〉；
（2）关系：R∩S；有序对：〈3，6〉，〈1，2〉，〈2，12〉；
（3）关系：～R（以全域关系为全集）；有序对：〈1，5〉，〈2，8〉，〈3，15〉。

设f_n是Fibonacci数，计算