The problem is as shown. I tried using gradient and Hessian but can not make any conclusions from them. Any ideas?
$$\max x_1^{a_1}x_2^{a_2}\cdots x_n^{a_n}$$
subject to
$$\sum_{i=1}^nx_i=1,\quad x_i\geq 0,\quad i=1,2,\ldots,n,$$
where $a_i$ are given positive scalars. Find a global maximum and show that it is unique.
Calling $f = \prod_{k=1}^n x_k^{\alpha_k}$ we have the Lagrangian
$$ L(x,\mu) = f - \mu\left(\sum_{k=1}^n x_k-1\right) $$
then the stationary points are determined by
$$ \alpha_k \frac{f}{x_k}-\mu = 0,\ \ \ k = 1,\cdots, n\\ \sum_{k=1}^n x_k-1=0 $$
or making $\lambda = \frac{\mu}{f}$
$$ \frac{\alpha_k}{x_k}-\lambda = 0\\ \sum_{k=1}^n x_k-1=0 $$
$\lambda$'s value is obtained substituting $x_k = \frac{\alpha_k}{\lambda}$ so
$$ \sum_{k=1}^n \alpha_k-\lambda=0 $$
and also $x_k = \frac{\alpha_k}{\sum_{k=1}^n \alpha_k}$
etc.