|
One way to determine whether an integer x is composite is to test whether it is
evenly divisible by any integer i (1 < i <= sqrt(x)). It is not necessary to test
for larger i since all divisors come in conjugate pairs (i1 < sqrt(x), and i2 > sqrt(x))
except for the roots of perfect squares, in which case i = sqrt(x).
This dual property of divisors is expressed in the region of the curve y = sqrt(x).
The image below shows the
beginning of this curve.
|
The square roots of the first six perfect squares,
(1, 4, 9, 16, 25, 36) are highlighted with circles. This boundary becomes
increasingly horizontal at higher numbers. The image below at right shows x = 100 and its
square root 10, lying on the boundary. The green curved sweep of ordinal numbers
that includes 10 is one of the square root parabolas, explained below.
|