Problem 1

Question

If $O$ and $I$ are any two points in the plane, consider a coordinate system such that the interval $O I$ coincides with the unit interval on the $x$ axis. Let $\mathbb{D}$ be the set of real numbers such that $a \in \mathbb{D}$ iff the point $(a, 0)$ is constructible from $\\{O, I\\}$. Prove the following: $$ \text { If } a, b \in \mathbb{D} \text {, then } a+b \in \mathbb{D} \text { and } a-b \in \mathbb{D} \text {. } $$

Step-by-Step Solution

Verified

Answer

If $a, b \in \mathbb{D}$, then both $a+b$ and $a-b$ are in $\mathbb{D}$ due to constructibility with compass and straightedge.

1Step 1: Understanding Constructibility

Before starting the problem, understand that constructibility means that the point can be located using just a compass and straightedge, based on given points like $O$ and $I$. Coordinates on the $x$-axis that are constructible solely using these points are part of the set $\mathbb{D}$.

2Step 2: Express Points Using Coordinates

Suppose $a$ and $b$ are in $\mathbb{D}$, then they can be expressed as points $(a, 0)$ and $(b, 0)$ on the $x$-axis that can be constructed using the compass and straightedge starting from $(0,0)$ and $(1,0)$.

3Step 3: Constructing the Sum a+b

To find $a+b$, use the property that if two points $(a, 0)$ and $(b, 0)$ are constructible, then the point $(a+b, 0)$ can be created. Draw a line from $(b, 0)$ along the axis extending $a$ units further to reach $(a+b, 0)$. This point is also constructible, hence $a+b \in \mathbb{D}$.

4Step 4: Constructing the Difference a-b

To find $a-b$, rely on the constructibility of points $(a, 0)$ and $(b, 0)$. From $(a, 0)$, draw a segment back toward the origin $(b, 0)$ for $b$ units, reaching $(a-b, 0)$. Since this point can be created by such constructions, $a-b$ is also in $\mathbb{D}$.

5Step 5: Conclusion of Constructibility Proof

Having shown through geometry constructs that both $(a+b, 0)$ and $(a-b, 0)$ can be reached using a straightedge and compass from $(a, 0)$ and $(b, 0)$, we conclude that if $a, b \in \mathbb{D}$, then both $a+b$ and $a-b$ also belong to $\mathbb{D}$.

Key Concepts

Compass and straightedgeCoordinate systemGeometric constructions

Compass and straightedge

Constructing geometric shapes like points or lines using just a compass and straightedge is an age-old tradition. These tools are used in a constrained way to create designs or locate points based solely on other given points, creating a whole world of geometric exploration.

The straightedge is used for drawing straight lines through existing points, but it doesn’t have any measurement marks on it.
The compass allows us to draw arcs that are focused on a fixed distance from a certain point. This point radiates to trace arcs that can intersect lines and other arcs.

Using these two simple tools in combination, complex constructions can be achieved. It's like solving geometric puzzles, where the pieces are carefully derived from previous steps. The beauty of compass and straightedge construction lies in its simplicity and philosophy of simplicity from complexity.

Coordinate system

A coordinate system gives us a way to specify each point uniquely in a plane using numbers, usually referred to as coordinates. Considering it in terms of Cartesian coordinates, we express a position using two numbers which define its location along the horizontal and vertical axes.

x-coordinate: This number indicates how far the point is horizontally from the origin.
y-coordinate: This figure shows the vertical distance from the origin to the point.

In the current problem, the segment between points $O$ and $I$ represents a key aspect of the coordinate system. When setting this segment as a unit interval on the $x$-axis, it simplifies the problem of construction. It allows us to examine the properties of constructibility by observing the points on this axis derived only by using simple measuring tools, much like pulling fabric through defined seams. This approach helps us in understanding the set $\mathbb{D}$ as a compile of constructible points with simple origins.

Geometric constructions

Geometric constructions present a perfect symphony of logic and creativity where the process of building figures or solving problems is achieved using rules and tools. The key operations in these constructions are restricted to the use of a compass and straightedge.Constructing sums and differences of numbers is surprisingly intuitive.

To construct the sum $a+b$, you can simply extend the line past a constructed point by another given length, visually linking two segments into one.
Constructing the difference $a-b$ follows by traveling backward from a certain point, reducing the line by the appropriate segment length.

This structured handling of segments facilitates the practical demonstration that operations inside this world of constructions are not only valid but aesthetically anchored in elementary geometry. The steps we take in creating these constructions are systematic yet quintessentially creative, refining our understanding of mathematical beauty and precision. In our set $\mathbb{D}$, sums and differences of segments remain within our grasp as long as we rely on these time-honored practices.

Problem 1

Problem 2

Other exercises in this chapter

Problem 1

If $r=\cos k+i \sin k$ is a complex number, prove that $1 / r=\cos k-i \sin k$ Conclude that $r+1 / r=2 \cos k$ By de Moivre's theorem, $$ \omega=\cos \fr

View solution

Problem 1

Prove each of the following : Let $\mathscr{d}$ be any set of points in the plane; $(a, b)$ is constructible from $\mathscr{A}$ iff $(a, 0)$ and \((0, b

View solution

Problem 2

Prove each of the following: Any constructible number can be obtained from rational numbers by repeated addition, subtraction, multiplication, division, and tak

View solution

Problem 2

By de Moivre's theorem, $$ \omega=\cos \frac{2 \pi}{7}+i \sin \frac{2 \pi}{7} $$ is a complex seventh root of unity. Since $$ x^{7}-1=(x-1)\left(x^{6}+x^{5}+x^{

View solution