У нас есть этоТ (ж (т1) ⋯ ф(тН) ) = Т ( ж (то( 1 )) ⋯ ф(то( Н)) )
для каждой перестановкио
. Мы также знаем, что если у нас есть некоторая функцияФ(т1, . . . ,тН)
, затем
∫тт0гт1⋯∫тт0гтН Ф(то( 1 ), . . . ,то( Н)) =∑о∫тт0гт1∫т1т0гт2⋯∫тН− 1т0гтНФ(то( 1 ), . . . ,то( Н))
Таким образом, мы имеем
∫тт0гт1⋯∫тт0гтН Т (ж (т1) ⋯ ф(тН) )"=""=""=""="∑о∫тт0гт1∫т1т0гт2⋯∫тН− 1т0гтН Т (ж(то( 1 )) ⋯ ф(то( Н)) )∑о∫тт0гт1∫т1т0гт2⋯∫тН− 1т0гтН Т (ж(т1) ⋯ ф(тН) )∑о∫тт0гт1∫т1т0гт2⋯∫тН− 1т0гтН ф(т1) ⋯ ф(тН)Н!∫тт0гт1∫т1т0гт2⋯∫тН− 1т0гтН ф(т1) ⋯ ф(тН)
откуда сразу следует тождество.
Джахан Клас
обмен