[Thgx0312555]

Combi สักข้อ
ให้ $a_1,a_2,...,a_m$ เป็นสมาชิกที่แตกต่างกันของ $\left\{ 1,2,...,n \right\}$ ซึ่งมีคุณสมบัติคือ
สำหรับ $1\le i,j \le m$ ถ้า $a_i+a_j \le n$ จะมี $1 \le k \le m$ ซึ่ง $a_k=a_i+a_j$

จงพิสูจน์ว่า
$\dfrac{a_1+a_2+\cdots +a_m}{m} \ge \dfrac{n+1}{2}$