进阶15 分钟未开始

完全平方数的性质

核心概念

完全平方数:能写成某整数平方的数,如 0,1,4,9,16,25,0,1,4,9,16,25,\dots。它们有一系列"过滤性质",常用来快速排除不可能。

  • 末位数字只能是 0,1,4,5,6,90,1,4,5,6,9(绝不会是 2,3,7,82,3,7,8);
  • 44:平方数 0\equiv 01(mod4)1 \pmod 4(绝不为 2,32,3);
  • 33:平方数 0\equiv 01(mod3)1 \pmod 3(绝不为 22);
  • 约数个数为奇数     \iff 该数是完全平方数(因为约数成对出现,只有平方根自己落单);
  • 相邻平方数之间没有别的平方数:n2<m<(n+1)2n^2 < m < (n+1)^2mm 不是平方数。

直观理解 · 动手试试

完全平方数的这些性质,本质都来自"平方在某个模下取值很有限"。把整数按模 44(或模 33、看末位)分类,平方之后的余数只落在很小的集合里,于是任何落在集合外的数立刻被判定"不可能是平方数"。

这是数论证明里极常见的"取模排除法":要证某方程无解,常把它放到模 44 或模 33 下,利用平方数的受限余数导出矛盾。而"约数个数为奇数 ⟺ 完全平方数"则是另一把利器——约数天生成对(ddn/dn/d),唯有平方数的 n\sqrt n 自己配自己,才使总数变为奇数。

完全平方数

平方数的末位数字只能取哪些值?

0
1
2
3
4
5
6
7
8
9
平方数的末位数字只能是 0, 1, 4, 5, 6, 9; 其余(红色划掉)绝不可能 → 可用来快速排除非平方数。

把整数按这个模分类再平方,余数只落在很小的集合里。落在集合外的数立刻被判定不是完全平方数。

例题 1末位排除

判断 43234\,32\,3(即 43234323)是否可能是完全平方数。

查看解答步骤

答: 不是平方数

例题 2模 4 排除

说明 x23(mod4)x^2 \equiv 3 \pmod 4 无解,从而某些方程可被排除。

查看解答步骤

答: 无整数解

即时练习

存在一个完全平方数,它的末位数字是 77

平方数末位只能是 0,1,4,5,6,90,1,4,5,6,9,不可能是 77

完全平方数除以 44 的余数只能是?

001100221133任意

偶数的平方 0\equiv0,奇数的平方 1(mod4)\equiv1\pmod4

    一个正整数的正约数个数为奇数,当且仅当它是完全平方数。

    约数成对出现,只有平方数的平方根自己配自己,使个数为奇。

    下列哪个数不可能是完全平方数?

    12345671234567(末位 7)1024102436003600441441

    末位为 77 的数不可能是平方数;1024=3221024=32^2,3600=6023600=60^2,441=212441=21^2

      3636 有多少个正约数?(借此判断它是不是完全平方数)

      36=223236=2^2\cdot3^2,约数个数 (2+1)(2+1)=9(2+1)(2+1)=9,为奇数,故 36=6236=6^2 是完全平方数。

      易错点

      • 只看末位就下"是平方数"的结论。 末位合格只是必要条件,不能据此断定一定是平方数;但末位不合格可立即否定。
      • 平方数模 4 余 2 或 3。 平方数模 44 只会是 0011
      • 忘了 00 和完全平方的边界。 0=020=0^2 也是完全平方数;判断时注意题目范围。

      下一步

      前置知识点
      接下来学习