棱形数是两个连续非负整数的乘积（如 12 = 3 × 4），本文提供一种简洁、正确的递归实现方案，并对比循环逻辑，阐明尾递归思想与边界处理要点。
棱形数是两个连续非负整数的乘积（如 12 = 3 × 4），本文提供一种简洁、正确的递归实现方案，并对比循环逻辑，阐明尾递归思想与边界处理要点。
判断一个正整数 $ n $ 是否为棱形数，本质是验证是否存在非负整数 $ i $，使得 $ i \times (i+1) = n $。由于 $ i(i+1) $ 随 $ i $ 单调递增，且当 $ i \geq n $ 时乘积必大于 $ n $（$ n \geq 1 $），因此只需在 $ i = 0 $ 到 $ i = n $ 范围内搜索——这为递归提供了天然的终止条件。
下面是一个清晰、可读性强的递归实现（C++）：
bool isPronic(int n, int i = 0) {
// 基础情况：i 超过合理范围（i >= n 时 i*(i+1) > n，无需继续）
if (i >= n) return false;
// 成功情况：找到满足 i * (i+1) == n 的 i
if (i * (i + 1) == n) return true;
// 递归情况：尝试下一个 i
return isPronic(n, i + 1);
}该函数采用尾递归（tail recursion）形式：递归调用是函数中最后一个操作，无后续计算，编译器可优化为等效循环，语义上也直接对应迭代逻辑。注意以下关键点：
- 初始调用建议：isPronic(n)（利用默认参数 i = 0），避免暴露内部状态；
- 终止条件严谨性：使用 i >= n 而非 i == n，因为当 $ n = 0 $ 时，$ 0 \times 1 = 0 $，应返回 true；而 i == n 在 $ n = 0 $ 时会跳过检查。更安全的写法是 i * (i + 1) > n 作为上界，但对整数 $ n \geq 0 $，i >= n 已足够高效且正确（因 $ i(i+1) \geq i^2 $，当 $ i \geq \sqrt{n} + 1 $ 时必超限；此处取 $ i \geq n $ 是保守但简洁的安全上界）；
- 避免全局变量：原问题中使用全局 int i 会导致不可重入、多线程不安全，递归版本通过参数传递状态，完全消除副作用；
- 时间复杂度：最坏 $ O(\sqrt{n}) $（实际只需试到 $ \lfloor \sqrt{n} \rfloor $），空间复杂度 $ O(\sqrt{n}) $（递归栈深度）。
示例用法：
#include <iostream>
int main() {
std::cout << isPronic(0) << "\n"; // 1 (0×1=0)
std::cout << isPronic(2) << "\n"; // 1 (1×2=2)
std::cout << isPronic(12) << "\n"; // 1 (3×4=12)
std::cout << isPronic(14) << "\n"; // 0 (no solution)
}总结：将循环转化为递归，核心在于识别状态变量（此处为 i）、终止条件（i 超界）和递归关系（i → i+1）。只要保持状态显式传递、边界覆盖完备，递归实现不仅正确，而且更具函数式表达力与可验证性。
