Angle Trisection

by aoum, Mar 16, 2025, 10:18 PM

Angle Trisection: The Impossible Geometric Challenge

Angle trisection is the classical problem of dividing an arbitrary angle into three equal parts using only a compass and an unmarked straightedge. This problem dates back to ancient Greek mathematics and has fascinated mathematicians for centuries. Despite many attempts, it was eventually proven to be impossible to trisect a general angle with these constraints.

1. What Is the Angle Trisection Problem?

Given an arbitrary angle $\theta$, the goal is to construct an angle of $\frac{\theta}{3}$ using only:
  • A compass (for drawing circles).
  • An unmarked straightedge (for drawing straight lines without measurement).

While simple constructions like angle bisection are achievable, the Greeks could not find a universal method for angle trisection.

2. Why Is Angle Trisection Impossible?

The impossibility of trisecting any arbitrary angle using a compass and straightedge was rigorously proven by Pierre Wantzel in 1837. This result is tied to the algebraic properties of numbers that can be constructed using these tools.

The core idea comes from Galois theory and the study of field extensions:
  • Compass and straightedge constructions correspond to solving quadratic equations over the rational numbers $\mathbb{Q}$.
  • Trisecting an angle corresponds to solving a cubic equation, which is not generally solvable using these basic geometric operations.

For example, to trisect a $60^\circ$ angle, one must solve the cubic equation:

\[
4x^3 - 3x = \cos(20^\circ).
\]
Since this equation is not solvable by radicals in general, the trisection cannot be performed.

3. Algebraic Proof Outline

Suppose we want to trisect an angle $\theta$. Using the triple angle formula for cosine:

\[
\cos(3\alpha) = 4 \cos^3(\alpha) - 3 \cos(\alpha),
\]
Let $x = \cos(\alpha)$, where $\alpha = \frac{\theta}{3}$. Then, to trisect $\theta$, we must solve:

\[
4x^3 - 3x - \cos(\theta) = 0.
\]
This is a cubic equation in $x$. For most angles, the roots of this cubic are not constructible with compass and straightedge, as they require solving third-degree polynomials.

4. Special Cases of Trisection

Although general trisection is impossible, some angles can be trisected:
  • $90^\circ$, because $\frac{90^\circ}{3} = 30^\circ$ is constructible.
  • $180^\circ$, because $\frac{180^\circ}{3} = 60^\circ$ is constructible.

Angles whose cosine corresponds to a cubic with rational roots can also be trisected.

5. Methods Beyond Compass and Straightedge

Using tools beyond the classical compass and straightedge allows for angle trisection:
  • Neusis Construction: This involves a marked ruler and can trisect any angle.
  • Mechanical Devices: Trisecting machines like the tomahawk provide physical solutions.
  • Origami: Folding techniques in paper geometry can solve cubic equations and trisect angles.

Neusis construction allows angle trisection by using a marked ruler.

6. Famous Attempts and Historical Significance

Many ancient mathematicians and amateurs claimed to have trisected the angle, but these solutions always relied on tools or methods outside compass and straightedge.

Archimedes provided a famous neusis construction to trisect an angle, but this did not adhere to Greek geometric rules.

7. Modern Applications of Angle Trisection

While the classical problem may seem purely theoretical, related ideas have real-world applications:
  • Galois Theory: The impossibility proof led to significant developments in abstract algebra.
  • Field Theory: Understanding constructible numbers informs modern algebraic geometry.
  • Engineering: Precise angle division is vital in mechanical design and robotics.

8. Fun Challenges
  • Can you construct an approximation of $\frac{\theta}{3}$ with compass and straightedge?
  • Explore the connection between cubic equations and geometric constructions.
  • Investigate how origami can solve cubic and even quartic equations!

9. Conclusion

Angle trisection remains a fascinating topic bridging ancient geometry and modern algebra. While the classical problem is impossible under Greek constraints, broader mathematical tools offer creative and exact solutions.

References

Comment

0 Comments

Fun with Math!

avatar

aoum
Archives
+ March 2025
Shouts
Submit
  • The first few posts for April are out!

    by aoum, Yesterday at 11:51 PM

  • Sure! I understand that it would be quite a bit to take in.

    by aoum, Yesterday at 11:08 PM

  • No, but it is a lot to take in. Also, could you do the Gamma Function next?

    by HacheB2031, Yesterday at 3:04 AM

  • Am I going too fast? Would you like me to slow down?

    by aoum, Monday at 11:34 PM

  • Seriously, how do you make these so fast???

    by HacheB2031, Mar 31, 2025, 6:45 AM

  • I am now able to make clickable images in my posts! :)

    by aoum, Mar 29, 2025, 10:42 PM

  • Am I doing enough? Are you all expecting more from me?

    by aoum, Mar 29, 2025, 12:31 AM

  • That's all right.

    by aoum, Mar 28, 2025, 10:46 PM

  • sorry i couldn't contribute, was working on my own blog and was sick, i'll try to contribute more

    by HacheB2031, Mar 28, 2025, 2:41 AM

  • Nice blog!
    I found it through blogroll.

    by yaxuan, Mar 26, 2025, 5:26 AM

  • How are you guys finding my blog?

    by aoum, Mar 24, 2025, 4:50 PM

  • insanely high quality!

    by clarkculus, Mar 24, 2025, 3:20 AM

  • Thanks! Happy to hear that!

    by aoum, Mar 23, 2025, 7:26 PM

  • They look really nice!

    by kamuii, Mar 23, 2025, 1:50 AM

  • I've embedded images and videos in my posts now. How do they look? (Please refrain from using my code. :noo:)

    by aoum, Mar 20, 2025, 8:58 PM

48 shouts
Contributors
Tags
Problem of the Day
Fractals
geometry
poll
Collatz Conjecture
Millennium Prize Problems
pi
Riemann Hypothesis
Sir Issac Newton
AMC
Chudnovsky Algorithm
Factorials
Gauss-Legendre Algorithm
Goldbach Conjecture
infinity
Koch snowflake
MAA
Mandelbrot Set
Mastering AMC 1012
MATHCOUNTS
Matroids
Nilakantha Series
P vs NP Problem
Algorithmic Applications
AMC 10
AMC 8
angle bisector theorem
Angle trisection
Applications in Various Fields
Arc Sine Formula
Archimedes Method
Banach-Tarski Paradox
Basel Problem
Basic Reproduction Number
Bayes Theorem
Bernoulli numbers
Bertrand s Box Paradox
binomial theorem
buffon s needle
calculus
Cantor s Infinite Sets
cardinality
catalan numbers
Circumference
Coin Rotation Paradox
computer science
conditional probability
conic sections
Conjectures
Cyclic Numbers
Different Sizes of Infinity
Diseases
Double Factorials
Drake Equation
epidemiology
Euler s Formula for Polyhedra
Euler s Identity
Euler s totient function
Euler-Lagrange Equation
Exponents
Fermat s Factoring Method
fermat s last theorem
Fibonacci sequence
finite
four color theorem
Fractals and Chaos Theory
free books
Gamma function
Golden Ratio
graph theory
gravity
Greedoids
Gregory-Liebniz Series
Hailstone Problem
Heron s Formula
Hilbert s Hotel
Hodge Conjecture
Inclusion-exclusion
infinite
Irrational numbers
Law of Force and Acceleration
Leibniz Formula
logarithms
Mastering AMC 8
Menger Sponge
Minkowskis Theorem
modular arithmetic
Multinomial Theorem
Multiples of 24
National Science Bowl
Newton s First Law of Motion
Newton s Second Law of Motion
Newton s Third Law of Motion
P-adic Analysis
Parabolas
Paradox
paradoxes
Penrose Tilings
pie
prime numbers
probability
Pythagorean Theorem
Python
Ramsey s Theorem
Ramsey Theory
Reproduction Rate of Diseases
Sequences
Sets
Sierpinski Triangle
Simon s Factoring Trick
The Birthday Problem
The Book of Formulas
The HalesJewett Theorem
The Law of Action and Reaction
The Law of Inertia
Topological Insights
triangle inequality
trigonometry
twin prime conjecture
Van der Waerdens Theorem
venn diagram
Wallis Product
Zeno s Paradoxes
About Owner
  • Posts: 0
  • Joined: Nov 2, 2024
Blog Stats
  • Blog created: Mar 1, 2025
  • Total entries: 74
  • Total visits: 583
  • Total comments: 25
Search Blog
a