Maths Olympiad Prep

Library / /309 of 520

Combinatorics Difficulty 5.4 AIME, harder Find the answer

One, (40 points) Given a set A={a1,a2,,an}A=\left\{a_{1}, a_{2}, \cdots, a_{n}\right\} of nn positive integers that satisfies: for any two different subsets of set AA, the sums of their respective elements are not equal. Find the minimum value of i=1nai\sum_{i=1}^{n} \sqrt{a_{i}}.

A number or a short expression. Spacing and $ signs are ignored.

Solution

Let's assume 1a1<a2<<an1 \leqslant a_{1}<a_{2}<\cdots<a_{n}. First, we prove that for any i(1in)i(1 \leqslant i \leqslant n), it must hold that
j=1iaj2i1 \sum_{j=1}^{i} a_{j} \geqslant 2^{i}-1 \text {. }

Since the 2i12^{i}-1 non-empty subsets of {a1,a2,,ai}\left\{a_{1}, a_{2}, \cdots, a_{i}\right\} have distinct sums, and these sums are all positive integers not exceeding j=1iaj\sum_{j=1}^{i} a_{j}, we have
j=1iaj2i1. \sum_{j=1}^{i} a_{j} \geqslant 2^{i}-1 .

Let Ai=j=1iaj(2i1)A_{i}=\sum_{j=1}^{i} a_{j}-\left(2^{i}-1\right). Then
Ai0 and AiAi1=ai2i1(1in) A_{i} \geqslant 0 \text { and } A_{i}-A_{i-1}=a_{i}-2^{i-1}(1 \leqslant i \leqslant n) \text {. }

Let A0=0A_{0}=0. Then
i=1naii=1n2i1=i=1n(ai2i1)=i=1nai2i1ai+2i1=i=1nAiAi1ai+2i1=i=1n1Ai(1ai+2i11ai+1+2i)+Anan+2n10i=1naii=1n2i1=(2+1)(2n1). \begin{array}{l} \sum_{i=1}^{n} \sqrt{a_{i}}-\sum_{i=1}^{n} \sqrt{2^{i-1}}=\sum_{i=1}^{n}\left(\sqrt{a_{i}}-\sqrt{2^{i-1}}\right) \\ =\sum_{i=1}^{n} \frac{a_{i}-2^{i-1}}{\sqrt{a_{i}}+\sqrt{2^{i-1}}}=\sum_{i=1}^{n} \frac{A_{i}-A_{i-1}}{\sqrt{a_{i}}+\sqrt{2^{i-1}}} \\ =\sum_{i=1}^{n-1} A_{i}\left(\frac{1}{\sqrt{a_{i}}+\sqrt{2^{i-1}}}-\frac{1}{\sqrt{a_{i+1}}+\sqrt{2^{i}}}\right)+ \\ \frac{A_{n}}{\sqrt{a_{n}}+\sqrt{2^{n-1}}} \\ \geqslant 0 \\ \Rightarrow \sum_{i=1}^{n} \sqrt{a_{i}} \geqslant \sum_{i=1}^{n} \sqrt{2^{i-1}} \\ \quad=(\sqrt{2}+1)\left(\sqrt{2^{n}}-1\right) . \end{array}
 When A={a1,a2,,an}={1,2,,2n1} \text { When } A=\left\{a_{1}, a_{2}, \cdots, a_{n}\right\}=\left\{1,2, \cdots, 2^{n-1}\right\}

the equality holds.
Thus, the minimum value of i=1nai\sum_{i=1}^{n} \sqrt{a_{i}} is (2+1)(2n1)(\sqrt{2}+1)\left(\sqrt{2^{n}}-1\right).

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.