检查 N 是否为 Icositrigonal 数的程序

本程序用于检查一个正整数是否为 Icositrigonal 数，如果是则返回 True，否则返回 False。

什么是 Icositrigonal 数？

在数学中，Icositrigonal 数是指一个具有 23 个面的多面体，每个面都是等边等角三角形，其中第 n 个 Icositrigonal 数是由公式 P(n) = (2n^2 - n) * (23n - 5) / 6 计算得出的正整数。换句话说，Icositrigonal 数是一个形如 1，24，76，163，289，448，644，881，1165，1492，1868，2299，2789，3344，3969，4670，5453，6324，7289，8352，9521，10704，12009，13444，15017，16736，18609 的数列。

程序实现

本程序使用 Python 3 实现。以下是程序代码：

def is_icositrigonal(n):
    """
    检查一个正整数是否为 Icositrigonal 数
    
    参数：
    n -- 待检查的正整数
    
    返回值：
    如果 n 是 Icositrigonal 数则返回 True，否则返回 False
    """
    if n == 1:
        # 特判 1
        return True
    
    # 计算比 n 小的最大 Icositrigonal 数 x
    x = 1
    while (2*x**2 - x) * (23*x - 5) // 6 < n:
        x += 1
    
    # 判断 n 是否等于 x 对应的 Icositrigonal 数
    return (2*x**2 - x) * (23*x - 5) // 6 == n

程序测试

以下是对程序的简单测试：

assert is_icositrigonal(1) == True
assert is_icositrigonal(24) == True
assert is_icositrigonal(163) == True
assert is_icositrigonal(449) == False
assert is_icositrigonal(645) == False
assert is_icositrigonal(882) == True
assert is_icositrigonal(18609) == True

总结

本程序可以帮助计算机程序员检查一个正整数是否为 Icositrigonal 数。