Nepedia
Back to Discover
Advanced Reader
🔢

Constructible number

math Maturity 7-9 Next article →

In geometry and algebra, a constructible number is a specific type of real number. It is defined by what can be created using only two tools: a compass and a straightedge.

Square root of 2 triangle
Square root of 2 triangle

If you start with a single line segment of a set unit length, a number is constructible if you can draw a new segment of that length in a finite number of steps. This concept links the physical act of drawing shapes to the abstract world of mathematical formulas. It allows mathematicians to determine which lengths are possible to create and which are not.

To understand the mechanism, we must look at how these tools work together to create points. A point is considered constructible if it is formed by the intersection of two lines, a line and a circle, or two circles.

Square root of 2 triangle
Square root of 2 triangle

These lines and circles are themselves constructed from existing points. For example, a line is drawn through two existing points, and a circle is drawn using an existing point as a center. By repeating these steps, you can find new locations in a plane. A number is then defined as constructible if it represents the length of a segment or a coordinate of one of these points.

There are two distinct ways to define these numbers: geometrically and algebraically. The geometric definition relies on the physical construction of points and segments in a plane.

Square root of 2 triangle
Square root of 2 triangle

The algebraic definition is more formal and uses formulas. An algebraically constructible real number is a number that can be expressed using only integers and the operations of addition, subtraction, multiplication, division, and square roots. This means you can use any positive number under a square root sign to build your value. These two definitions are equivalent, meaning they describe the exact same set of numbers.

Historically, these ideas trace back to ancient Greek mathematics. For many centuries, mathematicians attempted to solve famous geometric puzzles using only a compass and a straightedge.

Square root of 2 triangle
Square root of 2 triangle

These problems remained unsolved for a very long time because they were viewed strictly as drawing challenges. The breakthrough occurred when mathematicians proved the equivalence between the geometric and algebraic definitions. This allowed them to transform difficult geometry questions into algebra. By doing so, they could finally prove that certain classical problems had no solution through these specific tools.

Mathematically, constructible numbers possess very specific properties. They form what is known as a field. In abstract algebra, a field is a set where you can perform addition, subtraction, multiplication, and division without leaving the set.

Square root of 2 triangle
Square root of 2 triangle

This set is a field extension of the rational numbers. It is also the smallest field extension of the rationals that includes the square roots of all its positive numbers. This structure ensures that if you perform basic arithmetic on any two constructible numbers, the result is always another constructible number.

A fascinating way to view these numbers is through a "tower" of extensions. If a number is constructible, it must lie at the top of a finite sequence of real quadratic extensions.

Square root of 2 triangle
Square root of 2 triangle

Each step in this tower is an extension of degree 2, starting from the rational numbers. This means the total degree of the field extension must be a power of two. While being a power of two is a necessary condition, it is not always sufficient on its own. To be truly constructible, the number must also relate to a specific type of mathematical structure called a Galois group.

We can also extend these ideas to complex numbers. A complex number is constructible if its real and imaginary parts are both constructible real numbers.

Square root of 2 triangle
Square root of 2 triangle

This connects the geometry of the complex plane to the same rules used for real numbers. Even trigonometric numbers, which involve sines and cosines of certain angles, are related to this field. While many trigonometric numbers are algebraic, they are not all constructible. This distinction helps mathematicians categorize the infinite variety of numbers and shapes in our universe.

650 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (1)
File:Square root of 2 triangle.svg
Square root of 2 triangle.svg
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.