# Difference between revisions of "Three Greek problems of antiquity"

(Um cos 20 is algebraic) |
|||

Line 2: | Line 2: | ||

All three constructions have been shown to be impossible. | All three constructions have been shown to be impossible. | ||

+ | |||

+ | The impossibility of these constructions relies on the characterization of the [[constructible number]]s. It can be shown that, starting with a segment of length <math>1</math>, one can construct a segment of length <math>x</math> iff <math>x</math> can be formed from the rational numbers in a finite number of steps using only the operations addition, subtraction, multiplication, division, and taking square roots. Using [[field theory]], one can then show that <math>x</math> must be an [[algebraic number]] and that the degree of it's [[minimal polynomial]] must be a power of <math>2</math>. | ||

==Trisection of the General Angle== | ==Trisection of the General Angle== | ||

− | Statement: Given an angle, construct by means of [[straight edge]] and [[compass]] only, an angle one-third its measure. This is impossible because the number <math>\cos 20^{\circ}</math> would have to be constructable in this case, and | + | Statement: Given an angle, construct by means of [[straight edge]] and [[compass]] only, an angle one-third its measure. This is impossible because the number <math>\cos 20^{\circ}</math> would have to be constructable in this case, and the minimal polynomial of <math>\cos 20^{\circ}</math> is <math>8x^3-6x-1</math>, which has degree <math>3</math>. |

==Doubling of a Cube== | ==Doubling of a Cube== | ||

− | Given a cube, construct by means of [[straight edge]] and [[compass]] only, a cube with double the volume. This is impossible, because the number <math>\sqrt[3]{2}</math> would have to be constructed, and | + | Given a cube, construct by means of [[straight edge]] and [[compass]] only, a cube with double the volume. This is impossible, because the number <math>\sqrt[3]{2}</math> would have to be constructed, and the minimal polynomial of <math>\sqrt[3]{2}</math> is <math>x^3-2</math>, which has degree <math>3</math>. |

==Squaring of a Circle== | ==Squaring of a Circle== | ||

Given a circle, construct by means of [[straight edge]] and [[compass]] only, a square with area same as that of the circle. | Given a circle, construct by means of [[straight edge]] and [[compass]] only, a square with area same as that of the circle. | ||

− | This | + | This is impossible, as the [[transcendental number]] <math>\sqrt{\pi}</math> would have to be constructable in this case. |

==See Also== | ==See Also== |

## Revision as of 20:13, 20 August 2009

The **three Greek problems of antiquity** were some of the most famous unsolved problems in history. They were first posed by the Greeks but were not settled till the advent of Abstract algebra and Analysis in modern times.

All three constructions have been shown to be impossible.

The impossibility of these constructions relies on the characterization of the constructible numbers. It can be shown that, starting with a segment of length , one can construct a segment of length iff can be formed from the rational numbers in a finite number of steps using only the operations addition, subtraction, multiplication, division, and taking square roots. Using field theory, one can then show that must be an algebraic number and that the degree of it's minimal polynomial must be a power of .

## Trisection of the General Angle

Statement: Given an angle, construct by means of straight edge and compass only, an angle one-third its measure. This is impossible because the number would have to be constructable in this case, and the minimal polynomial of is , which has degree .

## Doubling of a Cube

Given a cube, construct by means of straight edge and compass only, a cube with double the volume. This is impossible, because the number would have to be constructed, and the minimal polynomial of is , which has degree .

## Squaring of a Circle

Given a circle, construct by means of straight edge and compass only, a square with area same as that of the circle.

This is impossible, as the transcendental number would have to be constructable in this case.