Задано рекуррентное отношение для нахождение числа инверсий:

,
полученное следующими рассуждениями:
Возьмем множество
![$\mathbb{N}[1,n]$ $\mathbb{N}[1,n]$](https://dxdy-03.korotkov.co.uk/f/e/a/f/eaf45fdc16171f31e47270f282e15fdd82.png)
,
отображение 1 под определенной инверсией будет равным

;
Фиксируем

;
Возможны два случая:
1)

;
2)

.
Для первого случая: 
определяет инверсию на множестве
![$\mathbb{N}[1,n]\setminus\{1,k_1\}$ $\mathbb{N}[1,n]\setminus\{1,k_1\}$](https://dxdy-02.korotkov.co.uk/f/5/d/0/5d09c4d031e34730bcbe34ef911d0f6782.png)
.
число подобных инверсий будет равным

.
Для второго случая: ![$\exists k_0 \in \mathbb{N}[1,n]\setminus\{1,k_1\}: f(k_0)=1$ $\exists k_0 \in \mathbb{N}[1,n]\setminus\{1,k_1\}: f(k_0)=1$](https://dxdy-01.korotkov.co.uk/f/c/5/d/c5df1b23e7043b96f8f3e7482733067c82.png)
;
определим новую пермутацию (биективное отображение) g на
![$\mathbb{N}[2,n]$ $\mathbb{N}[2,n]$](https://dxdy-04.korotkov.co.uk/f/7/a/2/7a21ecf0cee08a975cf8ba8a897ccadf82.png)
:

;

.
g также является инверсией, но теперь на множестве
![$\mathbb{N}[2,n]$ $\mathbb{N}[2,n]$](https://dxdy-04.korotkov.co.uk/f/7/a/2/7a21ecf0cee08a975cf8ba8a897ccadf82.png)
, число подобных инверсий будет равным

.
Из обоих случаев следует, что число инверсий для которых справедливо

, где

элемент из
![$\mathbb{N}[2,n]$ $\mathbb{N}[2,n]$](https://dxdy-04.korotkov.co.uk/f/7/a/2/7a21ecf0cee08a975cf8ba8a897ccadf82.png)
будет равным

.
Так как

может быть выбранно

способами, то получаем:

.
Вопрос: почему во втором случае исключается повторение первого? Что я упускаю?
i |
Заголовок темы обновлён. Старый заголовок: "число инверсий в перестановке - рекуррентное отношение". // maxal |