Mon Evaristette d'octobre
Bonjour
Ceci n'est pas une Evaristette (du moins pas officiellement).
Soit $n \geq 1$ et $\mathfrak S_n$ le groupe des permutations de $\{1,2, \ldots, n\}$.
Maximiser, pour $\sigma \in \mathfrak S_n$, la somme
\begin{equation}
\displaystyle \sum_{k=1}^n(k-\sigma(k))^2
\end{equation}
...
Ceci n'est pas une Evaristette (du moins pas officiellement).
Soit $n \geq 1$ et $\mathfrak S_n$ le groupe des permutations de $\{1,2, \ldots, n\}$.
Maximiser, pour $\sigma \in \mathfrak S_n$, la somme
\begin{equation}
\displaystyle \sum_{k=1}^n(k-\sigma(k))^2
\end{equation}
...
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Le maximum cherché est donc $\displaystyle\sum_{k=1}^n(k-(n+1-k))^2=\dfrac{n(n-1)(n+1)}{3}$.
On commence par développer $(k-\sigma(k))^2$, ce qui permet de constater au passage que la somme en question est paire quelque soit $\sigma$.
Puisque $\sum_{k=1}^n k^2$ est constante, le problème équivaut en effet à minimiser $\sum_{k=1}^n k\sigma(k)$.
On s'appuie alors sur le lemme suivant: Soient $a_1, a_2, ..., a_n$ des réels quelconques et $S=\sum_{k=1}^nka_k$.
Si $i$ et $j$ sont tels que $1 \leq i < j \leq n$ et $a_i < a_j$, alors la somme $S'$ déduite de $S$ en échangeant $a_i$ et $a_j$ est telle que $S'<S$.
...
...