Let a > 0 be a positive real number. The equation x^2=a has two real solutions x_1,x_2\in\mathbb R, called the square roots of the number a and denoted by x_1:=\sqrt a and x_2:=- \sqrt a.
Proofs: 1
Definitions: 1 2
Proofs: 3 4 5 6 7
Propositions: 8
Solutions: 9
Topics: 10 11