WikiDer > Идентичность отшельников - Википедия

В математика, Личность Эрмита, названный в честь Чарльз Эрмит, дает значение суммирование с участием функция пола. В нем говорится, что для каждого настоящий номер Икс и за каждый позитив целое число п следующее личность держит:^[1][2]

${ displaystyle sum _ {k = 0} ^ {n-1} left lfloor x + { frac {k} {n}} right rfloor = lfloor nx rfloor.}$

Доказательство

Расколоть ${ displaystyle x}$ в его целая часть и дробная часть, ${ Displaystyle х = lfloor x rfloor + {x }}$. Есть ровно один ${ Displaystyle к ' в {1, ldots, п }}$ с

${ Displaystyle lfloor x rfloor = left lfloor x + { frac {k'-1} {n}} right rfloor leq x < left lfloor x + { frac {k '} {n} } right rfloor = lfloor x rfloor +1.}$

Вычитая такое же целое число ${ displaystyle lfloor x rfloor}$ изнутри операций пола в левой и правой частях этого неравенства его можно переписать в виде

${ displaystyle 0 = left lfloor {x } + { frac {k'-1} {n}} right rfloor leq {x } < left lfloor {x } + { frac {k '} {n}} right rfloor = 1.}$

Следовательно,

${ displaystyle 1 - { frac {k '} {n}} leq {x } <1 - { frac {k'-1} {n}},}$

и умножая обе части на ${ displaystyle n}$ дает

${ Displaystyle п-к ' leq п , {х } <п-к' + 1.}$

Теперь, если суммирование от тождества Эрмита разделить на две части по индексу ${ displaystyle k '}$, это становится

${ Displaystyle { begin {align} sum _ {k = 0} ^ {n-1} left lfloor x + { frac {k} {n}} right rfloor & = sum _ {k = 0} ^ {k'-1} lfloor x rfloor + sum _ {k = k '} ^ {n-1} ( lfloor x rfloor +1) = n , lfloor x rfloor + n -k ' [8pt] & = n , lfloor x rfloor + lfloor n , {x } rfloor = left lfloor n , lfloor x rfloor + n , { x } right rfloor = lfloor nx rfloor. end {align}}}$

Альтернативное доказательство

Рассмотрим функцию

${ Displaystyle е (х) = lfloor x rfloor + left lfloor x + { frac {1} {n}} right rfloor + ldots + left lfloor x + { frac {n-1} {n}} right rfloor - lfloor nx rfloor}$

Тогда тождество, очевидно, эквивалентно утверждению ${ displaystyle f (x) = 0}$ для всех реальных ${ displaystyle x}$. Но потом мы находим,

${ displaystyle f left (x + { frac {1} {n}} right) = left lfloor x + { frac {1} {n}} right rfloor + left lfloor x + { frac {2} {n}} right rfloor + ldots + left lfloor x + 1 right rfloor - lfloor nx + 1 rfloor = f (x)}$

Где в последнем равенстве мы используем тот факт, что ${ Displaystyle lfloor x + p rfloor = lfloor x rfloor + p}$ для всех целых чисел ${ displaystyle p}$. Но потом ${ displaystyle f}$ есть период ${ displaystyle 1 / n}$. Тогда достаточно доказать, что ${ displaystyle f (x) = 0}$ для всех ${ Displaystyle х в [0,1 / п)}$. Но в этом случае целая часть каждого слагаемого в ${ displaystyle f}$ равен 0. Мы заключаем, что функция действительно равна 0 для всех реальных входов. ${ displaystyle x}$.

Рекомендации