Parirami

thumb|Biswal na pagpapakita sa proseso ng parirami. Ipinapakita rito ang ekspresyong  (isinusulat din na ). Katumbas ng 1 ang bawat blokeng makikita rito, at kung bibilangin ay aabot sa 25.
Sa matematika, ang **parirami** () o **kuwadrado** (mula , "parisukat") ay ang resulta ng pagpaparami sa isang bilang sa sarili nito. Isinusulat ito sa anyong , kung saan ang  ay ang bilang na paparamihin. Isinusulat rin ito sa anyong pinalawig: . Parehas lang ang parirami sa proseso ng pagpapalakas ng bilang sa ikalawang antas.

Ang parirami ng isang buumbilang ay tinatawag ring kuwadradong bilang () o himpit na parirami *(perfect square)*. Sa panandaan, malimit na ginagamit ang parirami di lamang sa mga bilang kundi maging sa mga damikay *(polynomial)* at iba pang mga ekspresyon o halaga. Halimbawa, ang parirami ng linyar na damikay na  ay ang kwadratikong damikay na .

Isa sa mga pinakamahahalagang katangian ng parirami ay ang pagkakapareho ng parirami ng  sa kabaligtarang pandagdag na . Ibig sabihin, sumasakto ito sa identidad na . Maaari rin itong tingnan bilang isang tukol na bunin.

## Sa mga tunay na bilang 
 ng pariraming punsiyon  ay isang parabola.]]

Ipinapaliwanag ng operasyong parirami ang isang tunay na punsiyon na tinatawag na **pariraming punsiyon** ( o *squaring function*). Ang kaniyang sakop ay buong tunay na linya, at ang kaniyang imahe ay pangkat ng mga tunay na bilang na di-negatibo.

Pinananatili ng pariraming punsiyon ang pagsasaayos ng mga positibong bilang: mayroon ang mas malalaking bilang ng mas malalaking parirami. Sa madaling salita, ang parirami ay monotonong punsiyon () nasa interbalong [0, +∞). Para sa mga negatibong bilang, mayroon ng mas malalaking parirami ang mga bilang na may mas malalaking ganap na halaga, kaya ang parirami ay punsiyon na monotona na nagbabawas () nasa interbalong (−∞,0]. Kaya ang sero ay (global na) minimum ng pariraming punsiyon.  Ang pariraming  ng isang bilang  ay menos kaysa sa  (kumbaga ) kung at lamang kung , kumbaga, kung kinabibilangan ng  ang bukas na interbalong () (0,1). Ipinapahiwatig ito na ang parirami ng isang buumbilang hindi kailamnan ay menos kaysa sa orihinal na bilang .

Ang bawa't isang positibong tunay na bilang ay parirami ng eksaktong dalawang bilang, isang laging positibo at ibang laging negatibo. Ang sero ay parirami ng isang lanang bilang: mismo. Dahil sa ito, puwedeng ipaliwanag ang punsiyon ng pariugat.

Hindi puwedeng hanapin ang pariugat ng isang negatibong bilang sa loob ng sistema ng mga tunay na bilang, dahil ang mga parirami ng lahat ng tunay na bilang ay di-negatibo. Ang kawalan ng tunay na mga pariugat para sa mga negatibong bilang ay nagagamit para lumawak ang sistema ng mga tunay na bilang para sumaklaw ng mga komplikadong bilang, sa pamamagitan ng pasok ng imahinaryong bilang , kapares ng dalawang pariugat&nbsp;&minus;1.

Ang propyedad na "bawa't isang di-negatibong tunay na bilang ay parirami" ay lumawak sa nosyon ng tunay na tikom ng kampo (), isang kampong inaayos () kung saan bawa't isang di-negatibong elemento ay parirami at mayroon ang bawa't isang polinomial na may kakaibang grado () ng isang ugat. Hindi maaaring itangi ang mga tunay na tikom ng kampo mula sa kampo ng mga tunay na bilang sa mga alhebraikong propyedad: bawa't isang propyedad ng mga tunay na bilang, na naisasalarawan sa pamamagitan ng lohika ng unang orden (kumbaga, isang pormula kung saan mga baryable na inilalarawan ng ∀ o ∃ ay kinakatawan ang mga elemento, hindi ang mga pangkat), ay totoo para sa bawa't isang tunay na tikom ng kampo, at namang ang bawa't isang propyedad ng lohika ng unang orden, na ay totoo para sa isang espesipikong tunay na tikom ng kampo, ay totoo din para sa mga tunay na bilang.

## Sa heometriya 
May maraming pangunahing gamit ng pariraming punsiyon sa heometriya.

Ipinapakita ng pangalan ng pariraming punsiyon ang kaniyang kahalagan sa kahulugan ng sukat, dahil sa ang sukat ng parisukat na mga tabi ng haba ng&nbsp; ay katumbas sa . Kwadratiko na nagdedepende ang sukat sa laki: ang sukat ng hugis na &nbsp;beses mas malaki ay &nbsp;beses mas malawak. Totoo para sa mga sukat ng tatlong dimensiyon pati na rin ang plano: halimbawa, ang pang-ibabaw na sukat ng espera ay kasukat sa parirami ng niyang radius, isang katotohanan na na ay ipinapakita ng pisika sa pamagitan ng batas ng kabaligtarang parirami () na inilalarawan kung gaano ang lakas ng pisikal na puwersa bilang balani ay nagkakaiba ayon sa distansiya.

Ang pariraming punsiyon ay kaugnay sa distansiya sa pamamagitan ng teorema ni Pitagoras at niyang heneralisasyon, ang batas ng paralelogram. Ang distansiyang Euclideano hindi ay makinis na punsiyon (): ang grap ng punsiyon ng tatlong dimensiyon, ng distansiya mula sa matatag na punto, ay bumubuo ng balisuso, na may puntong di-kinis nasa dulo ng balisuso. Gayunman, ang parirami ng distansiya (na nangangahulugan na  o ), na may isang paraboloide bilang kaniyang grap, ay makinis at analitikong punsiyon ().

Ang produktong tuldok ng Euclidyanong bektor at mismo ay katumbas sa parirami ng niyang haba: . Ito ay napapapalawak sa mga kwadratikong porma sa mga espasyong linyar *via* ang produktong panloob. Ang tensor ng tigal (, tingnan din: tensor, tigal) sa mekanika ay halimbawa ng kwadratikong porma. Ipinapakita ang isang kwadratikong ugnay ng momento ng tigal sa laki (haba).

Walang hangganan para sa mga triple ni Pitagoras. dahil sa proporsiyonal ang mga bilang na kinabibilangan. Halimbawa,  = , habang  = , atbp. Mas heneral na, para sa isang triple ni Pitagoras,  +  = , kung saan  ay anumang tunay na bilang.

## Sa alhebrang basal at teorya ng bilang 
Ipinapaliwanag ang pariraming punsiyon sa anumang kampo o singsing. Isang elemento sa imahe ng itong punsiyon at tinatawag na *parirami*, at mga imbersong imahe ng isang parirami ay tinatawag na *pariugat*.

Lalo na mahalaga ang nosyon ng parirami sa mga kampong **Z**/*p***Z** na binubuo ng mga bilang *modulo* kakaibang pangunahing bilang . Isang elementong di-sero ng itong kampo ay tinatawag na kwadratikong latak () kung parirami nasa **Z**/*p***Z**, at kung hindi, kwadratikong di-latak. Ang sero, maski isang parirami, hindi ay ipinalalagay na kwadratikong latak. Mayroon ang bawa't isang ganitong kampo ng eksaktong  na kwadratikong latak at ng eksaktong  na kwadratikong di-latak. Bumubuo ang mga kwadratikong latak ng isang grupo sa ilalim ng pagpaparami. Malawak na ginagamit ng mga propyedad ng mga kwadratikong latak sa teorya ng bilang.

Mas heneral na, sa mga singsing, maaaring magkaroon ang pariraming punsiyon ng kakaibang mga propyedad na minsan na ginagamit para magbukod ng mga singsing.

Puwedeng sero ang parirami ng ilang elementong di-sero. Ang isang komutatibong singsing (), kung saan ang parirami ng isang elementong di-sero hindi kailanman ay sero, ay tinatawag na singsing na nababawasan (). Mas heneral na, nasa isang komutatibong singsing, ang isang radikal na ideal ay ideal&nbsp; kung saan ang x^2 \in I ay ipinapahiwatig na x \in I. Mahahalaga ang parehong nosyon nasa alhebraikong heometriya, dahil sa Nullstellensatz ni Hilbert.

Ang elemento ng isang singsing na ay katumbas sa sarili nitong parirami ay tinatawag na idempotente. Nasa anumang singsing ang 0 at 1 ay idempotente. Walang ibang idempotente nasa mga kampo at mas heneral na nasa integral na sakop. Gayunman, mayroon ang singsing ng mga buumbilang *modulo*&nbsp; ng  idempotente, kung saan  ay dami ng tanging pangunahing paktor ng&nbsp;. Ang isang komutatibong singsing kung saan bawa't isang elemento ay katumbas sa kaniyang parirami (bawa't isang elemento ay idempotente) ay tinatawag na singsing ni Boole.

Nasa isang singsing na ganap na inaayos ()  para sa anumang . Saka,  kung at lamang kung .

Nasa isang superkomutatibong alhebra kung saan 2 ay imbertible, ang parirami ng anumang *kakaibang* elemento ay katumbas sa sero.

Kung *A* ay komutatibong semigrupo,

:\forall x, y \isin A \quad (xy)^2 = xy xy = xx yy = x^2 y^2  .

Sa wika ng mga kwadratikong porma, sumasabi ang itong pagkakapantay na pariraming punsiyon ay isang "porma na inaatim ng kumposisyon." Talaga, ang pariraming punsiyon ay pundasyon na binubuo ang ibang mga kwadratikong porma na inaatim ng kumposisyon. Pinasok ang paraan ni L. E. Dickson para gumawa ng mga oktoniyon mula sa mga kwaterniyon sa pamamagitan ng pagdodoble. Ang itong paraan ng pagdodoble ay pormal na ipinaliwanag ni A. A. Albert kung sino nag-umpisa sa kampo ng mga tunay na bilang ℝ at pariraming punsiyon, na idinoble para tamuhin ang kampo ng mga komplikadong bilang na may kwadratikong pormang , na idinoble ulit para tamuhin ang mga kwaterniyon. Ang paraan ng pagdodoble ay tinatawag na konstruksiyon nina Cayley at Dickson, at napalawak para bumuo ng mga alhebra na may dimensiyong 2n sa tapat ng isang kampong *F* na may imbolusyon.

Ang pariraming punsiyong *z*2 ay "pamantayan" () ng alhebrang kumposisyon ℂ, kung saan ang identidad ng punsiyon ay bumubuo ng tribial na imbolusyon para umpisahan ang mga konstruksiyon nina Cayley at Dickson na nagdudulot ng bikompleks, bikwaterniyon, at bioktoniyong alhebrang kumposisyon.

## Sa mga komplikadong bilang 
Sa mga komplikadong bilang, ang pariraming punsiyong z\to z^2 ay dobleng takip () sa muwang na bawa't ibang komplikadong bilang na di-sero ay nagkakaroon eksakto na dalawang pariugat.

Ang parirami ng ganap na halaga ng isang komplikadong bilang ay tinatawag na kaniyang **ganap na parirami**. Ito ay bunga ng komplikadong bilang at niyang komplikadong konhugado, at katumbas sa suma ng mga parirami ng tunay at imahinaryong mga bahagi ng komplikadong bilang.

Ang ganap na parirami ng isang komplikadong bilang ay laging isang tunay na bilang na di-negatibo, sero kung at lang kung ang komplikadong bilang ay sero. Mas madali para tuusin kaysa sa ganap na halaga (walang pariugat), at ay makinis na punsiyon na may mga tunay na halaga. Dahil sa itong dalawang propyedad, madalas na minamabuti ng ganap na parirami sa ganap na halaga para sa mga eksplisitong tuos at kapag kinabilangan ng mga paraan ng pagsusuring matematikal (halimbawa, optimisasyong matematikal o integrasyon).

## Ibang mga gamit 
Kahit saan may mga parirami nasa alhebra, at mas heneral na, nasa halos na bawa't isang sangay ng matematika, pati na rin nasa pisika kung saan ang maraming yunit ng kasukatan ay ipinapaliwanag sa pamamagitan ng mga parirami at kabaligtarang parirami.

## Mga sanggunian 
Kategorya:Alhebra
Kategorya:Elementaryong aritmetika