一个正整数 n 是斐波那契数当且仅当 5×n²+4 或 5×n²−4 至少一个是完全平方数；需两者都检查，注意 n=0 的负值处理及浮点开方精度问题。
用数学性质快速判断：检查 5×n²±4 是否为完全平方数
判断一个正整数 n 是否为斐波那契数，最高效的方法不是生成序列再查找，而是利用一个经典数学结论：一个正整数 n 是斐波那契数，当且仅当 5 * n * n + 4 或 5 * n * n - 4 中至少一个是完全平方数。
这个性质来自比内公式（Binet’s formula）的逆向推导，时间复杂度是 O(1)，远优于遍历或递归生成。
实操注意点：
- 必须对两个值都检查：
5 * n * n + 4和5 * n * n - 4，只查一个会漏判（比如n = 1时，5*1+4=9是平方数，但5*1-4=1也是——但n = 2时只有+4成立） - 计算前要确保
n是非负整数；n = 0是合法斐波那契数（F₀ = 0），此时5*0-4 = -4为负，跳过平方判断即可 - 用
sqrt求整数平方根时，推荐用llround(sqrt(x))再平方验证，避免浮点误差（尤其在大数时sqrt(25)可能返回4.9999999）
手写 is_perfect_square 函数避坑
C++ 标准库没有直接的 is_perfect_square，自己实现时容易在边界和类型上出错。
推荐写法（支持 long long 输入）：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
bool is_perfect_square(long long x) {
if (x <p>关键细节：</p>
- 输入类型用
long long，防止n较大时5*n*n溢出int - 必须先判断
x ，否则 <code>sqrt传负数会返回NaN，后续比较失效 - 不用
(long long)sqrt(x)强转——截断误差比四舍五入更危险；llround在<cmath></cmath>中，需 C++11+ - 最后一定要用
r * r == x验证，不能只信sqrt返回值
完整判断函数与典型错误示例
组合起来就是一个健壮的 is_fibonacci：
bool is_fibonacci(long long n) {
if (n <p>常见误判场景：</p>
-
is_fibonacci(4)→ 返回false（正确，4 不在斐波那契序列中） -
is_fibonacci(1)→ 返回true（正确，F₁ = F₂ = 1） - 若忘记
LL后缀，5 * n * n在n > 46340时对int溢出，结果未定义 - 若没处理
n = 0，t2 = -4传入is_perfect_square会直接返回false，但逻辑上没问题；不过显式处理更清晰
什么情况下不该用这个方法？
这个数学判据在绝大多数场景下足够好，但有两处实际限制：
- 当需要同时返回该数在斐波那契序列中的索引（比如“13 是第 7 个斐波那契数”）时，此法无法提供位置信息，得回退到迭代生成并计数
- 对超大整数（如几百位），
double的精度不足以支撑sqrt正确工作，此时需用高精度开方或改用矩阵/二分搜索法 - 如果只是批量判断少量小整数（比如
n ），预生成一张 <code>set<long long></long>查表反而更简单、不易出错
真正容易被忽略的是溢出控制和浮点验证——这两个点不加防护，函数在看似正常的数据上就会静默返回错误结果。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
