|
|
*) Tìm Max:
Ta có: $Y=\{2x_i;x_i\in X\}\cup\{x_i+x_j;x_i;x_j\in X,i\ne j\}$
Dễ thấy: $C(X)=|Y|\le n+C_n^2=\frac{n(n+1)}{2}$
Ta chứng minh tồn tại tập $X$ sao cho $C(X)=\frac{n(n+1)}{2}$
Thật vậy, chọn $X=\{x_i;x_i=n(i^2-1)+i,\forall i=\overline{1,n}\}$.
Giả sử tồn tại $1\le i,j,k,l\le n$ sao cho: $x_i+x_j=x_k+x_l$
$\Leftrightarrow n(i^2+j^2-2)+i+j=n(k^2+l^2-2)+k+l$
Không mất tính tổng quát giả sử: $i+j\ge k+l\Rightarrow \left[ \begin{array}{l} i+j=k+l+n\\ i+j=k+l \end{array} \right.$
Nếu $i+j=k+l+n\Rightarrow i^2+j^2=k^2+l^2-1$
Mà ta có: $2(i^2+j^2)\ge(i+j)^2\Rightarrow 2(k^2+l^2-1)\ge(k+l+n)^2$
$\Rightarrow (k-l)^2-2\ge n^2+2n(k+l)$, vô lý
Nếu $i+j=k+l\Rightarrow i^2+j^2=k^2+l^2\Rightarrow ij=kl\Rightarrow \{i;j\}=\{k;l\}$, vô lý
Suy ra: $x_i+x_j\ne x_k+x_l,\forall 1\le i,j,k,l\le n$.
Vậy Max$C(X)=\frac{n(n+1)}{2}$
|