Lihat sumber Pangkat dua

{{redirect3|²|Makna harfiahnya adalah bilangan "[[2 (angka)|2]]" dalam [[superscript]]}}
[[Image:Five Squared.svg|thumb|right|168px<!-- at 160px and 200px lines render with unequal widths 
-->|{{math|5&sdot;5}}, atau {{math|5<sup>2</sup>}} (5 kuadrat atau 5 pangkat 2), dapat ditunjukkan dalam bentuk grafik menggunakan suatu [[bujursangkar]]. Setiap blok mewakili satu unit, {{math|1&sdot;1}}, dan seluruh bujursangkar mewakili {{math|5&sdot;5}}, atau luas bujursangkar.]]
'''Pangkat dua''' atau '''bilangan kuadrat''' ({{lang-en|square}}) dalam [[matematika]] adalah hasil [[perkalian]] antara suatu [[bilangan]] dengan bilangan itu sendiri. Kata kerja "memangkatkan dua" atau "mengkuadratkan" merujuk kepada operasi ini. Dalam pelaksanaannya sama engan [[eksponen|memangkatkan]] dengan bilangan &nbsp;[[2 (angka)|2]], dan dilambangkan dengan angka 2 dalam posisi [[superscript]]. Misalnya kuadrat dari 3 dapat ditulis 3<sup>2</sup>, yaitu sama dengan bilangan 9.<!--
Dalam sejumlah kasus di mana In some cases when superscripts are not available, as for instance in [[programming language]]s or [[plain text]] files, the notations <kbd>''x''^2</kbd> or <kbd>''x''**2</kbd> may be used in place of <kbd>''x''<sup>2</sup></kbd>.

The adjective which corresponds to squaring is ''[[wikt:quadratic|quadratic]]''.

The square of an [[integer]] may also be called a [[square number]] or a perfect square. In [[algebra]], the operation of squaring is often generalized to [[polynomial]]s, other [[expression (mathematics)|expressions]], or values in systems of mathematical values other than the numbers. For instance, the square of the [[linear function (calculus)|linear polynomial]] {{math|''x'' + 1}} is the [[quadratic polynomial]] {{math|''x''<sup>2</sup> + 2''x'' + 1}}.

One of the important properties of squaring, for numbers as well as in many other mathematical systems, is that (for all numbers {{mvar|x}}), the square of {{mvar|x}} is the same as the square of its [[additive inverse]] {{math|&minus;''x''}}. That is,  the square function satisfies the identity {{math|1=''x''<sup>2</sup> = (−''x'')<sup>2</sup>}}. This can also be expressed by saying that the squaring function is an [[even function]].
-->
== Dalam bilangan real ==
[[Image:Parabola2.svg|thumb|240px|{{math|1=''y'' = ''x''<sup>2</sup>}}. Kurva [[fungsi kuadrat]] mempunyai bentuk [[parabola]]. Hasil pangkat dua angka-angkanya membentuk suatu [[hukum kuadrat]].]]
[[Fungsi kuadrat]] melestarikan tatanan bilangan-bilangan positif: bilangan yang lebih besar mempunyai nilai kuadrat yang lebih besar. Dengan kata lain, pengkuadratan merupakan suatu [[fungsi monotonik]] pada [[interval (matematika)|interval]] {{tutup-buka|0, +∞}}. Pada bilangan-bilangan negatif, bilangan-bilangan yang nilai absolutnya lebih besar mempunyai nilai kuadrat yang lebih besar, sehingga pengkuadratan merupakan suatu fungsi yang menurun secara monotonik pada interval {{buka-tutup|−∞,0}}. Jadi, bilangan [[nol]] merupakan nilai [[minimum]] global.

Hanya pada kasus tertentu didapatkan pengkuadratan&nbsp;{{math|''x''<sup>2</sup>}} suatu bilangan menghasilkan bilangan yang lebih kecil dari {{mvar|x}}, yaitu ketika {{math|0 < ''x'' < 1}} atau dengan kata lain, ketika {{mvar|x}} termasuk ke dalam [[interval (matematika)|interval terbuka]] {{buka-buka|0,1}}. Ini menyiratkan bahwa pengkuadratan suatu integer tidak pernah lebih kecil daripada bilangan asalnya.
<!--
Every positive [[real number]] is the square of exactly two numbers, one of which is strictly positive and the other of which is strictly negative. Zero is the square of only one number, itself. For this reason, it is possible to define the [[square root]] function, which associates with a non-negative real number the non-negative number whose square is the original number.

No square root can be taken of a negative number within the system of [[real number]]s, because squares of all real numbers are [[non-negative]]. The lack of real square roots for the negative numbers can be used to expand the real number system to the [[complex number]]s, by postulating the [[imaginary unit]] {{mvar|i}}, which is one of the square roots of&nbsp;&minus;1.

The property "every non negative real number is a square" has been generalized to the notion of a [[real closed field]], which is an [[ordered field]] such that every non negative element is a square. The real closed fields can not be distinguished from the field of real numbers by their algebraic properties: every property of the real numbers, which may be expressed in [[first-order logic]] (that is expressed by a formula in which the variables that are quantified by ∀ or ∃ represent elements, not sets), is true for every real closed field, and conversely every property of the first-order logic, which is true for a specific real closed field is also true for the real numbers.

== In geometry ==
There are several major uses of the squaring function in geometry.

The name of the squaring function shows its importance in the definition of the [[area]]:  it comes from the fact that the area of a [[square]] with sides of length &nbsp;{{mvar|l}} is equal to {{math|''l''<sup>2</sup>}}. The area depends quadratically on the size: the area of a shape {{mvar|n}}&nbsp;times larger is {{math|''n''<sup>2</sup>}}&nbsp;times greater. This holds for areas in three dimensions as well as in the plane: for instance, the surface area of a [[sphere]] is proportional to the square of its radius, a fact that is manifested physically by the [[inverse-square law]] describing how the strength of physical forces such as gravity varies according to distance.

{{anchor|r²}}[[Image:Zonenplatte Cosinus.png|thumb|right|Fresnel's [[zone plate]]s have rings with [[arithmetic progression|equally spaced]] squared distances to the center]]
The squaring function is related to [[distance]] through the [[Pythagorean theorem]] and its generalization, the [[parallelogram law]]. [[Euclidean geometry|Euclidean]] distance is not a [[smooth function]]: the [[three-dimensional graph]] of distance from a fixed point forms a [[cone]], with a non-smooth point at the tip of the cone. However, the square of the distance (denoted {{math|''d''<sup>2</sup>}} or {{math|''r''<sup>2</sup>}}), which has a [[paraboloid]] as its graph, is a smooth and [[analytic function]]. The [[dot product]] of a [[Euclidean vector]] with itself is equal to the square of its length: {{math|1='''v'''&sdot;'''v''' = v<sup>2</sup>}}. This is further generalised to [[quadratic form]]s in [[linear space]]s. The [[inertia tensor]] in [[mechanics]] is an example of a quadratic form. It demonstrates a quadratic relation of the [[moment of inertia]] to the size ([[length]]).

==In abstract algebra and number theory==
The squaring function is defined in any [[field (mathematics)|field]] or [[ring (mathematics)|ring]]. An element in the image of this function is called a ''square'', and the inverse images of a square are called ''[[square root]]s''.

The notion of squaring is particularly important in the [[finite field]]s  '''Z'''/''p'''''Z''' formed by the numbers modulo an odd [[prime number]] {{mvar|p}}. A non-zero element of this field is called a [[quadratic residue]] if it is a square in '''Z'''/''p'''''Z''', and otherwise, it is called a quadratic non-residue. Zero, while a square, is not considered to be a quadratic residue. Every finite field of this type has exactly {{math|(''p'' − 1)/2}} quadratic residues and exactly {{math|(''p'' − 1)/2}} quadratic non-residues. The quadratic residues form a [[group (mathematics)|group]] under multiplication. The properties of quadratic residues are widely used in [[number theory]].

More generally, in rings, the squaring function may have different properties that are sometimes used to classify rings.

Zero may be the square of some non-zero elements. A [[commutative ring]] such that the square of a non zero element is never zero is called a [[reduced ring]]. More generally, in a commutative ring, a [[radical ideal]] is an ideal&nbsp;{{mvar|I}} such that <math>x^2 \in I</math> implies <math>x \in I</math>. Both notions are important in [[algebraic geometry]], because of [[Hilbert's Nullstellensatz]].

An element of a ring that is equal to its own square is called an [[idempotent]]. In any ring, 0 and 1 are idempotents. {{anchor|integral domains}}There are no other idempotents in fields and more generally in [[integral domain]]s. However, 
the ring of the integers [[modular arithmetic|modulo]]&nbsp;{{mvar|n}} has [[power of two|{{math|2<sup>''k''</sup>}}]] idempotents, where {{mvar|k}} is the number of distinct [[integer factorization|prime factors]] of&nbsp;{{mvar|n}}.
A commutative ring in which every element is equal to its square (every element is idempotent) is called a [[Boolean ring]]; an example from [[computer science]] is the ring whose elements are [[binary number]]s, with [[Bitwise operation|bitwise AND]] as the multiplication operation and bitwise XOR as the addition operation.

In a [[supercommutative algebra]] ([[away from 2]]), the square of any ''odd'' element equals to zero.

==In complex numbers and related algebras over the reals==
{{anchor|In complex analysis}}
[[Image:Conformz2.jpg|thumb|right|256px|The [[function composition|composition]] of the tiling [[:Image:ConformId.jpg]] (understood as a function on the complex plane) with the complex square function]]
{{see also|Exponentiation #Powers of complex numbers}}
The [[complex numbers|complex]] square function&nbsp;{{math|''z''<sup>2</sup>}} is a twofold cover of the [[complex plane]], such that each non-zero complex number has exactly two square roots. This map is related to [[parabolic coordinates]].<!-- unfortunately, incompatible coefficients and orientation conventions hinder a simple explanation such as σ+iτ → (σ,τ)-parabolic -->
<!--
{{anchor|{{!}}z{{!}}²}}Another, more well known, function is the square of the [[absolute value]] {{math|1=&#124; ''z'' &#124;<sup>2</sup> = ''z'' [[complex conjugate|''{{overline|z}}'']]|class=nounderlines}}, which is real-valued. It is very important for [[quantum mechanics]]: see [[probability amplitude]] and [[Born rule]]. Complex numbers form one of [[Hurwitz's theorem (composition algebras)|four possible Euclidean Hurwitz algebras]] that are defined with a real quadratic form {{mvar|q}}; here {{math|1=''q''(''z'') = &#124; ''z'' &#124;<sup>2</sup>}}. In a Euclidean Hurwitz algebra this {{mvar|q}} equals to the square of the distance to 0 discussed [[#r²|above]], and the absolute value {{math|&#124; ''z'' &#124;}} can be defined as the (arithmetical) square root of {{math|''q''(''z'')}}. Multiplicativity of {{mvar|q}} in these algebras explains (or relies upon) certain algebraic identities (see [[#Related identities|below]]).

== Other uses ==
Squares are ubiquitous in algebra, more generally, in almost every branch of mathematics, and also in [[physics]] where many [[unit of measurement|units]] are defined using squares and [[multiplicative inverse|inverse]] squares: see [[#Related physical quantities|below]].

[[Least squares]] is the standard method used with [[overdetermined system]]s.

Squaring is used in [[statistics]] and [[probability theory]] in determining the [[standard deviation]] of a set of values, or a [[random variable]]. The deviation of each value&nbsp;{{mvar|x<sub>i</sub>}} from the [[mean]]&nbsp;<math>\overline{x}</math> of the set is defined as the difference <math>x_i - \overline{x}</math>. These deviations are squared, then a mean is taken of the new set of numbers (each of which is positive). This mean is the [[variance]], and its square root is the standard deviation. In [[finance]], the [[volatility (finance)|volatility]] of a financial instrument is the standard deviation of its values.
-->
==Lihat pula ==
<!--
* [[von Neumann regular ring]], a ring such that every ideal is generated by an idempotent
 too remote from the topic? -->
* [[Exponentiation by squaring]]
* [[Polynomial SOS]], the representation of a non-negative polynomial as the sum of squares of polynomials
* [[Hilbert's seventeenth problem]], for the representation of [[positive polynomial]]s as a sum of squares of [[rational function]]s
* [[Square-free polynomial]]
* [[Kubik (matematika)]]
* [[Metric tensor]]
* [[Quadratic equation]]
* [[Polynomial ring]]

=== Identitas terkait ===
; Algebraic<span style="font-weight:400"> (need a [[commutative ring]])</span>:
* [[Difference of two squares]]
* [[Brahmagupta–Fibonacci identity]], related to complex numbers [[#.7Cz.7C²|in the sense discussed above]]
* [[Euler's four-square identity]], related to [[quaternion]]s in the same way
* [[Degen's eight-square identity]], related to [[octonion]]s in the same way
* [[Lagrange's identity]]
; Other
* [[Pythagorean trigonometric identity]]
* [[Parseval's identity]]

=== Kuantitas fisik terkait ===
* [[acceleration]], length per square time
* [[cross section (physics)]], an area-dimensioned quantity
* [[coupling constant]] (has square charge in the denominator, and may be expressed with square distance in the numerator)
* [[kinetic energy]] (quadratic dependence on velocity)
* [[specific energy]], a (square velocity)-dimensioned quantity

== Referensi ==
{{reflist}}

==Pustaka tambahan==
* Marshall, Murray Positive polynomials and sums of squares. Mathematical Surveys and Monographs, 146. American Mathematical Society, Providence, RI, 2008. xii+187 pp. ISBN 978-0-8218-4402-1, ISBN 0-8218-4402-4
* {{cite book | title=Squares | volume=171 | series=London Mathematical Society Lecture Note Series | first=A. R. | last=Rajwade | publisher=[[Cambridge University Press]] | year=1993 | isbn=0-521-42668-5 | zbl=0785.11022 }}

[[Category:Exponentials|2]]
[[Category:Algebra]]
[[Category:Elementary arithmetic]]