证明与示例, 反证法
反证法（归谬法）是一种间接证明技术。它假设待证明陈述的否定为真，然后从此假设推导出逻辑矛盾，从而确定原始陈述的真实性。问题需要应用此方法。
-
说谎者圆圈 - 真相的陈述
在一个圆圈里坐着n个人，每个人要么是说谎者，要么是诚实的人。
这些人看着圆圈的中心。说谎者总是说谎，而诚实的人总是说实话。
每个人都清楚地知道谁是说谎者，谁是诚实的人。
每个人都说坐在他左边两位的人（也就是坐在他旁边的人的旁边的人）是诚实的人。
已知圆圈里至少有一个说谎者，且至少有一个诚实的人。
A. 是否可能 2017 = n？
B. 是否可能 5778 = n？
（答案格式：“词，词”，例如“猫，小狗”）
来源： -
圆的切线
已知两个三角形 ACE, BDF
相交于 6 个点: G,H,I,J,K,L
如图所示。已知每个四边形
EFGI ,DELH ,CDKG ,BCJL ,ABIK 都有一个内切圆。
FAHJ 四边形是否也可能有一个内切圆？
来源： -
分解和公式的应用
一个有趣的公式是 `x^n-1=(x-1)(x^{n-1}+x^{n-2}+...+x+1)`。
a: 利用此公式分解表达式 `a^n-b^n`。
b: 当 n 为任意奇数时，分解表达式 `a^n+b^n`。
c: 证明如果 `2^n-1` 是素数，那么 n 也是素数。
d: 证明如果 `2^n+1` 是素数，那么 n 必然是 2 的幂，这等价于 `n=2^m`
来源： -
有限除法
找出所有满足 `x^2+y^2=3z^2+3w^2 ` 的整数 x, y, z, w.
来源： -
平面上的集合
A. 是否存在一个平面上的集合 A，使得它与每个圆的交集恰好包含两个点？
B. 是否存在一个平面上的集合 B，使得它与每个半径为 1 的圆的交集恰好包含两个点？
来源： -
六边形平铺
给出两种类型的瓷砖。第一种类型的每个瓷砖的形状是边长为 1 的正六边形。第二种类型的每个瓷砖的形状是边长为 2 的正六边形。假设每种类型的瓷砖都有无限的供应。是否可以用这些瓷砖平铺整个平面，同时使用两种类型的瓷砖？
来源： -
三角形的边长
设 `n > 2` 为整数，且 ` t_1,t_2,...,t_n` 为正实数，满足
`(t_1+t_2+...+t_n)(1/t_1 + 1/t_2 + ... + 1/t_n) < n^2+1`
证明对于所有 i,j,k 满足 `1<=i<j<k<=n`，数集 `t_i,t_j,t_k` 均为某个三角形的边长。
来源：