Racionala nombro: Malsamoj inter versioj

Matematike, eblas difini la racionalajn nombrojn kiel ordajn parojn de entjeroj <math>''(a,b)</math>'', kie <math>''b'' \neq≠ 0</math>.

* <math>''(a,b) + (c,d) := (a \cdot ·d + b \cdot ·c, b \cdot ·d)</math>''

* <math>''(a,b) \cdot· (c,d) := (a \cdot ·c, b \cdot ·d)</math>''

Pro tio ke eblas esprimi racionalajn nombrojn plurmaniere (ekz. 1/2½ = 2/4) oni aldonas la jenan [[ekvivalentorilato]]n:

* (''a'', ''b'') ~ (''c'', ''d'') se kaj nur se <math>''a \cdot· d = b \cdot· c</math>''

La kvocientan aron, kiun difinas ~, oni reprezentas per '''Q'''ℚ. Kune kun la operacioj + kaj ×, '''Q'''ℚ estas [[korpo (algebro)|korpo]], kaj fakte la plej malgranda korpo kiu enhavas la [[entjero]]jn.