[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/binary-square-shape-wikipedia\/#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/binary-square-shape-wikipedia\/","headline":"Binary square shape – Wikipedia","name":"Binary square shape – Wikipedia","description":"before-content-x4 One binary square shape (Often only in this article briefly only Form called), is a square shape in two","datePublished":"2021-05-01","dateModified":"2021-05-01","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/author\/lordneo\/#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/author\/lordneo\/","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/5ea0abffd33a692ded22accc104515a032851dff","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/5ea0abffd33a692ded22accc104515a032851dff","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/binary-square-shape-wikipedia\/","wordCount":24518,"articleBody":" (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4One binary square shape (Often only in this article briefly only Form called), is a square shape in two variables in mathematics x , and {displaystyle x,y} , a polynomial of the figure a x 2+ b x and + c and 2{displaystyle ax^{2}+bxy+cy^{2},} , whereby a , b , c {displaystyle a,b,c} the coefficients of the form are. Form f {displaystyle f} with f ( x , and ) = a x 2+ b x and + c and 2{displaystyle f(x,y)=ax^{2}+bxy+cy^{2},} you also write briefly as f = ( a , b , c ) {displaystyle f=(a,b,c),} . In the following, binary square forms are considered in the number theory, which means that only integer solutions are considered. Square forms are a classic part of the number theory. Joseph-Louis Lagrange already dealt with integrated binary and ternary square forms. But only Carl Friedrich Gau\u00df founded in his work Inquiry arithmetic [first] (Chapter 5) A comprehensive theory of binary square forms. Formal is one binary square shape About a commutative ring with one -time element A {displaystyle A} A homogeneous polynomial from grade 2 in two indefinite with coefficients in A {displaystyle A} . The binary square shapes above the body of real numbers are called real Binary square forms, the binary square forms above the ring of the whole numbers are called integer Binary square shapes. A full binary square forms f = ( a , b , c ) {displaystyle f=(a,b,c)} is called ambig if the middle coefficient is a multiple of the first coefficient, i.e. b = k a {displaystyle b=ka} with k \u2208 WITH {displaystyle kin mathbb {Z} } is applicable. primitive if the coefficients are foreign to the part, so ggT \u2061 ( a , b , c ) = first {displaystyle operatorname {ggT} (a,b,c)=1,} (see the largest joint divider). The discriminants D f {displaystyle D_{f}} a binary square shape f = ( a , b , c ) {displaystyle f=(a,b,c)} is defined as D f : = b 2 – 4 a c {displaystyle D_{f}:=b^{2}-4ac,} . In theory of binary square forms, the following questions are of interest: Table of ContentsRepresentation of entire numbers [ Edit | Edit the source text ] Minimum of shapes [ Edit | Edit the source text ] Equivalence of shapes [ Edit | Edit the source text ] Definition of equivalence [ Edit | Edit the source text ] Properties equivalent forms [ Edit | Edit the source text ] Definity of shapes [ Edit | Edit the source text ] Forms of the same discriminant [ Edit | Edit the source text ] Reduction of integer binary square shapes [ Edit | Edit the source text ] General definition of the composition [ Edit | Edit the source text ] Calculation of the composition [ Edit | Edit the source text ] Example [ Edit | Edit the source text ] More information [ Edit | Edit the source text ] Scilab code for plotting binary square shapes [ Edit | Edit the source text ] Representation of entire numbers [ Edit | Edit the source text ] Which numbers are represented by a form? How many and which representations have a number through a shape? A form represents f {displaystyle f} (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4a whole number n \u2208 WITH {displaystyle nin mathbb {Z} } , if it ( x 0 , and 0 ) \u2208 WITH 2 {displaystyle (x_{0},y_{0})in mathbb {Z} ^{2}} gives with f ( x 0 , and 0 ) = n {displaystyle f(x_{0},y_{0})=n} . The couple (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4( x 0 , and 0 ) {displaystyle (x_{0},y_{0})} then means one representation from n {displaystyle n} through f {displaystyle f} . The representation means primitive if applies ggT \u2061 ( x 0 , and 0 ) = first {displaystyle operatorname {ggT} (x_{0},y_{0})=1,} . (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Minimum of shapes [ Edit | Edit the source text ] Which minimum has a form? The minimum is l first ( f ) {displaystyle lambda _{1}(f)} a form f {displaystyle f} defined by l first ( f ) : = inf { |f ( x , and ) |: ( x , and ) \u2208 WITH 2 , ( x , and ) \u2260 ( 0 , 0 ) } {displaystyle lambda _{1}(f):=inf{{sqrt {|f(x,y)|}}:(x,y)in mathbb {Z} ^{2},(x,y)neq (0,0)},} . Equivalence of shapes [ Edit | Edit the source text ] Are two given forms equivalent? With which matrix can two equivalent shapes be converted into each other? For details on the concept of equivalence, see below. With the theory of binary square shapes, the following problems can be solved: Find solutions ( x , and ) \u2208 WITH {displaystyle (x,y)in mathbb {Z} } diophantic equations of the form a x 2+ b x and + c and 2= n {displaystyle ax^{2}+bxy+cy^{2}=n} (by means of representations of whole numbers through binary square shapes) Find a shortest vector in a grid (by means of the minimum of binary square shapes) Factorization of whole numbers (by means of ambigous forms) Problems of cryptography (about relationships with square number bodies) If you arrange a shape f = ( a , b , c ) {displaystyle f=(a,b,c)} above A {displaystyle A} The triangle matrix M d ( f ) = ( ab0c) {displaystyle M_{d}(f)={begin{pmatrix}a&b\\0&cend{pmatrix}}} too, so is M d ( f ) \u2208 A 2 \u00d7 2 {displaystyle M_{d}(f)in A^{2times 2}} and f {displaystyle f} can also be written as f ( x , and ) = ( x , and ) M d ( f ) ( x , and ) T {displaystyle f(x,y)=(x,y)M_{d}(f)(x,y)^{T},} , whereby … T {displaystyle ldots ^{T}} The transposition means. Alternatively, a symmetrical ( 2 \u00d7 2 ) {displaystyle (2times 2)} -Matrix M s ( f ) = ( ab2b2c) {displaystyle M_{s}(f)={begin{pmatrix}a&{frac {b}{2}}\\{frac {b}{2}}&cend{pmatrix}}} to be used: then also applies f ( x , and ) = ( x , and ) M s ( f ) ( x , and ) T {displaystyle f(x,y)=(x,y)M_{s}(f)(x,y)^{T},} , but only M s ( f ) \u2208 A 2 \u00d7 2 {displaystyle M_{s}(f)in A^{2times 2}} applies if 2 in A {displaystyle A} is invertable. For integrated binary square shapes f {displaystyle f} but is M s ( f ) \u2208 Q 2 \u00d7 2 {displaystyle M_{s}(f)in mathbb {Q} ^{2times 2}} . The one too f {displaystyle f} Corresponding symmetrical matrix M s ( f ) {displaystyle M_{s}(f)} one also briefly referred to [ a , b , c ] {displaystyle [a,b,c]} so that the following applies: f ( x , and ) = ( x , and ) [ a , b , c ] ( x , and ) T {displaystyle f(x,y)=(x,y)[a,b,c](x,y)^{T},} . With the help of the symmetrical matrix [ a , b , c ] {displaystyle [a,b,c]} The discriminant of the form can be represented as a form as D = b 2 – 4 a c = – 4 \u22c5 the [ a , b , c ] {displaystyle D=b^{2}-4ac=-4cdot det[a,b,c],} . Definition of equivalence [ Edit | Edit the source text ] One (unimodulare) Substitution ( x \u2032 , and \u2032 ) = IN ( x , and ) T {displaystyle (x’,y’)=U(x,y)^{T},} the variables of a form with IN \u2208 S L 2 ( WITH ) {displaystyle Uin SL_{2}(mathbb {Z} )} (also IN {displaystyle U} Element of the special linear group over the entire numbers) determines a transformation of the form ( a , b , c ) {displaystyle (a,b,c),} in a equivalent Form ( a , b , c ) {displaystyle (alpha ,beta ,gamma ),} With the representative matrix IN T [ a , b , c ] IN = [ a , b , c ] {displaystyle U^{T}[a,b,c]U=[alpha ,beta ,gamma ],} . So two forms are called equivalent to if there is a matrix IN \u2208 S L 2 ( WITH ) {displaystyle Uin SL_{2}(mathbb {Z} )} gives with IN T [ a , b , c ] IN = [ a , b , c ] {displaystyle U^{T}[a,b,c]U=[alpha ,beta ,gamma ],} .In this case you write [ a , b , c ] \u223c [ a , b , c ] {displaystyle [alpha ,beta ,gamma ]sim [a,b,c],} or ( a , b , c ) = ( a , b , c ) IN {displaystyle (a,b,c)=(alpha ,beta ,gamma )U,} . So it then applies ( f IN ) ( x , and ) = f ( IN ( x , and ) ) {displaystyle (fU)(x,y)=f(U(x,y)),} For a form f {displaystyle f} . This definition is motivated by the fact that equivalent forms represent the same numbers and the representation ( x , and ) {displaystyle (x,y),} the number through the one form f {displaystyle f} From the representation ( x \u2032 , and \u2032 ) {displaystyle (x’,y’),} the number through the equivalent form g {displaystyle g} directly results as ( x , and ) = IN ( x \u2032 , and \u2032 ) T {displaystyle (x,y)=U(x’,y’)^{T},} , if f = g IN {displaystyle f=gU,} . Annotation: The defined one in this way equivalence is often also referred to as “real equivalence” and the general concept of equivalence on transformation matrices IN \u2208 G L 2 ( WITH ) {displaystyle Uin GL_{2}(mathbb {Z} )} (also IN {displaystyle U} Element of the general linear group over the entire numbers). Properties equivalent forms [ Edit | Edit the source text ] Equivalent shapes have the following properties, which then form on the equivalence classes f (amount of equivalent forms: F ( a , b , c ) : = { ( a \u2032 , b \u2032 , c \u2032 ) | ( a \u2032 , b \u2032 , c \u2032 ) \u223c ( a , b , c ) } {displaystyle F(a,b,c):={(a’,b’,c’)|(a’,b’,c’)sim (a,b,c)},} ), transfer. Two equivalent shapes have the same discriminant. With that the Discriminating DF{displaystyle D_{F}} the equivalence class be defined as D F(a,b,c): = D (a,b,c){displaystyle D_{F(a,b,c)}:=D_{(a,b,c)}} . Two equivalent shapes represent the same numbers. Definity of shapes [ Edit | Edit the source text ] Forms can according to their Definitheit be classified. A binary square shape f = ( a , b , c ) {displaystyle f=(a,b,c)} is called indefinite , if 0,”>(but not D = n 2{DisplayStyle d = n^{2},} for n \u2208 N {Displaystyle nin mathbb {n},} – In this case the form is degenerate ), defined , if D f< 0 {displaystyle D_{f}0″>then is (a, b, c) defined positiv , otherwise ( a < 0 {displaystyle aWITH {displaystyle nin mathbb {Z} } that can be a discriminant (i.e. n \u2261 0 ( against \u2061 4 ) {Displaystyle WAVIV 0 (operatorName {mod} 4)} or n \u2261 first ( against \u2061 4 ) {Displaystyle WAVIV 1 (operatorName {mod} 4)} , e.g. B. -8, -7, -4, -3, 0, 1, 4, 5, 8), all integer forms with this number can be assigned to this number. However, if one looks at the equivalence classes of shapes, there are only a finite number of equivalence classes of integrated forms with this discriminant per discriminant. This number will also Class number h ( n ) {displaystyle h(n)} called (eg h ( – 23 ) = 3 {displaystyle h(-23)=3} ). Reduction of integer binary square shapes [ Edit | Edit the source text ] In general, one strives to find a suitable representative for each equivalence class. In the case of binary square forms, this representative should have small coefficients if possible. Depending on the definition of the form (which is the same for all forms of an equivalence class because of the invariance, the discriminant is the same for all forms of the form: For positive forms : to Rickert [2] or Buell [3] (expanded): either \u2212ab\u2264a=c{displaystyle 0leq bleq a=c} Or equivalent to Gauss: [first] |b|\u2264a\u2264min(c,\u2212D\/3){displaystyle |b|leq aleq min(c,{sqrt {-D\/3}})} For negative definite forms ( D < 0 , a < 0 ) {displaystyle (Db,\u2212c]{displaystyle left[-a,-b,-cright]} apply the conditions for positive definitions For non -degenerated indefinite forms 0)}”>: to Sch\u00f6nhage: [4] D\u2212min(|2c|,|2a|)0,”>or equivalent to Gauss, [first] Lagarias [5] Or Buell: [3] 0N+{Displaystyle nin mathbb {N} ^{+}} (after Lagarias [5] ): b=n{displaystyle b=n} and 0=a\u2264c\u2264n\u22121{displaystyle 0=aleq cleq n-1} for D = 0 {displaystyle D=0} : a=0{displaystyle a=0,} and b=0{displaystyle b=0,} Binary square forms that meet the above conditions is called reduced . Examples: For positive forms : [1,0,1], [1,1,1], [1,1,2], [2,1,2], [2,-1,3], [2,2,3], [6,5,7] etc. For negative definite forms ( D < 0 , a < 0 ) {displaystyle (D0)}”>: [ first , 2 , – first ] \u223c [ – first , 2 , first ] {displaystyle [1,2,-1]sim [-1,2,1],} , [1,4,-4] etc. for D = n 2{DisplayStyle d = n^{2}} for a n \u2208 N+{Displaystyle nin mathbb {N} ^{+}} : [0, 2, 0], [0,2,1], [0,3,1], [0,3,2] etc. for D = 0 {displaystyle D=0} : [0,0,0], [0,0,1], [0,0,-1] etc. The transformation described at the beginning gives you an equivalent reduced form for each binary square shape (this is clear for definite forms). In general, transformation is called that reduces the size of the coefficients, Reduction . Using reductions, it can therefore be determined whether two forms are equivalent: Two non -degenerated indefinite forms are equivalent if their equivalent shapes are reduced in a cycle of reduced forms (see Buell, [3] Theorem 3.5). Otherwise, two forms are equivalent if their equivalent forms are identical. The transformation matrices M {displaystyle M} can be clearly done by products from elementary matrices S = ( 1101) ; T = ( 0\u2212110) {displaystyle S={begin{pmatrix}1&1\\0&1end{pmatrix}};T={begin{pmatrix}0&-1\\1&0end{pmatrix}}} represent: M = S i1T j1S i2T j2… S inT jn{displaystyle M=S^{i_{1}}T^{j_{1}}S^{i_{2}}T^{j_{2}}dots S^{i_{n}}T^{j_{n}}} . However, if you are limited to positive transformation matrices (i.e. their coefficients are greater or zero), these can also be H = ( 1101) ; L = ( 1011) {displaystyle H={begin{pmatrix}1&1\\0&1end{pmatrix}};L={begin{pmatrix}1&0\\1&1end{pmatrix}}} represent: M = L i1H j1L i2H j2… L inH jn{displaystyle m = l^{i_ {1}} H^{J_ {1}} l^{i_ {2}} H^{J_ {2}} dots l^{i_ {N}} H^{J_ { n}}} . The determination of the potencies of the elementary matrix H {displaystyle H} and L {displaystyle L} In these representations, algorithms are analogous to the extended Euclidean algorithm to determine the largest common divider of two numbers. However, this does not get any reduced shapes – there are also a few transformations with the elementary matrices S {displaystyle S} and T {displaystyle T} necessary. Gauss already described in the 1801 Inquiry arithmetic [first] Algorithms to reduce square shapes. The terms of these algorithms were in 1980 by Lagarias [5] estimated, although an exponential term can occur in the worst case. Lagarias, however, changed the Gaussian algorithm so that he in any case polynomial term (asymptotic O ( n \u22c5 m ( n ) ) {Displaystyle o (ncdot mu (n))} , whereby m ( n ) {Displaystyle MU (n)} has an upper barrier for the multiplication of binary length numbers). For degenerated forms, he could even be the asymptotic assessment O ( log \u2061 n \u22c5 m ( n ) ) {Displaystyle o (log ncdot mu (n))} show for the term. Rickert [2] Optimized the reduction salgorithm for definite forms in 1989, but without improving the asymptotic running time barrier Sch\u00f6nhage developed a quick algorithm to reduce any binary square forms and published in 1991. [4] This has the asymptotic running time barrier of O ( log \u2061 n \u22c5 m ( n ) ) {Displaystyle o (log ncdot mu (n))} . General definition of the composition [ Edit | Edit the source text ] If f , g {displaystyle f,g} and F {displaystyle F} are binary square forms, then means F {displaystyle F} one composition out of f {displaystyle f} and g {displaystyle g} if there are two bilinear shapes B first , B 2 : WITH 2 \u00d7 WITH 2 \u2192 WITH {displaystyle B_{1},B_{2}colon mathbb {Z} ^{2}times mathbb {Z} ^{2}to mathbb {Z} } gives so that f ( x ) \u22c5 g ( and ) = F ( B first ( x , and ) , B 2 ( x , and ) ) {displaystyle f(x)cdot g(y)=F(B_{1}(x,y),B_{2}(x,y))} for all x , and \u2208 WITH 2 {displaystyle x,yin mathbb {Z} ^{2}} is applicable. In case that f {displaystyle f} and g {displaystyle g} Gauss have demonstrated the existence of a compositionalgorithm, and it has shown that the existence of a composition salgorithm has demonstrated that they have shown that they have shown that the S L 2 ( WITH ) {displaystyle SL_{2}(mathbb {Z} )} -Equivalence classes of these forms form an Abelsche group, with the group operation by the above. Composition is induced. This group is called that Form class group C l ( D ) {displaystyle Cl(D)} . Calculation of the composition [ Edit | Edit the source text ] A possible procedure for calculating the composition of two forms ( a , b , c ) {displaystyle (a,b,c)} and ( a \u2032 , b \u2032 , c \u2032 ) {displaystyle (a’,b’,c’)} With discriminant D, the following algorithm delivers: determine n : = ggT \u2061 ( a , a \u2032 , ( b + b \u2032 ) \/ 2 ) {displaystyle n:=operatorname {ggT} (a,a’,(b+b’)\/2),} determine t , in , in \u2208 WITH {displaystyle t,u,vin mathbb {Z} } with n = a t + a \u2032 in + ( ( b + b \u2032 ) \/ 2 ) in {Displaystyle n = at+a’U+((b+b ‘)\/2) v,} calculate A : = aa\u2032n2{Displaystyle A: = {frac {aa ‘} {n^{2}}}} calculate B : = ab\u2032t+a\u2032bu+v(bb\u2032+D)\/2n{displaystyle B:={frac {ab’t+a’bu+v(bb’+D)\/2}{n}}} calculate C : = B2\u2212D4A{displaystyle C:={frac {B^{2}-D}{4A}}} Then apply ( a , b , c ) \u2218 ( a \u2032 , b \u2032 , c \u2032 ) = ( A , B , C ) {displaystyle (a,b,c)circ (a’,b’,c’)=(A,B,C)} . The determination of n , t , in , in {displaystyle n,t,u,v} (Steps 1. and 2nd) takes place according to the extended euclidal algorithm. Even if ( a , b , c ) {displaystyle (a,b,c)} and ( a \u2032 , b \u2032 , c \u2032 ) {displaystyle (a’,b’,c’)} are reduced is ( A , B , C ) {displaystyle (A,B,C)} generally not reduced. To determine the corresponding form class group ( A , B , C ) {displaystyle (A,B,C)} So to be reduced first. The neutral element of the form class group is the Main class , d. H. the equivalence class that the Main form the discriminant D contains. The one is Main form The discriminant D The reduced form with 1 as the first coefficient: for D negative and straight: ( first , 0 , – D \/ 4 ) {displaystyle (1,0,-D\/4)} for D negative and odd: ( first , first , ( – D – first ) \/ 4 ) {displaystyle (1,1,(-D-1)\/4)} positive for D: ( first , b , ( b 2– D ) \/ 4 ) {displaystyle (1,b,(b^{2}-D)\/4)} Example [ Edit | Edit the source text ] May be D = – 71 {displaystyle D=-71} , then the equivalence classes of the form class group C l ( – 71 ) {displaystyle Cl(-71)} represented by the following reduced forms: ( first , first , 18 ) , ( 2 , first , 9 ) , ( 2 , – first , 9 ) , ( 3 , first , 6 ) , ( 3 , – first , 6 ) , ( 4 , 3 , 5 ) , ( 4 , – 3 , 5 ) {Displaystyle (1,1,18), (2,1,9), (2, -1,9), (3,1,6), (3, -1,6), (4,3,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5 ), (4, -3,5),} So it applies h ( – 71 ) = 7 {displaystyle h(-71)=7,} and first C l ( – 71 ) = ( first , first , 18 ) {displaystyle 1_{Cl(-71)}=(1,1,18),} . It should now ( 2 , first , 9 ) \u2218 ( 3 , first , 6 ) {displaystyle (2,1,9)circ (3,1,6)} be calculated: n = ggT \u2061 ( 2 , 3 , first ) = first {displaystyle n=operatorname {ggT} (2,3,1)=1,} with t = – 2 , in = 2 , in = – first {displaystyle t=-2, u=2, v=-1,} is applicable first = n = 2 t + 3 in + first in {displaystyle 1=n=2t+3u+1v,} A : = 2\u22c5312= 6 {displaystyle A:={frac {2cdot 3}{1^{2}}}=6} B : = 2\u22c51\u22c5(\u22122)+3\u22c51\u22c52+(\u22121)\u22c5(1\u22c51\u221271)\/21= 37 {displaystyle B:={frac {2cdot 1cdot (-2)+3cdot 1cdot 2+(-1)cdot (1cdot 1-71)\/2}{1}}=37} C : = 372+714\u22c56= 60 {displaystyle C:={frac {37^{2}+71}{4cdot 6}}=60} Also, ( 2 , first , 9 ) \u2218 ( 3 , first , 6 ) = ( 6 , 37 , 60 ) \u223c ( 6 , first , 3 ) \u223c ( 3 , – first , 6 ) {displaystyle (2,1,9)circ (3,1,6)=(6,37,60)sim (6,1,3)sim (3,-1,6)} More information [ Edit | Edit the source text ] In [3] A representation of the composition of integrated binary square forms of various discriminant. A modern application of the Gau\u00df composition to the problem of prime factorial can be found in Shanks\u2019 square forms factorization . [6] In [7] There are other group structures on equivalence classes of various forms of form. In [4] a quick algorithm is described for calculating compositions. A further categorization of the indefinites of rational binary square forms comes from Markow. The starting point is the question of how much such a shape is blocked to accept the value 0. For this purpose, a form f (x, y) = AX\u00b2+BXY+CY\u00b2 is the value inf { | f ( x , and ) | : ( x , and ) \u2208 Z2\u2216 { ( 0 , 0 ) } } \/ b2\u22124ac{displaystyle inf{|f(x,y)|colon (x,y)in mathbb {Z} ^{2}setminus {(0,0)}}\/{sqrt {b^{2}-4ac}}} assigned. The amount of these values \u200b\u200bis called Markoffspektrum . It turns out that the greatest value of the markoff spectrum is the same 15{displaystyle {tfrac {1}{sqrt {5}}}} is that the markoff spectrum in the interval ( 13, 15] {displaystyle ({tfrac {1}{3}},{tfrac {1}{sqrt {5}}}]} There is no frequency points that each of the (isolated) points of the markoff spectrum in one-to-one relationship with one S L 2 ( WITH ) {displaystyle SL_{2}(mathbb {Z} )} -Equivalence class, each with different discriminators, and that these forms are closely related to the integer solutions of diophantic equation m first 2 + m 2 2 + m 3 2 = 3 m first m 2 m 3 {displaystyle m_{1}^{2}+m_{2}^{2}+m_{3}^{2}=3m_{1}m_{2}m_{3}} (the markoff numbers). [8] Scilab code for plotting binary square shapes [ Edit | Edit the source text ] x = [ - 5 : 0.1 : 5 ]; and = [ - 5 : 0.1 : 5 ]; m = length ( x ); M = zeros ( m , m ); for i = first : m for j = first : m M ( i ) ( j ) = x ( j ) ^ 2 + 4 * x ( j ) * and ( i ) + and ( i ) ^ 2 ; \/\/ square shape endend\/\/disp(M)clf;plot3d(x,y,M);Johannes Buchmann, Ulrich Vollmer: Binary Quadratic Forms . Springer, Berlin 2007, ISBN 3-540-46367-4 Duncan A. Buell: Binary Quadratic Forms . Springer, New York 1989 \u2191 a b c d C.F. Gauss: Inquiry arithmetic . German edition: H. Maser (ed.): Studies on higher arithmetics . Chelsea Publishing, 1889 \u2191 a b N.W. Rickert: Efficient Reduction of Quadratic Forms . In: E. Kaltofen, S.M. Watt (ed.): Computers and Mathematics . Springer 1989, S. 135\u2013139 \u2191 a b c d D. A. Buell: Binary Quadratic Forms . Springer-Verlag, 1989 \u2191 a b c Arnold Sch\u00f6nhage: Fast reduction and composition of binary quadratic forms . In: Proceedings of the 1991 international symposium on Symbolic and algebraic computation , S. 128\u2013133 \u2191 a b c J.C. Lagarias; Worst-Case Complexity Bounds for Algorithms in the Theory of Integral Quadratic Forms . In: J. Algorithms , 1, 1980, S. 142\u2013186 \u2191 Shanks\u2019 square forms factorization In the English -language Wikipedia \u2191 Manjul bhargava: Higher composition laws I . In: Annals of Mathematics , 159, 2004, S. 217\u2013250 \u2191 A presentation of the above results in J. W. W. S. Cassels: An introduction to Diophantine Approximation . Cambridge University Press, 1957, Chapter 2. For more comprehensive results, mostly based on completely different methods, see Thomas W. Cusick, Mary E. Flahive: The Markoff and Lagrange Spectra . American Mathematical Society, 1989 (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2en\/wiki14\/binary-square-shape-wikipedia\/#breadcrumbitem","name":"Binary square shape – Wikipedia"}}]}]