Usategi printzipio

Matematikan, Usategi printzipioak  izanik  elementu  kaxetan sartzen direnean kaxa batek gutxienez elementu bat baino gehiago izan behar duela ezartzen duen teorema edo printzipioa da. Teorema honen izena usategietan sarritan ikusten den kasuarengatik ezarrita dago. Askotan,  habiko usategi batean, habi kopuru baino uso gehiago egoten dira. Ondorioz, habietako batean (edo batzuetan) uso bat baino gehiago ipini beharko dira. Horri, Usategiaren printzipioa deritzogu. 

Matematikoki ere azaldu dezakegu:

Izan bitez   . Orduan,  objektu  multzotan banatzen baditugu eta

  bada, orduan gutxienez bi objektu multzo berean egon beharko dira (printzipio arrunta). 
 existitzen bada  zeinetarako  den, orduan gutxienez  objektu multzo berean egongo dira (printzipio orokortua).

Printzipioa maiz erabiltzen matematikako frogapenetan, batik bat konbinatorian, eta informatikan.

Lehenengo aldiz Dirichlet matematikariak 1834. urtean erabili zuela uste da, Schubfachprinzip edo kajoien printzipioa esapidea erabiliz.

Frogapena (Printzipio orokortua) 
Frogapen honetarako printzipio orokortuari begiratuko diogu, arrunta orokortuaren kasu berezi bat denez ( kasua), orokortua frogatzerakoan, arrunta ere frogatuko dugu. Erabiliko dugun metodoa Absurdura eramatearen metodoa erabiliko dugu ( kontraesana izenaz ere ezagutua).

Demagun, multzo (habi) guztietan  objektu edo gutxiago daudela. Orduan,  multzo dauzkagunez, gehienez  objektu izan ditzakegu guztira. Baina,  baldin bada ezinezkoa izango litzateke objektu guztiak  multzoetan kokatzea. Kontraesan bat lortu dugu, beraz ondorioztatu dezakegu asumitu duguna gezurra dela, hau da; multzo guztietan   objektu edo gutxiago egotea ezinezkoa da  baldin bada. Orduan,   denetarako, gutxienez  objektu multzo berean egongo direla frogatu dugu (Usategiaren printzipio orokortua).

Printzipioa kardinalak erabiliz 
Printzipio hau kardinalen bitartez adierazi dezakegu,

 bada, hau da: A multzoko elementu kopurua B multzokoa baino handiagoa bada, -tik -rako funztio injektiboa ez da existitzen.

Enuntziatua 
Dirichleten usategiaren printzipioa. Hartu edozein n,m,p zenbaki natural, np+m uso n kaxatan sartui nahi badituzu, kaxa batek behintzat p+1 uso eduki behar ditu.

Frogapena

Kaxa bakoitzak gehienez p objektu baditu, kokatu ditzakegun objektu kopuru totala np<np+1≤ np+m.

Bere bertsio sinplenean, n>m bada, m elementu eta n elementuen artean aplikazio injektiborik ez dela existitzen dio. Baliokidea da honako hau, m objektu n kaxetan kokatu nahi izanez gero, m>n bada, kaxa batean behintzat bi o objektu egon behar dira.

Aplikazioak 
Usategiaren printzipioak behaketa tribialaren itxura duen arren, aurreikusi ezin  diren emaitzak kalkulatzeko balio du.

Kanpo estekak 

Konbinatoria