构造性证明

1. 周期

$\sin\sqrt x$ 不是周期函数

周期函数的任何点都是周期性出现的。
对于 $\sin \sqrt x$ 来说，0 是一个特殊的位置，$\sin \sqrt x$ 为 0 时，$\sqrt x=k\pi ⇒ x=k^2\pi^2$，显然 $k^2\pi^2$ 不是周期性出现的；

2. 质数无穷性

质数无穷多个的证明（构造性证明）

今反设只有 $n$（有限个）素数：$P_1,P_2,\ldots,P_n$，构造 $P=P_1\cdot P_2\cdot \cdots \cdot P_n+1$，如果 $P$ 是质数，那么 $P$ 显然不在 $P_1,P_2,\ldots,P_n$ 之中，因为它比任何一个都大；

如果 $P$ 是合数，则其必存在一个质因子 $r$。因为若设 $r=P_i$，则 $\frac Pr=\frac P{P_i}$ 必有余数 1，这样 $r$ 就不是 $P$ 的因子了，也即当 $P$ 为合数时，必存在新的质因子。

3. 实数轴上无理数

比如 $\sqrt 2$ 在实数轴上的表示：