====== Hatványközép ======

Az <m>a_1, a_2, ..., a_n</m> nem negatív számok //p//-edik hatványközepe (<m>p>0</m>)

<m>K_p=({{a_1}^p+...+{a_n}^p}/n)^{1/p}</m>

A <m>p=0</m> értékre is definiálhatjuk a <m>K_p</m> mennyiséget, ugyanis

<m>lim{p right 0}{K_p}=root{n}{a_1 a_2 ... a_n}</m>, azaz a mértani közép.

A hatványközepek közötti egyenlőtlenség szerint <m>0<p<q</m> esetén <m>K_p<=K_q</m>, 
egyenlőség csak akkor áll fenn, ha a számok mind egyenlőek.

Határátmenettel <m>p=0, q=1</m> esetre is bizonyítható az állítás, ami épp a [[számtani-mértani egyenlőtlenség]]et adja.