两个数的最小公因数小于大数的一半

数学语言：$gcd(a,b) \geq \cfrac{2}{max(a,b)}$

证明

设$a \lt b$，$gcd(a,b)=n$，$a=k_1n$，$b=k_2n$，其中$\{k_1,k_2\} \in N_+$。

假设$gcd(a,b) \gt \cfrac{2}{max(a,b)}$。

$\because a \lt b$

$\therefore k_1 \lt k_2$

$\because n \lt \cfrac a2$

$\therefore a \lt \cfrac{k_1a}{2}$，$b \lt \cfrac{k_2a}{2}$

$\therefore k_1 \gt 2$

$\because k_2 \lt k_1$，$k_2 \in N_+$

$\therefore k_2 = 1$，此时$a=b$，与假设矛盾。

$\therefore gcd(a,b) \geq \cfrac{2}{max(a,b)}$

版权声明：本文是原创文章，版权归 星雾月雨 所有。

本文链接：https://www.ariels.xyz/archives/242.html

本站所有下方标记为「允许规范转载」的原创文章均采用 署名-非商业性使用-禁止演绎 4.0 国际许可协议 进行许可。
您可以自由地转载，但请务必注明文章来源且不可用于商业目的。