Cauchy's integral theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
there was an ambiguity in the formula 1/[i2pi]f(z)
 
Line 1: Line 1:
[[Image:Regular_Hexagon_Inscribed_in_a_Circle_240px.gif|thumb|right|Creating a regular hexagon with a ruler and compass]]
The dvr security system is often determined from the private personal pc. For more complex features like making the camera move down, up and sideways then you can go for CCTVs that have pan and tilt drives. Zmodo 16ch h.264 standalone dvr cctv surveillance system CCTV equipment can offer instant alerts when problematic trouble occurs, ensuring that crime against people, theft and vandalism are typical substantially reduced and covered.<br><br>
[[Image:Pentagon construct.gif|thumb|right|Construction of a regular pentagon]]
'''Compass-and-straightedge''' or '''ruler-and-compass construction''' is the construction of lengths, [[angle]]s, and other geometric figures using only an [[Idealization|idealized]] [[ruler]] and [[Compass (drafting)|compass]].


The idealized ruler, known as a [[straightedge]], is assumed to be infinite in length, and has no markings on it and only one edge. The compass is assumed to collapse when lifted from the page, so may not be directly used to transfer distances. (This is an unimportant restriction, as this may be achieved via the [[compass equivalence theorem]].) More formally, the only permissible constructions are those granted by [[Euclid]]'s first three postulates.
While we employed to use a Video Tape to record movies, DVR works with all the help of a hard disk drive recorder (HDR). This doesn't mean however you need to pick the most expensive DVR available with every bell and whistle imaginable.<br><br>t get fooled because of this kinds of the deal, since the majority  predominantly ([http://abuse.rc-boite.com/?url=http%3A%2F%2Fcctvdvrreviews.com http://abuse.rc-boite.com/]) of of times you happen to be going to spend for nothing. One good way to publish about your disability is to relate it for your goals. [http://ns1.orfala.se/include/set_cookie.php?kaka=mt_listtyp&varde=galleri&url=http://cctvdvrreviews.com samsung sde-3003n 4-ch cctv 1tb dvr system] cctv dvr no signal Making the site easily encountered with customers and target audiences is strictly like introducing any [http://Resistsec.org/index.php?title=Marriage_And_Dahua_Dvr_Have_More_In_Common_Than_You_Think product]. ' Put away entire the uncertainties, inquire anything regarding this to guide gathering knowledge quite showing the incorrect and ineffective facts.
 
Every point constructible using straightedge and compass may be constructed using compass alone. A number of ancient problems in [[Euclidean plane geometry|plane geometry]] impose this restriction.
 
The most famous straightedge-and-compass problems have been proven impossible in several cases by [[Pierre Wantzel]] in 1837, using the mathematical [[field theory (mathematics)|theory of fields]]. In spite of existing proofs of impossibility, some persist in trying to solve these problems.<ref>{{citation | title = What To Do When the Trisector Comes | author = Underwood Dudley | url = http://web.mst.edu/~lmhall/WhatToDoWhenTrisectorComes.pdf | journal = The Mathematical Intelligencer | volume = 5 | issue = 1 | year = 1983 | pages = 20–25 }}</ref> Many of these problems are easily solvable provided that other geometric transformations are allowed: for example, [[doubling the cube]] is possible using geometric constructions, but not possible using straightedge and compass alone.
 
==Compass and straightedge tools==
[[Image:Cyrkiel RB1.jpg|thumb|110px||right|A compass]]
The "compass" and "straightedge" of compass and straightedge constructions are idealizations of rulers and compasses in the real world:
 
*The '''compass''' can be opened arbitrarily wide, but (unlike some real [[compass (drafting)|compasses]]) it has no markings on it. Circles can only be drawn starting from two given points: the centre and a point on the circle. The compass collapses when it's not drawing a circle, so it cannot be used to copy a length to another place.
*The '''straightedge''' is infinitely long, but it has no markings on it and has only one edge, unlike ordinary rulers. It can only be used to draw a line segment between two points or to extend an existing line.
 
The modern compass generally does not collapse and several modern constructions use this feature. It would appear that the modern compass is a "more powerful" instrument than the ancient compass. However, by Proposition 2 of Book 1 of [[Euclid's Elements]], no computational power is lost by using such a collapsing compass; there is no need to transfer a distance from one location to another. Although the proposition is correct, its proofs have a long and checkered history.<ref>Godfried Toussaint, "A new look at Euclid’s second proposition," ''The Mathematical Intelligencer'', Vol. 15, No. 3, (1993), pp. 12-24.</ref>
 
Each construction must be ''exact''. "Eyeballing" it (essentially looking at the construction and guessing at its accuracy, or using some form of measurement, such as the units of measure on a ruler) and getting close does not count as a solution.
 
Each construction must ''terminate''. That is, it must have a finite number of steps, and not be the limit of ever closer approximations.
 
Stated this way, compass and straightedge constructions appear to be a [[parlour game]], rather than a serious practical problem; but the purpose of the restriction is to ensure that constructions can be ''proven'' to be ''exactly'' correct, and is thus important to both drafting (design by both [[CAD]] software and traditional drafting with pencil, paper, straight-edge and compass) and the science of weights and measures, in which exact synthesis from reference bodies or materials is extremely important.{{Citation needed|reason=Restriction to compass and straightedge tools in these areas is highly doubtful|date=October 2011}} One of the chief purposes of Greek mathematics was to find exact constructions for various lengths; for example, the side of a [[pentagon]] inscribed in a given circle. The Greeks could not find constructions for three problems:
 
* '''[[Squaring the circle]]''': Drawing a square the same area as a given circle.
* '''[[Doubling the cube]]''': Drawing a cube with twice the volume of a given cube.
* '''[[Angle trisection|Trisecting the angle]]''': Dividing a given angle into three smaller angles all of the same size.
 
For 2000 years people tried to find constructions within the limits set above, and failed. All three have now been proven under mathematical rules to be impossible generally (angles with certain values can be trisected, but not all possible angles).
 
==The basic constructions==
[[Image:Basic-construction-demo.png|thumb|right|400px|The basic constructions]]
 
All compass and straightedge constructions consist of repeated application of five basic constructions using the points, lines and circles that have already been constructed. These are:
 
*Creating the line through two existing points
 
*Creating the circle through one point with centre another point
 
*Creating the point which is the intersection of two existing, non-parallel lines
 
*Creating the one or two points in the intersection of a line and a circle (if they intersect)
 
*Creating the one or two points in the intersection of two circles (if they intersect).
 
For example, starting with just two distinct points, we can create a line or either of two circles (in turn, using each point as centre and passing through the other point). If we draw both circles, two new points are created at their intersections. Drawing lines between the two original points and one of these new points completes the construction of an equilateral triangle.
 
Therefore, in any geometric problem we have an initial set of symbols (points and lines), an algorithm, and some results. From this perspective, geometry is equivalent to an axiomatic [[Abstract Algebra|algebra]], replacing its elements by symbols. Probably [[Carl Friedrich Gauss|Gauss]] first realized this, and used it to prove the impossibility of some constructions; only much later did [[David Hilbert|Hilbert]] find a complete set of [[Hilbert's axioms|axioms for geometry]].
{{clear}}
 
==Constructible points and lengths==
[[Image:Trisectsegment.gif|thumb|400px|right|Trisecting a segment with ruler and compass.]]
 
===Formal proof===
There are many different ways to prove something is impossible. A more rigorous proof would be to demarcate the limit of the possible, and show that to solve these problems one must transgress that limit. Much of what can be constructed is covered in [[Intercept theorem|intercept theory]].
 
We could associate an algebra to our geometry using a [[Cartesian coordinate system]] made of two lines, and represent points of our plane by [[Ordered pair|vector]]s. Finally we can write these vectors as complex numbers.
 
Using the equations for lines and circles, one can show that the points at which they intersect lie in a [[Kummer theory|quadratic extension]] of the smallest field ''F'' containing two points on the line, the center of the circle, and the radius of the circle. That is, they are of the form <math>x+y{\sqrt{k}}</math>, where ''x'', ''y'', and ''k'' are in ''F''.
 
Since the field of constructible points is closed under ''square roots'', it contains all points that can be obtained by a finite sequence of quadratic extensions of the field of complex numbers with rational coefficients. By the above paragraph, one can show that any constructible point can be obtained by such a sequence of extensions. As a corollary of this, one finds that the degree of the minimal polynomial for a constructible point (and therefore of any constructible length) is a power of&nbsp;2. In particular, any constructible point (or length) is an [[algebraic number]], though not every algebraic number is constructible (i.e. the relationship between constructible lengths and algebraic numbers is not bijective); for example, <math>\sqrt[3]{2} </math> is algebraic but not constructible.
 
==Constructible angles==
There is a [[bijection]] between the angles that are constructible and the points that are constructible on any constructible circle. The angles that are constructible form an [[abelian group]] under addition modulo 2π (which corresponds to multiplication of the points on the unit circle viewed as complex numbers). The angles that are constructible are exactly those whose tangent (or equivalently, sine or cosine) is constructible as a number. For example the regular [[heptadecagon]] (the seventeen-sided [[regular polygon]]) is constructible because
 
:<math>\cos{\left(\frac{2\pi}{17}\right)} = -\frac{1}{16} \; + \; \frac{1}{16} \sqrt{17} \;+\; \frac{1}{16} \sqrt{34 - 2 \sqrt{17}} \;+\; \frac{1}{8} \sqrt{ 17 + 3 \sqrt{17} - \sqrt{34 - 2 \sqrt{17}} - 2 \sqrt{34 + 2 \sqrt{17}} }</math>
 
as discovered by [[Carl Friedrich Gauss|Gauss]].<ref>{{MathWorld | urlname=TrigonometryAnglesPi17 | title=Trigonometry Angles--Pi/17}}</ref>
 
The group of constructible angles is closed under the operation that halves angles (which corresponds to taking square roots). The only angles of finite order that may be constructed starting with two points are those whose order is either a power of two, or a product of a power of two and a set of distinct [[Fermat primes]]. In addition there is a dense set of constructible angles of infinite order.
 
==Compass and straightedge constructions as complex arithmetic==
Given a set of points in the [[Euclidean plane]], selecting any one of them to be called '''0''' and another to be called '''1''', together with an arbitrary choice of [[orientation (mathematics)|orientation]] allows us to consider the points as a set of [[complex number]]s.
 
Given any such interpretation of a set of points as complex numbers, the points constructible using valid compass and straightedge constructions alone are precisely the elements of the smallest [[field (mathematics)|field]] containing the original set of points and closed under the [[complex conjugate]] and [[square root]] operations (to avoid ambiguity, we can specify the square root with [[complex argument]] less than π). The elements of this field are precisely those that may be expressed as a formula in the original points using only the operations of [[addition]], [[subtraction]], [[multiplication]], [[division (mathematics)|division]], [[complex conjugate]], and [[square root]], which is easily seen to be a countable dense subset of the plane. Each of these six operations corresponding to a simple compass and straightedge construction. From such a formula it is straightforward to produce a construction of the corresponding point by combining the constructions for each of the arithmetic operations. More efficient constructions of a particular set of points correspond to shortcuts in such calculations.
 
Equivalently (and with no need to arbitrarily choose two points) we can say that, given an arbitrary choice of orientation, a set of points determines a set of complex ratios given by the ratios of the differences between any two pairs of points. The set of ratios constructible using compass and straightedge from such a set of ratios is precisely the smallest field containing the original ratios and closed under taking complex conjugates and square roots.
 
For example the real part, imaginary part and modulus of a point or ratio ''z'' (taking one of the two viewpoints above) are constructible as these may be expressed as
:<math>\mathrm{Re}(z)=\frac{z+\bar z}{2}\;</math>
:<math>\mathrm{Im}(z)=\frac{z-\bar z}{2i}\;</math>
:<math>\left | z \right | = \sqrt{z \bar z}.\;</math>
 
''Doubling the cube'' and ''trisection of an angle'' (except for special angles such as any ''φ'' such that ''φ''/6π is a [[rational number]] with [[denominator]] the product of a power of two and a set of distinct [[Fermat primes]]) require ratios which are the solution to [[cubic equation]]s, while ''squaring the circle'' requires a [[transcendental number|transcendental]] ratio. None of these are in the fields described, hence no compass and straightedge construction for these exists.
 
==Impossible constructions==
The following three construction problems, whose origins date from Greek antiquity, were considered ''impossible'' in the sense that they could not be solved using only the compass and straightedge. With modern mathematical methods this "consideration" of the Greek mathematicians can be proved to be correct. The problems themselves, however, are solvable, and the Greeks knew how to solve them, ''without'' the constraint of working only with straightedge and compass.
 
===Squaring the circle===
{{Main|Squaring the circle}}
 
The most famous of these problems, '''[[squaring the circle]]''', otherwise known as the '''quadrature of the circle''', involves constructing a square with the same area as a given circle using only straightedge and compass.
 
Squaring the circle has been proven impossible, as it involves generating a [[transcendental number]], that is, <math>{\sqrt{\pi}}</math>. Only certain [[algebraic number]]s can be constructed with ruler and compass alone, namely those constructed from the integers with a finite sequence of operations of addition, subtraction, multiplication, division, and taking square roots. The phrase "squaring the circle" is often used to mean "doing the impossible" for this reason.
 
Without the constraint of requiring solution by ruler and compass alone, the problem is easily solvable by a wide variety of geometric and algebraic means, and has been solved many times in antiquity.
 
===Doubling the cube===
{{Main|Doubling the cube}}
'''Doubling the cube''': using only a straight-edge and compass, construct the side of a cube that has twice the volume of a cube with a given side. This is impossible because the cube root of 2, though algebraic, cannot be computed from integers by addition, subtraction, multiplication, division, and taking square roots.  This follows because its [[minimal polynomial (field theory)|minimal polynomial]] over the rationals has degree&nbsp;3. This construction is possible using a straightedge with two marks on it and a compass.
 
===Angle trisection===
{{Main|Angle trisection}}
 
'''Angle trisection''': using only a straightedge and a compass, construct an angle that is one-third of a given arbitrary angle. This is impossible in the general case.  For example: though the angle of π/3 [[radian]]s (60[[Degree (angle)|°]]) cannot be trisected, the angle 2π/5 [[radian]]s (72° = 360°/5) can be trisected. This problem is also easily solved when a straightedge with two marks on it is allowed (a [[neusis]] construction).
 
==Constructing regular polygons==
{{Main|Constructible polygon}}
[[File:Straight Square Inscribed in a Circle 240px.gif|thumb|right|Construction of a square.]]
Some [[regular polygon]]s (e.g. a [[pentagon]]) are easy to construct with straightedge and compass; others are not. This led to the question: Is it possible to construct all regular polygons with straightedge and compass?
 
[[Carl Friedrich Gauss]] in 1796 showed that a regular ''n''-sided polygon can be constructed with straightedge and compass if the odd [[prime factor]]s of ''n'' are distinct [[Fermat prime]]s. Gauss [[conjecture]]d that this condition was also [[necessary condition|necessary]], but he offered no proof of this fact, which was provided by [[Pierre Wantzel]] in 1837.<ref>{{cite book|last=Kazarinoff|first=Nicholas D.|title=Ruler and the Round|year=2003|publisher=Dover|location=Mineola, N.Y.|isbn=0-486-42515-0|pages=29–30}}</ref>
 
==Constructing with only ruler or only compass==
It is possible (according to the [[Mohr–Mascheroni theorem]]) to construct anything with just a compass if it can be constructed with a ruler and compass, provided that the given data and the data to be found consist of discrete points (not lines or circles). It is impossible to take a square root with just a ruler, so some things that cannot be constructed with a ruler can be constructed with a compass; but (by the [[Poncelet–Steiner theorem]]) given a single circle and its center, they can be constructed.
 
==Extended constructions==
===Markable rulers===
{{main|Neusis construction}}
[[Archimedes]] and [[Apollonius of Perga|Apollonius]] gave constructions involving the use of a markable ruler. This  would permit them, for example, to take a line segment, two lines (or circles), and a point; and then draw a line which passes through the given point and intersects both lines, and such that the distance between the points of intersection equals the given segment. This the Greeks  called ''neusis'' ("inclination", "tendency" or "verging"), because the new line ''tends'' to the point.
In this expanded scheme, any distance whose ratio to an existing distance is the solution of a [[cubic equation|cubic]] or a [[quartic equation]] is constructible. It follows that, if markable rulers and neusis are permitted, the trisection of the angle (see [http://www.cut-the-knot.org/pythagoras/archi.shtml Archimedes' trisection]) and the duplication of the cube can be achieved; the quadrature of the circle is still impossible.  Some regular polygons, like the [[heptagon]],  become constructible; and [[John H. Conway]] gives constructions for several of them;<ref>Conway, John H. and Richard Guy: ''The Book of Numbers''</ref> but the 11-sided polygon, the [[hendecagon]], is still impossible, and infinitely many others.
 
When only an angle trisector is permitted, there is a complete description of all regular polygons which can be constructed, including above mentioned regular [[heptagon]], [[triskaidecagon]] (13-gon) and [[enneadecagon]] (19-gon).<ref>[[Andrew Gleason|Gleason, Andrew]]:
"Angle trisection, the heptagon, and the triskaidecagon",
''Amer. Math. Monthly'' '''95''' (1988), no. 3, 185-194.</ref>  It is open whether there are infinitely many primes '''p''' for which a regular '''p'''-gon is constructible with ruler, compass and an angle trisector.
 
===Origami===
{{main|Huzita–Hatori axioms}}
The [[Mathematics of paper folding|mathematical theory of origami]] is more powerful than compass and straightedge construction. Folds satisfying the Huzita–Hatori axioms can construct exactly the same set of points as the extended constructions using a compass and a marked ruler. Therefore [[origami]] can also  be used to solve cubic equations (and hence quartic equations), and thus solve two of the classical problems.<ref>{{cite book|last=Row|first=T. Sundara|title=Geometric Exercises in Paper Folding|year=1966|publisher=Dover|location=New York}}</ref>
 
===The extension field===
In abstract terms, using these more powerful tools of either neusis using a markable ruler or the constructions of origami [[algebraic extension|extends]] the field of [[constructible number]]s to a larger subfield of the complex numbers, which contains not only the square root, but also the [[cube root]]s, of every element. The arithmetic formulae for constructible points described [[#Constructible points and lengths|above]] have analogies in this larger field, allowing formulae that include cube roots as well. The field extension generated by any additional point constructible in this larger field has degree a multiple of a power of two and a power of three, and may be broken into a tower of extensions of degree 2 and 3.
 
==Computation of binary digits==
In 1998 [[Simon Plouffe]] gave a ruler and compass [[algorithm]] that can be used to compute [[binary digit]]s of certain numbers.<ref name="Plouffe1998">{{cite journal|title=The Computation of Certain Numbers Using a Ruler and Compass|author=Simon Plouffe |journal=Journal of Integer Sequences|year=1998|issn=1530-7638|volume=1|url=http://www.cs.uwaterloo.ca/journals/JIS/compass.html}}</ref>
The algorithm basically involves the repeated doubling of an angle and becomes physically impractical after about 20 binary digits.
 
==See also==
*[[Constructible number]]
*[[Constructible polygon]]
*[[Carlyle circle]]
*[[Geometrography]]
*[[Interactive geometry software]] may allow the user to create and manipulate ruler-and-compass constructions.
*[[List of interactive geometry software]], most of them show compass and straightedge constructions
*[[Mohr–Mascheroni theorem]]
*[[Poncelet–Steiner theorem]]
*[[Underwood Dudley]], a mathematician that has made a sideline of collecting false ruler-and-compass proofs.
 
==References==
<references/>
 
==External links==
*[http://wims.unice.fr/~wims/wims.cgi?&+lang=en&+module=tool%2Fgeometry%2Frulecomp.fr Online ruler-and-compass construction tool] (in French)
*[http://www.playmycode.com/play/game/torusglider/straightedge-and-compass Straightedge and Compass] online construction tool, at ''playmycode.com''
*[http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Squaring_the_circle.html Squaring the circle] at ''[[MacTutor History of Mathematics archive|MacTutor]]''
*[http://www-gap.dcs.st-and.ac.uk/~history/HistTopics/Doubling_the_cube.html Doubling the cube] at ''MacTutor''
*[http://www.jimloy.com/geometry/trisect.htm Trisection of an Angle] by Jim Loy
*[http://mathforum.org/dr.math/faq/formulas/faq.regpoly.html Regular polygon constructions] by Dr. Math at ''The Math Forum @ Drexel''
*[http://www.cut-the-knot.org/do_you_know/compass.shtml Construction with the Compass Only] at ''[[cut-the-knot]]''
* [http://www.cut-the-knot.org/Curriculum/Geometry/Hippocrates.shtml Angle Trisection by Hippocrates] at ''cut-the-knot''
* {{MathWorld | urlname=AngleTrisection | title=Angle Trisection}}
*[http://www.mathopenref.com/tocs/constructionstoc.html Various constructions using compass and straightedge] With interactive animated step-by-step instructions
* ''Math Tricks Help You Design Shop Projects: master a simple compass and you're a designer; convert your router into one with a trammel and away you go'', Popular Science, May 1971, p104,106,108, Scanned article via Google Books: http://books.google.com/books?id=ngAAAAAAMBAJ&pg=PA104
 
[[Category:Euclidean plane geometry|*]]
[[Category:Compass and straightedge constructions]]
 
{{Link GA|es}}
 
[[eo:Geometrio#Klasikaj problemoj]]

Latest revision as of 07:15, 9 November 2014

The dvr security system is often determined from the private personal pc. For more complex features like making the camera move down, up and sideways then you can go for CCTVs that have pan and tilt drives. Zmodo 16ch h.264 standalone dvr cctv surveillance system CCTV equipment can offer instant alerts when problematic trouble occurs, ensuring that crime against people, theft and vandalism are typical substantially reduced and covered.

While we employed to use a Video Tape to record movies, DVR works with all the help of a hard disk drive recorder (HDR). This doesn't mean however you need to pick the most expensive DVR available with every bell and whistle imaginable.

t get fooled because of this kinds of the deal, since the majority predominantly (http://abuse.rc-boite.com/) of of times you happen to be going to spend for nothing. One good way to publish about your disability is to relate it for your goals. samsung sde-3003n 4-ch cctv 1tb dvr system cctv dvr no signal Making the site easily encountered with customers and target audiences is strictly like introducing any product. ' Put away entire the uncertainties, inquire anything regarding this to guide gathering knowledge quite showing the incorrect and ineffective facts.