In geometry, the compass equivalence theorem is an important statement in compass and straightedge constructions. The tool advocated by Plato in these constructions is a divider or collapsing compass, that is, a compass that "collapses" whenever it is lifted from a page, so that it may not be directly used to transfer distances. The modern compass with its fixable aperture can be used to transfer distances directly and so appears to be a more powerful instrument. However, the compass equivalence theorem states that any construction via a "modern compass" may be attained with a collapsing compass. This can be shown by establishing that with a collapsing compass, given a circle in the plane, it is possible to construct another circle of equal radius, centered at any given point on the plane. This theorem is Proposition II of Book I of Euclid's Elements. The proof of this theorem has had a chequered history. [1]
The following construction and proof of correctness are given by Euclid in his Elements. [2] Although there appear to be several cases in Euclid's treatment, depending upon choices made when interpreting ambiguous instructions, they all lead to the same conclusion, [1] and so, specific choices are given below.
Given points A, B, and C, construct a circle centered at A with radius the length of BC (that is, equivalent to the solid green circle, but centered at A).
It is possible to prove compass equivalence without the use of the straightedge. This justifies the use of "fixed compass" moves (constructing a circle of a given radius at a different location) in proofs of the Mohr–Mascheroni theorem, which states that any construction possible with straightedge and compass can be accomplished with compass alone.
Given points A, B, and C, construct a circle centered at A with the radius BC, using only a collapsing compass and no straightedge.
There are several proofs of the correctness of this construction and it is often left as an exercise for the reader. [3] [4] Here is a modern one using transformations.
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. The distance between any point of the circle and the centre is called the radius.
In geometry and algebra, a real number is constructible if and only if, given a line segment of unit length, a line segment of length can be constructed with compass and straightedge in a finite number of steps. Equivalently, is constructible if and only if there is a closed-form expression for using only integers and the operations for addition, subtraction, multiplication, division, and square roots.
Geometry arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers (arithmetic).
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a pair of compasses.
In geometry, two geometric objects are perpendicular if their intersection forms right angles at the point of intersection called a foot. The condition of perpendicularity may be represented graphically using the perpendicular symbol, ⟂. Perpendicular intersections can happen between two lines, between a line and a plane, and between two planes.
Doubling the cube, also known as the Delian problem, is an ancient geometric problem. Given the edge of a cube, the problem requires the construction of the edge of a second cube whose volume is double that of the first. As with the related problems of squaring the circle and trisecting the angle, doubling the cube is now known to be impossible to construct by using only a compass and straightedge, but even in ancient times solutions were known that employed other methods.
Angle trisection is a classical problem of straightedge and compass construction of ancient Greek mathematics. It concerns construction of an angle equal to one third of a given arbitrary angle, using only two tools: an unmarked straightedge and a compass.
In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.
In geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line AC is a diameter, the angle ∠ ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as part of the 31st proposition in the third book of Euclid's Elements. It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras.
In the branch of mathematics known as Euclidean geometry, the Poncelet–Steiner theorem is one of several results concerning compass and straightedge constructions having additional restrictions imposed on the traditional rules. This result states that whatever can be constructed by straightedge and compass together can be constructed by straightedge alone, provided that a single circle and its centre are given. This theorem is related to the rusty compass equivalence.
In mathematics, the Mohr–Mascheroni theorem states that any geometric construction that can be performed by a compass and straightedge can be performed by a compass alone.
Napoleon's problem is a compass construction problem. In it, a circle and its center are given. The challenge is to divide the circle into four equal arcs using only a compass. Napoleon was known to be an amateur mathematician, but it is not known if he either created or solved the problem. Napoleon's friend the Italian mathematician Lorenzo Mascheroni introduced the limitation of using only a compass into geometric constructions. But actually, the challenge above is easier than the real Napoleon's problem, consisting in finding the center of a given circle with compass alone. The following sections will describe solutions to three problems and proofs that they work.
In Euclidean geometry, the isodynamic points of a triangle are points associated with the triangle, with the properties that an inversion centered at one of these points transforms the given triangle into an equilateral triangle, and that the distances from the isodynamic point to the triangle vertices are inversely proportional to the opposite side lengths of the triangle. Triangles that are similar to each other have isodynamic points in corresponding locations in the plane, so the isodynamic points are triangle centers, and unlike other triangle centers the isodynamic points are also invariant under Möbius transformations. A triangle that is itself equilateral has a unique isodynamic point, at its centroid(as well as its orthocenter, its incenter, and its circumcenter, which are concurrent); every non-equilateral triangle has two isodynamic points. Isodynamic points were first studied and named by Joseph Neuberg (1885).
This is a timeline of mathematicians in ancient Greece.
In Euclidean geometry, Apollonius' problem is to construct all the circles that are tangent to three given circles. Special cases of Apollonius' problem are those in which at least one of the given circles is a point or line, i.e., is a circle of zero or infinite radius. The nine types of such limiting cases of Apollonius' problem are to construct the circles tangent to:
The following is a timeline of key developments of geometry:
In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°.
The quadratrix or trisectrix of Hippias is a curve which is created by a uniform motion. It is one of the oldest examples for a kinematic curve. Its discovery is attributed to the Greek sophist Hippias of Elis, who used it around 420 BC in an attempt to solve the angle trisection problem. Later around 350 BC Dinostratus used it in an attempt to solve the problem of squaring the circle.
Hyperbolic geometry is a non-Euclidean geometry where the first four axioms of Euclidean geometry are kept but the fifth axiom, the parallel postulate, is changed. The fifth axiom of hyperbolic geometry says that given a line L and a point P not on that line, there are at least two lines passing through P that are parallel to L. As in Euclidean geometry, where ancient Greek mathematicians used a compass and idealized ruler for constructions of lengths, angles, and other geometric figures, constructions can also be made in hyperbolic geometry.
Geometric Constructions is a mathematics textbook on constructible numbers, and more generally on using abstract algebra to model the sets of points that can be created through certain types of geometric construction, and using Galois theory to prove limits on the constructions that can be performed. It was written by George E. Martin, and published by Springer-Verlag in 1998 as volume 81 of their Undergraduate Texts in Mathematics book series.