Không mất tính tổng quát giả sử $a > b$
$a, b \not= 2 \rightarrow \dfrac{a + b}{2} \in N*$
$a > b \rightarrow a > \dfrac{a + b}{2} > b$
Số tự nhiên $\dfrac{a + b}{2}$ bị "kẹp" giữa hai số nguyên tố a và b nên là hợp số.
Không mất tính tổng quát giả sử $a > b$
$a, b \not= 2 \rightarrow \dfrac{a + b}{2} \in N*$
$a > b \rightarrow a > \dfrac{a + b}{2} > b$
Số tự nhiên $\dfrac{a + b}{2}$ bị "kẹp" giữa hai số nguyên tố a và b nên là hợp số.
Trước hết ta có $a>b$
\Leftrightarrow $\dfrac{a}{2}>\dfrac{b}{2}$
Cộng hai vế của bất đẳng thức cho $\dfrac{b}{2}$
\Leftrightarrow $\dfrac{a+b}{2}>\dfrac{2b}{2}=b$