Straight Line and its construction
From Math Images
Line 3:  Line 3:  
ImageSize=280px  ImageSize=280px  
Image=S351.jpg  Image=S351.jpg  
  ImageIntro=Independently invented by a French army officer, CharlesNicolas Peaucellier and a Lithuanian (disputable) mathematician Lipmann Lipkin, this is  +  ImageIntro=Independently invented by a French army officer, CharlesNicolas Peaucellier and a Lithuanian (Nationality disputable; some say he is Russian.) mathematician Lipmann Lipkin, this is the first planar {{EasyBalloonLink=linkageBalloon=It is defined as a series of rigid links connected with joints to form a closed chain, or a series of closed chains. Each link has two or more joints, and the joints have various degrees of freedom to allow motion between the links.}} that drew a straight line without using a straight edge and it had important applications in engineering and mathematics. 
  +  
  +  
  +  
  +  
+  =Introduction=  
+  What is a straight line? How do you define straightness? How do you construct something straight without assuming you have a straight edge? These are questions that seem silly to ask because they are so intuitive. We come to accept that straightness is simply straightness and its definition, like that of point and line, is simply assumed. However, compare this to the way we draw a circle. When using a compass to draw a circle, we are not starting with a figure that we accept as circular; instead, we are using a fundamental property of circles, that the points on a circle are at a fixed distance from the center. This page explores the properties of straight lines and more importantly and interestingly their constructions.  
  +  =What Is A Straight Line? A Question Rarely Asked.=  
+  {{{!}}  
+  {{!}}colspan="2"{{!}}Today, we simply define a line as a onedimensional object that extents to infinity in both directions and it is straight, i.e. no wiggles along its length. But what is straightness? It is a hard question because we have the picture in our head and the answer right there under our breath but we simply cannot articulate it.  
  +  In Euclid's book '''''Elements''''', he defined a straight line as "lying evenly between its extreme points" and it has "breadthless width." The definition is pretty useless. What does he mean if he says "lying evenly"? It tells us nothing about how to describe or construct a straight line. So what is a straightness anyway? There are a few good answers. For instance, in the Cartesian Coordinates, the graph of <math>y=ax+b</math> is a straight line. In addition, the shortest distance between two points on a flat plane is a straight line, a definition we are most familiar with. However, it is important to realize that the definitions of being "shortest" and "straight" will change when you are no longer on flat plane. For example, the shortest distance between two points on a sphere is the the "great circle", a section of a sphere that contains a diameter of the sphere, and great circle is straight on the spherical surface.  
  +  
  +  For more properties on staight line, you refer to the book '''''Experience Geometry''''' by zzz.  
  +  {{!}}  
  +  {{!}}align="center"{{!}}[[Image:Straightline.jpgcenterborder400px]] '''Image 1'''{{!}}{{!}}align="center"{{!}}[[Image:SmallGreatCircles 700.gifcenterborder]]'''Image 2'''  
  '''Image 2'''  +  
{{!}}}  {{!}}}  
  +  = The Quest to Draw a Straight Line =  
  +  =='''The Practical Need'''==  
{{{!}}  {{{!}}  
Line 34:  Line 32:  
{{!}}align="center"{{!}}'''Image 3'''  {{!}}align="center"{{!}}'''Image 3'''  
{{!}}  {{!}}  
  {{!}}'''Image 3''' shows a patent drawing of an early steam engine. It is of the simplest form with a boiler (on the left), a cylinder with piston, a beam (on top) and a pump (on the right side) at the other end. The pump was usually used to extract water from the mines  +  {{!}}'''Image 3''' shows a patent drawing of an early steam engine. It is of the simplest form with a boiler (on the left), a cylinder with piston, a beam (on top) and a pump (on the right side) at the other end. The pump was usually used to extract water from the mines. 
{{!}}  {{!}}  
  {{!}}  +  {{!}}{{HideShowThisShowMessage=Click here to show how this engine works.HideMessage=Click here to hide textHiddenText=When the piston is at its lowest position, steam is let into the cylinder from valve K and it pushes the piston upwards. Afterward, when the piston is at its highest position, cold water is let in from valve E, cooling the steam in the cylinder and causing the pressure in the the cylinder to drop below the atmospheric pressure. The difference in pressure caused the piston to move downwards. After the piston returns to the lowest position, the whole process is repeated. This kind of steam engine is called "atmospheric" because it utilized atmospheric pressure to cause the downward action of the piston (steam only balances out the atmospheric pressure and allow the piston to return to the highest point). Since in the downward motion, the piston pulls on the beam and in the upward motion, the beam pulls on the piston, the connection between the end of the piston rod and the beam is always in tension (under stretching) and that is why a chain is used as the connection.}} 
{{!}}  {{!}}  
  {{!}}  +  {{!}}Ideally, the piston moves in the vertical direction and the piston rod takes only axial loading, i.e. forces applied in the direction along the rod. However, from the above picture, it is clear that the end of the piston does not move in a straight line due to the fact that the end of the beam describes an arch of a circle. As a result, horizontal forces are created and subjected onto the piston rod. Consequently, the process of wear and tear is very much quickened and the efficiency of the engine greatly compromised. Now considering that the upanddown cycle repeats itself hundreds of times every minute and the engine is expected to run 24/7 to make profits for the investors, such defect in the engine must not be tolerated and thus poses a great need for improvements. 
  {{!}}  +  {{!}}} 
  {  +  
  {{!}}  +  {{{!}} 
  {{!}}Improvements were made. Firstly, "doubleaction" engines were made, part of which is shown in '''Image 4'''.  +  {{!}}colspan="2"{{!}}Improvements were made. Firstly, "doubleaction" engines were made, part of which is shown in '''Image 4'''. Secondly, beam was dispensed and replaced by a gear as shown in '''Image 5'''. However, both of these methods were not satisfactory and the need for a linkage that produces straight line action was still imperative. 
  +  
  +  
{{!}}  {{!}}  
  {{!}}align="center"{{!}}'''Image 5'''  +  {{!}}align="center"{{!}}[[Image:Img325.gifcenterborder500px]]'''Image 4'''{{!}}{{!}}align="center"{{!}}[[Image:Img326.gifbordercenter200px]]'''Image 5''' 
{{!}}  {{!}}  
  {{!}}  +  {{!}}colspan="2"{{!}}{{HideShowThisShowMessage=Why those engines were unsatisfactory?HideMessage=HideHiddenText=In '''Image 4''', atmospheric pressure acts in both upward and downward strokes of the engine and two chains were used (one connected to the top of the arched end of the beam and one to the bottom), both of which will take turns to be in tension throughout one cycle. One might ask why chain was used all the time. The answer was simple: to fit the curved end of the beam. However, this does not fundamentally solved the problem and unfortunately created more. The additional chain increased the height of the engine and made the manufacturing very difficult (it was hard to make straight steel bars and rods back then) and costly. In '''Image 5''', after the beam was replaced by gear actions, the piston rod was fitted with teeth (labeled k) to drive the gear. Theoretically, this solves the problem fundamentally. The piston rod is confined between the guiding wheel at K and the gear, and it moves only in the upanddown motion. However, the practical problem was still there. The friction and the noise between all the guideways and the wheels could not be ignored, not to mention the increased possibility of failure and cost of maintenance due to additional parts.}} 
{{!}}}  {{!}}}  
  +  =='''James Watt's breakthrough'''==  
{{{!}}  {{{!}}  
Line 62:  Line 58:  
{{!}}}  {{!}}}  
  +  =='''The Motion of Point P'''==  
  We intend to described the path of <math>P</math> so that we could show it does not move in a straight line (which is obvious) and more importantly to pinpoint the position of <math>P</math> using certain parameter we know such as the angle of rotation or one coordinate of point <math>P</math>. This is awfully  +  We intend to described the path of <math>P</math> so that we could show it does not move in a straight line (which is obvious in the animation) and more importantly to pinpoint the position of <math>P</math> using certain parameter we know such as the angle of rotation or one coordinate of point <math>P</math>. This is awfully crucial in engineering as engineers would like to know that there are no two parts of the machine will collide with each other throughout the motion. In addition, you can use the parametrization to create your own animation like that in '''Image 7'''. 
  +  ==='''Algebraic Description'''===  
{{{!}}  {{{!}}  
{{!}}We see that <math>P</math> moves in a stretched figure 8 and will tend to think that there should be a nice close form of the relationship between the coordinates of <math>P</math> like that of the circle. But after this section, you will see that there is a closed form, at least theoretically, but it is not "nice" at all.  {{!}}We see that <math>P</math> moves in a stretched figure 8 and will tend to think that there should be a nice close form of the relationship between the coordinates of <math>P</math> like that of the circle. But after this section, you will see that there is a closed form, at least theoretically, but it is not "nice" at all.  
Line 73:  Line 69:  
{{!}}align="center"{{!}}'''Image 8'''  {{!}}align="center"{{!}}'''Image 8'''  
{{!}}  {{!}}  
  {{!}}We know coordinates <math>A</math> and <math>D</math>. Hence let the coordinates of <math>A</math> be <math>(0,0)</math>, coordinates of <math>B</math> be <math>(c,d)</math>. We also know the length of the bar. Let <math>AB=CD=r, BC=m</math>.  +  {{!}}{{HideShowThisShowMessage=Show derivation.HideMessage=HideHiddenText=We know coordinates <math>A</math> and <math>D</math>. Hence let the coordinates of <math>A</math> be <math>(0,0)</math>, coordinates of <math>B</math> be <math>(c,d)</math>. We also know the length of the bar. Let <math>AB=CD=r, BC=m</math>. 
Suppose that at one instance we know the coordinates of <math>B</math> as <math>(a,b)</math>, then <math>P</math> will be on the circle centered at <math>B</math> with a radius of <math>m</math>. Since <math>P</math> is on the circle centered at <math>D</math> with radius <math>r</math>. Then the coordinates of <math>C</math> have to satisfy the two equations below.  Suppose that at one instance we know the coordinates of <math>B</math> as <math>(a,b)</math>, then <math>P</math> will be on the circle centered at <math>B</math> with a radius of <math>m</math>. Since <math>P</math> is on the circle centered at <math>D</math> with radius <math>r</math>. Then the coordinates of <math>C</math> have to satisfy the two equations below.  
Line 130:  Line 126:  
{{!}}}  {{!}}}  
  In the last step we substitute <math>a=g(x,y,d,c,m,r)</math>,<math>b=\pm \sqrt {r^2a^2}</math>, {{EquationNoteEq. 5}} and {{EquationNoteEq. 6}} back into {{EquationNoteEq. 4}} and we will finally have a relationship between <math>x'</math> and <math>y'</math>. Of course, it will be a messy one but we could definitely use Mathematica to do the maths.  +  In the last step we substitute <math>a=g(x,y,d,c,m,r)</math>,<math>b=\pm \sqrt {r^2a^2}</math>, {{EquationNoteEq. 5}} and {{EquationNoteEq. 6}} back into {{EquationNoteEq. 4}} and we will finally have a relationship between <math>x'</math> and <math>y'</math>. Of course, it will be a messy one but we could definitely use Mathematica to do the maths.}} 
{{!}}}  {{!}}}  
  +  ==='''Parametric Description'''===  
{{{!}}  {{{!}}  
{{!}}Alright, since the algebraic equations are not agreeable at all, we have to resort to the parametric description. To think about, it would not be too bad if we could describe the motion of <math>P</math> using the angle of ration. As a matter of fact, it is easier to obtain the angle of rotation than knowing one of <math>P</math>'s coordinates.  {{!}}Alright, since the algebraic equations are not agreeable at all, we have to resort to the parametric description. To think about, it would not be too bad if we could describe the motion of <math>P</math> using the angle of ration. As a matter of fact, it is easier to obtain the angle of rotation than knowing one of <math>P</math>'s coordinates.  
Line 141:  Line 137:  
{{!}}align="center"{{!}}'''Image 9'''  {{!}}align="center"{{!}}'''Image 9'''  
{{!}}  {{!}}  
  {{!}}We will parametrize the <math>P</math> with the angle <math>\theta</math> in conformation of most parametrizations of point.  +  {{!}}{{HideShowThisShowMessage=Show derivation.HideMessage=HideHiddenText=We will parametrize the <math>P</math> with the angle <math>\theta</math> in conformation of most parametrizations of point. 
<math>\begin{cases}  <math>\begin{cases}  
Line 172:  Line 168:  
\end{align}</math>  \end{align}</math>  
  Now, <math>\overrightarrow {AP}</math> is parametrized in term of <math>\theta, c, d, r</math> and <math>m</math>.  +  Now, <math>\overrightarrow {AP}</math> is parametrized in term of <math>\theta, c, d, r</math> and <math>m</math>.}} 
{{!}}  {{!}}  
{{!}}[[Image:Watt2.gifcenterborder450px]]  {{!}}[[Image:Watt2.gifcenterborder450px]]  
{{!}}  {{!}}  
{{!}}align="center"{{!}}'''Image 10'''  {{!}}align="center"{{!}}'''Image 10'''  
+  {{!}}}  
+  
+  {{{!}}  
+  {{!}}colspan="2"{{!}}Imitations were a big problems beck in those days. When filing for a patent, James Watt and other inventors, had to explain how their devices work without revealing the critical secrets so that others could easily copy them. As seen in '''Image 10''', the original patent illustration, Watt illustrated his simple linkage on a separate diagram but we couldn't find it in anywhere in the illustration. That is Watt's secret. What he had actually used on his engine was the modified version of the basic linkage as show in '''Image 11'''. The link <math>ABCD</math> is the original three member linkage with <math>AB=CD</math> and point <math>P</math> being the midpoint of <math>BC</math>. A is the pivot of the beam fixed on the engine frame while D is also fixed. However, Watt modified it by adding a parallelogram <math>BCFE</math> to it and connecting point <math>F</math> to the piston rod. We now know that point <math>P</math> moves in quasi straight line as shown previously. The importance for two points move in a straight line is that one has to be connected to the piston rod that drives the beam, another will convert the circular motion to linear motion so as to drive the valve gears that control the opening and closing of the valves. It turns out that point F moves in a similar quasi straight line as point P. This is the truly famous "parallel motion" linkage.  
{{!}}  {{!}}  
  +  {{!}}[[Image:Watt1.pngcenterborder600px]]{{!}}{{!}}[[Image:JWpointF.pngcenter550px]]  
  +  
  {{!}}[[Image:Watt1.pngcenterborder600px]]  +  
  +  
  +  
  +  
  +  
  {{!}}  +  
  {{!}}[[Image:JWpointF.pngcenter550px]]  +  
{{!}}  {{!}}  
  {{!}}align="center"{{!}}'''Image 12'''  +  {{!}}align="center"{{!}}'''Image 11'''{{!}}{{!}}align="center"{{!}}'''Image 12''' 
{{!}}  {{!}}  
  {{!}}<math>\overrightarrow {AB} = (r \sin \theta, r \cos \theta)  +  {{!}}{{HideShowThisShowMessage=How would we find the parametric equation for point <math>F</math> then?HideMessage=HideHiddenText=Well, it is easy enough. Refer to '''Image 12''' 
+  <math>\overrightarrow {AB} = (r \sin \theta, r \cos \theta)  
\therefore \overrightarrow {AE} = \frac {e+f}{r}(r \sin \theta, r \cos \theta)</math>  \therefore \overrightarrow {AE} = \frac {e+f}{r}(r \sin \theta, r \cos \theta)</math>  
Line 196:  Line 189:  
Furthermore <math>\overrightarrow {AF} = \overrightarrow {AE} + \overrightarrow {BC}</math>  Furthermore <math>\overrightarrow {AF} = \overrightarrow {AE} + \overrightarrow {BC}</math>  
  Therefore, <math> \overrightarrow {AF} = \frac {e+f}{r}(r \sin \theta, r \cos \theta) + (m \sin (\frac {\pi}{2} + \beta + \alpha), m \cos (\frac {\pi}{2} + \beta + \alpha))</math>  +  Therefore, <math> \overrightarrow {AF} = \frac {e+f}{r}(r \sin \theta, r \cos \theta) + (m \sin (\frac {\pi}{2} + \beta + \alpha), m \cos (\frac {\pi}{2} + \beta + \alpha))</math>}} 
{{!}}}  {{!}}}  
  +  =='''The First Planar Straight Line Linkage  PeaucellierLipkin Linkage'''==  
{{{!}}  {{{!}}  
  {{!}}align="center"{{!}}[[Image:Peaucellier linkage animation.gifcenterborder]]'''Image 13'''{{!}}{{!}}Mathematicians and engineers  +  {{!}}align="center"{{!}}[[Image:Peaucellier linkage animation.gifcenterborder]]'''Image 13'''{{!}}{{!}}Mathematicians and engineers had being searching for almost a century to find the solution to the straight line linkage but all had failed until 1864, a French army officer Charles Nicolas Peaucellier came up with his ''inversor linkage''. Interestingly, he did not publish his findings and proof until 1873, when Lipmann I. Lipkin, a student from University of St. Petersburg, demonstrated the same working model at the World Exhibition in Vienna. Peaucellier acknowledged Lipkin's independent findings with the publication of the details of his discovery in 1864 and the mathematical proof. 
Line 251:  Line 244:  
{{!}}}  {{!}}}  
  +  =='''Inversive Geometry in PeaucellierLipkin Linkage'''==  
As a matter of fact, the first part of the proof given above is already sufficient. Due to inversive geometry, once we have shown that points <math>O</math>,<math>C</math> and <math>P</math> are collinear and that <math>OC \cdot OP</math> is of constant value. Points <math>C</math> and <math>P</math> are inversive pairs with <math>O</math> as inversive center. Therefore, once <math>C</math> moves in a circle that contains <math>O</math>, then <math>P</math> will move in a straight line and vice versa. ∎ See [[Inversion]] for more detail.  As a matter of fact, the first part of the proof given above is already sufficient. Due to inversive geometry, once we have shown that points <math>O</math>,<math>C</math> and <math>P</math> are collinear and that <math>OC \cdot OP</math> is of constant value. Points <math>C</math> and <math>P</math> are inversive pairs with <math>O</math> as inversive center. Therefore, once <math>C</math> moves in a circle that contains <math>O</math>, then <math>P</math> will move in a straight line and vice versa. ∎ See [[Inversion]] for more detail.  
  +  =='''PeaucellierLipkin Linkage in Action'''==  
{{{!}}  {{{!}}  
{{!}}[[Image:Adapted.jpgborder600pxcenterMr.Prim's adaptation]]  {{!}}[[Image:Adapted.jpgborder600pxcenterMr.Prim's adaptation]]  
Line 261:  Line 254:  
{{!}}align="center"{{!}}'''Image 16'''  {{!}}align="center"{{!}}'''Image 16'''  
{{!}}  {{!}}  
  {{!}}The new linkage caused considerable excitement in London. Mr. Prim, "engineer to the House", utilized the new compact form invented by H.Hart to fit his new blowing engine which proved to be "exceptionally quiet in their operation." In this compact form, <math>DA=DC</math>, <math>AF=CF</math> and <math>AB = BC</math>. Point <math>E</math> and <math>F</math> are fixed pivots. In '''Image 16'''. F is the inversive center and points <math>D</math>,<math>F</math> and <math>B</math> are collinear and <math>DF \cdot DB</math> is of constant value  +  {{!}}The new linkage caused considerable excitement in London. Mr. Prim, "engineer to the House", utilized the new compact form invented by H.Hart to fit his new blowing engine which proved to be "exceptionally quiet in their operation." In this compact form, <math>DA=DC</math>, <math>AF=CF</math> and <math>AB = BC</math>. Point <math>E</math> and <math>F</math> are fixed pivots. In '''Image 16'''. F is the inversive center and points <math>D</math>,<math>F</math> and <math>B</math> are collinear and <math>DF \cdot DB</math> is of constant value. Mr. Prim's blowing engine used for ventilating the House of Commons, 1877. The crosshead of the reciprocating air pump is guided by a Peaucellier linkage shown in '''Image 17'''. The slatelined air cylinders had rubberflap inlet and exhaust valves and a piston whose periphery was formed by two rows of brush bristles. Prim's machine was driven by a steam engine. 
{{!}}  {{!}}  
{{!}}[[Image:Blowing engine.jpgcenterborder600px]]  {{!}}[[Image:Blowing engine.jpgcenterborder600px]]  
Line 269:  Line 262:  
  +  =='''Hart's Linkage'''==  
{{{!}}  {{{!}}  
{{!}}After PeaucellierLipkin Linkage was introduced to England in 1874, Mr. Hart of Woolwich devised a new linkage that contained only four links which is the blue part as shown in '''Image 18'''. Point <math>O</math> is the inversion center with <math>OP</math> and <math>OQ</math> collinear and <math>OP \cdot OQ =</math> constant. When point <math>P</math> is constrained to move in a circle that passes through point <math>O</math>, then point <math>Q</math> will trace out a straight line. See below for proof.  {{!}}After PeaucellierLipkin Linkage was introduced to England in 1874, Mr. Hart of Woolwich devised a new linkage that contained only four links which is the blue part as shown in '''Image 18'''. Point <math>O</math> is the inversion center with <math>OP</math> and <math>OQ</math> collinear and <math>OP \cdot OQ =</math> constant. When point <math>P</math> is constrained to move in a circle that passes through point <math>O</math>, then point <math>Q</math> will trace out a straight line. See below for proof.  
Line 311:  Line 304:  
{{!}}}  {{!}}}  
  +  =='''Other Straight Line Mechanism'''==  
{{{!}}  {{{!}}  
  {{!}}[[Image:Circle in circle 1.pngbordercenter325px]]  +  {{!}}[[Image:Circle in circle 1.pngbordercenter325px]]{{!}}{{!}}[[Image:Circle in circle 2.pngbordercenter300px]]{{!}}{{!}}[[Image:Img335.gifbordercenter300px]] 
  {{!}}  +  
  +  
  +  
  +  
  +  
  {{!}}[[Image:Circle in circle 2.pngbordercenter300px]]  +  
  {{!}}  +  
  {{!}}  +  
  +  
  +  
{{!}}  {{!}}  
  {{!}}  +  {{!}}align="center"{{!}}'''Image 19'''{{!}}{{!}}align="center"{{!}}'''Image 20'''{{!}}{{!}}align="center"{{!}}'''Image 21''' 
{{!}}  {{!}}  
  {{!}}  +  {{!}}colspan="3"{{!}}There are many other mechanisms that create straight line. I will only introduce one of them here. Refer to '''Image 19'''. Consider two circles <math>C_1</math> and <math>C_2</math> with radius having the relation <math>2r_2=r_1</math>. We roll <math>C_2</math> inside <math>C_1</math> without slipping as show in '''Image 20'''. Then the arch lengths <math>r_1\beta = r_2\alpha</math>. Voila! <math>\alpha = 2\beta</math> and point <math>C</math> has to be on the line joining the original points <math>P</math> and <math>Q</math>! The same argument goes for point <math>P</math>. As a result, point <math>C</math> moves in the horizontal line and point <math>P</math> moves in the vertical line. In 1801, James White patented his mechanism using this rolling motion. It is shown in '''Image 21'''. 
{{!}}  {{!}}  
  {{!}}  +  {{!}}colspan="3" align="center"{{!}}[[Image:Ellipsograph2.pngbordercenter500px]] 
{{!}}  {{!}}  
  {{!}}  +  {{!}}colspan="3" align="center"{{!}}'''Image 22''' 
{{!}}  {{!}}  
  {{!}}  +  {{!}}colspan="3"{{!}}Interestingly, if you attach a rod of fixed length to point <math>C</math> and <math>P</math> and the end of the rod <math>T</math> will trace out an ellipse as seen in '''Image 22'''. Why? Consider the coordinates of <math>P</math> in terms of <math>\theta</math>, <math>PT</math> and <math>CT</math>. Point <math>T</math> will have the coordinates <math>(CT \cos \theta, PT \sin \theta)</math>. Now, whenever we see <math>\cos \theta</math> and <math>\sin \theta</math> together, we want to square them. Hence, <math>x^2=CT^2 \cos^2 \theta</math> and <math>y^2=PT^2 \sin^2 \theta</math>. Well, they are not so pretty yet. So we make them pretty by dividing <math>x^2</math> by <math>CT^2</math> and <math>y^2</math> by <math>PT^2</math>, obtaining <math>\frac {x^2}{CT^2} = \cos^2 \theta</math> and <math>\frac {y^2}{PT^2} = \sin^2 \theta</math>. Voila again! <math>\frac {x^2}{CT^2} + \frac {y^2}{PT^2}=1</math> and this is exactly the algebraic formula for an ellipse. 
{{!}}}  {{!}}}  
other=A little Geometry  other=A little Geometry 
Revision as of 10:30, 9 July 2010
 Independently invented by a French army officer, CharlesNicolas Peaucellier and a Lithuanian (Nationality disputable; some say he is Russian.) mathematician Lipmann Lipkin, this is the first planar linkage that drew a straight line without using a straight edge and it had important applications in engineering and mathematics.
How to draw a straight line without a straight edge 

Introduction
What is a straight line? How do you define straightness? How do you construct something straight without assuming you have a straight edge? These are questions that seem silly to ask because they are so intuitive. We come to accept that straightness is simply straightness and its definition, like that of point and line, is simply assumed. However, compare this to the way we draw a circle. When using a compass to draw a circle, we are not starting with a figure that we accept as circular; instead, we are using a fundamental property of circles, that the points on a circle are at a fixed distance from the center. This page explores the properties of straight lines and more importantly and interestingly their constructions.
What Is A Straight Line? A Question Rarely Asked.
Today, we simply define a line as a onedimensional object that extents to infinity in both directions and it is straight, i.e. no wiggles along its length. But what is straightness? It is a hard question because we have the picture in our head and the answer right there under our breath but we simply cannot articulate it.
 
Image 1  Image 2 
The Quest to Draw a Straight Line
The Practical Need
James Watt's breakthrough
James Watt found a mechanism that converted the linear motion of pistons in the cylinder to the semi circular motion of the beam (or the circular motion of the flywheel) and vice versa. In 1784, he invented a three member linkage that solved the linear motion to circular problem practically as illustrated by the animation below. In its simplest form, there are two radius arms that have the same lengths and a connecting arm with midpoint P. Point P moves in a straight line. However, this linkage only produced approximate straight line (a stretched figure 8 actually) as shown in Image 7, much to the chagrin of the mathematicians who were after absolute straight lines. There is a more general form of the Watt's linkage that the two radius arms having different lengths like shown in Image 6. To make sure that Point P still move in the stretched figure 8, it has to be positioned such that it adheres to the ratio.  
Image 6  Image 7 
The Motion of Point P
We intend to described the path of so that we could show it does not move in a straight line (which is obvious in the animation) and more importantly to pinpoint the position of using certain parameter we know such as the angle of rotation or one coordinate of point . This is awfully crucial in engineering as engineers would like to know that there are no two parts of the machine will collide with each other throughout the motion. In addition, you can use the parametrization to create your own animation like that in Image 7.
Algebraic Description
Parametric Description
The First Planar Straight Line Linkage  PeaucellierLipkin Linkage
Image 13  Mathematicians and engineers had being searching for almost a century to find the solution to the straight line linkage but all had failed until 1864, a French army officer Charles Nicolas Peaucellier came up with his inversor linkage. Interestingly, he did not publish his findings and proof until 1873, when Lipmann I. Lipkin, a student from University of St. Petersburg, demonstrated the same working model at the World Exhibition in Vienna. Peaucellier acknowledged Lipkin's independent findings with the publication of the details of his discovery in 1864 and the mathematical proof.

Image 14  
Let's turn to a skeleton drawing of the PeaucellierLipkin linkage in Image 14. It is constructed in such a way that and . Furthermore, all the bars are free to rotate at every joint and point is a fixed pivot. Due to the symmetrical construction of the linkage, it goes without proof that points , and lie in a straight line. Construct lines and and they meet at point .
Since shape is a rhombus and Now,
Therefore, Let's take a moment to look at the relation . Since the length and are of constant length, then the product is of constant value however you change the shape of this construction.  
Image 15  
Refer to Image 15. Let's fix the path of point such that it traces out a circle that has point on it. is the the extra link pivoted to the fixed point with . Construct line that cuts the circle at point . In addition, construct line such that .
Since,
and Therefore constant, i.e. the length of (or the xcoordinate of w.r.t ) does not change as points and move. Hence, point moves in a straight line. ∎ 
Inversive Geometry in PeaucellierLipkin Linkage
As a matter of fact, the first part of the proof given above is already sufficient. Due to inversive geometry, once we have shown that points , and are collinear and that is of constant value. Points and are inversive pairs with as inversive center. Therefore, once moves in a circle that contains , then will move in a straight line and vice versa. ∎ See Inversion for more detail.
PeaucellierLipkin Linkage in Action
Image 16 
The new linkage caused considerable excitement in London. Mr. Prim, "engineer to the House", utilized the new compact form invented by H.Hart to fit his new blowing engine which proved to be "exceptionally quiet in their operation." In this compact form, , and . Point and are fixed pivots. In Image 16. F is the inversive center and points , and are collinear and is of constant value. Mr. Prim's blowing engine used for ventilating the House of Commons, 1877. The crosshead of the reciprocating air pump is guided by a Peaucellier linkage shown in Image 17. The slatelined air cylinders had rubberflap inlet and exhaust valves and a piston whose periphery was formed by two rows of brush bristles. Prim's machine was driven by a steam engine. 
Image 17 
Hart's Linkage
After PeaucellierLipkin Linkage was introduced to England in 1874, Mr. Hart of Woolwich devised a new linkage that contained only four links which is the blue part as shown in Image 18. Point is the inversion center with and collinear and constant. When point is constrained to move in a circle that passes through point , then point will trace out a straight line. See below for proof. 
Image 18 
We know that
As a result, Draw line , intersecting at point . Consequently, points are collinear Construct rectangle
For , We then have . Further, due to where We have 
Other Straight Line Mechanism
Image 19  Image 20  Image 21 
There are many other mechanisms that create straight line. I will only introduce one of them here. Refer to Image 19. Consider two circles and with radius having the relation . We roll inside without slipping as show in Image 20. Then the arch lengths . Voila! and point has to be on the line joining the original points and ! The same argument goes for point . As a result, point moves in the horizontal line and point moves in the vertical line. In 1801, James White patented his mechanism using this rolling motion. It is shown in Image 21.  
Image 22  
Interestingly, if you attach a rod of fixed length to point and and the end of the rod will trace out an ellipse as seen in Image 22. Why? Consider the coordinates of in terms of , and . Point will have the coordinates . Now, whenever we see and together, we want to square them. Hence, and . Well, they are not so pretty yet. So we make them pretty by dividing by and by , obtaining and . Voila again! and this is exactly the algebraic formula for an ellipse. 
Teaching Materials
 There are currently no teaching materials for this page. Add teaching materials.
About the Creator of this Image
KMODDL is a collection of mechanical models and related resources for teaching the principles of kinematicsthe geometry of pure motion. The core of KMODDL is the Reuleaux Collection of Mechanisms and Machines, an important collection of 19thcentury machine elements held by Cornell's Sibley School of Mechanical and Aerospace Engineering.
Related Links
Additional Resources
 )http://kmoddl.library.cornell.edu/model.php?m=244
 )http://dlxs2.library.cornell.edu/cgi/t/text/textidx?c=math;cc=math;view=toc;subview=short;idno=Kemp009
 )http://kmoddl.library.cornell.edu/tutorials/04/
 )http://www.howround.com/
References
How to draw a straight line: a lecture on linkages, Alfred Bray Kempe, Ithaca, New York: Cornell University Library
How round is your circle?, John Bryant and Chris Sangwin, Princeton, Princeton University Press
Future Directions for this Page
I need to change the size of the main picture and maybe some more theoretical description what a straight line here.
Leave a message on the discussion page by clicking the 'discussion' tab at the top of this image page.
In Euclid's book Elements, he defined a straight line as "lying evenly between its extreme points" and it has "breadthless width." The definition is pretty useless. What does he mean if he says "lying evenly"? It tells us nothing about how to describe or construct a straight line. So what is a straightness anyway? There are a few good answers. For instance, in the Cartesian Coordinates, the graph of is a straight line. In addition, the shortest distance between two points on a flat plane is a straight line, a definition we are most familiar with. However, it is important to realize that the definitions of being "shortest" and "straight" will change when you are no longer on flat plane. For example, the shortest distance between two points on a sphere is the the "great circle", a section of a sphere that contains a diameter of the sphere, and great circle is straight on the spherical surface.
For more properties on staight line, you refer to the book Experience Geometry by zzz.