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

(→Doubling of a Cube) |
|||

(5 intermediate revisions by 2 users not shown) | |||

Line 5: | Line 5: | ||

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>. | 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 | + | 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 constructible 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>. | ||

+ | |||

+ | You can also go to this website: http://www.murderousmaths.co.uk/books/MMoE/trisect.htm | ||

==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 | + | Statement: 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>. | ||

+ | |||

+ | Just buy the book: http://www.murderousmaths.co.uk/books/MMoE.htm | ||

+ | |||

+ | ==Squaring the Circle== | ||

+ | Statement: 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 because you will have to construct <math>\sqrt{\pi}</math>, which is a [[transcendental number]]. | |

− | |||

− | + | You can go to this website: http://www.murderousmaths.co.uk/books/MMoE/sqcirc.htm | |

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

## Latest revision as of 21:19, 25 April 2016

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 constructible in this case, and the minimal polynomial of is , which has degree .

You can also go to this website: http://www.murderousmaths.co.uk/books/MMoE/trisect.htm

## Doubling of a Cube

Statement: 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 .

Just buy the book: http://www.murderousmaths.co.uk/books/MMoE.htm

## Squaring the Circle

Statement: 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 because you will have to construct , which is a transcendental number.

You can go to this website: http://www.murderousmaths.co.uk/books/MMoE/sqcirc.htm