Straightedge and graph paper geometry
Moderators: gmalivuk, Moderators General, Prelates
Straightedge and graph paper geometry
Remember those compassandstraightedge constructions? Now, suppose I take your compass away, but instead give you a sheet of ordinary graph paper: essenstialy, a grid of unitsize squares. You're free to assume the sheet is infinitely big, of course.
Now, what will you be able to do with a sheet of graph paper and a straightedge?
Can you find me a segment of any rational length?
Can you find me a sum of two provided segments of any length?
Can you find the product of two lengths? Can they be arbitrary, or only whole/rational/something else?
Can you find me a square root of a segment? Of any segment? What about a cube root? Arbitrary root?
Can you find me a segment with a length which is irrational? Transcendental?
Can you construct an equilateral triangle?
*If you can  do so.
*If you can't  prove it, and construct a good approximation with difference between sides of at most... let's make it 5%.
Same with a pentagon?
Hexagon?
Generally, which points can you construct with such a method?
Now, what will you be able to do with a sheet of graph paper and a straightedge?
Can you find me a segment of any rational length?
Can you find me a sum of two provided segments of any length?
Can you find the product of two lengths? Can they be arbitrary, or only whole/rational/something else?
Can you find me a square root of a segment? Of any segment? What about a cube root? Arbitrary root?
Can you find me a segment with a length which is irrational? Transcendental?
Can you construct an equilateral triangle?
*If you can  do so.
*If you can't  prove it, and construct a good approximation with difference between sides of at most... let's make it 5%.
Same with a pentagon?
Hexagon?
Generally, which points can you construct with such a method?
I'm not good, I'm not nice, I'm just right.
 Cleverbeans
 Posts: 1378
 Joined: Wed Mar 26, 2008 1:16 pm UTC
Re: Straightedge and graph paper geometry
Aldarion wrote:Can you find me a segment with a length which is irrational? Transcendental?
Draw a diagonal through a unit square for an irrational.
"Labor is prior to, and independent of, capital. Capital is only the fruit of labor, and could never have existed if labor had not first existed. Labor is the superior of capital, and deserves much the higher consideration."  Abraham Lincoln
Re: Straightedge and graph paper geometry
Cleverbeans wrote:Aldarion wrote:Can you find me a segment with a length which is irrational? Transcendental?
Draw a diagonal through a unit square for an irrational.
Correct!
I'm not good, I'm not nice, I'm just right.

 Posts: 18
 Joined: Thu Jan 15, 2009 4:33 am UTC
Re: Straightedge and graph paper geometry
Am I granted the ability to lay the straightedge down perfectly parallel with one of the grid directions? This is crucial to being able to translate line segments of arbitrary length. How about parallel to any existing line segment?
"Now I shall have less distraction"
Leonhard Euler, on losing sight in his right eye
Leonhard Euler, on losing sight in his right eye
Re: Straightedge and graph paper geometry
What operations are allowed?
If all you can do is draw a line between two points and take the intersection of two lines, then:
If all you can do is draw a line between two points and take the intersection of two lines, then:
Spoiler:
Jerry Bona wrote:The Axiom of Choice is obviously true; the Well Ordering Principle is obviously false; and who can tell about Zorn's Lemma?
Re: Straightedge and graph paper geometry
To get a line segment of a/b, draw a right triangle of length b and height a. Now, look at the vertical segment that is 1 unit away from the right angle.
Re: Straightedge and graph paper geometry
The Pathological Case wrote:Am I granted the ability to lay the straightedge down perfectly parallel with one of the grid directions? This is crucial to being able to translate line segments of arbitrary length. How about parallel to any existing line segment?
Nope.
antonfire wrote:If all you can do is draw a line between two points and take the intersection of two lines
Yep.
antonfire wrote:then:
A nice analysis, antonfire!
I hereby formally applaud you.
I'm not good, I'm not nice, I'm just right.
 Cosmologicon
 Posts: 1806
 Joined: Sat Nov 25, 2006 9:47 am UTC
 Location: Cambridge MA USA
 Contact:
Re: Straightedge and graph paper geometry
antonfire wrote:So the lengths you can do are rational numbers times numbers which are representable as a sum of two perfect squares....
Equilateral triangle, no, because you can't do [imath]\sqrt 3[/imath]. (To construct approximations, just use rational approximations of sqrt(3)/2.)
What am I missing here? An equilateral triangle only has 3 points, and they're all the same distance from each other.
I know you can't construct an equilateral triangle with rational coordinates, but I don't see how it follows from the fact that you can't construct a length of sqrt(3).
Re: Straightedge and graph paper geometry
The distance from a vertex to the midpoint of the opposite edge is the side length times [imath]\sqrt 3 / 2[/imath]. Though, yeah, the argument that generalizes to all polygons is probably better.
Jerry Bona wrote:The Axiom of Choice is obviously true; the Well Ordering Principle is obviously false; and who can tell about Zorn's Lemma?
Re: Straightedge and graph paper geometry
One nice fact is that any polygon you create must have rational area. (Hint: Pick's Theorem.) I'm not quite sure how, but I suspect it's possible to turn that into another proof that you can't make an ngon (for n > 4).
Re: Straightedge and graph paper geometry
Yep, that works fine. The area of a regular polygon with [imath]n > 4[/imath] is an irrational multiple of the square of the side length, which has to be rational here.
 J Spade
 Luppoewagan
 Posts: 523
 Joined: Wed Apr 18, 2007 7:56 pm UTC
 Location: Up a creek without a paddle
 Contact:
Re: Straightedge and graph paper geometry
I constructed an equilateral triangle just now using a pencil, a straightedge, and a piece of paper.
Draw a line of arbitrary length from the end of the straightedge.
Rotate the straightedge about the corner you started at whilst holding your pencil at the length of the line you made about 70 degrees, just eyeballing it.
Do that again from the other end of your first line.
Connect the arcs' intersection to the ends of the first segment.
 ???
Profit!
Even though I bet using the straightedge as a compass was cheating.
Draw a line of arbitrary length from the end of the straightedge.
Rotate the straightedge about the corner you started at whilst holding your pencil at the length of the line you made about 70 degrees, just eyeballing it.
Do that again from the other end of your first line.
Connect the arcs' intersection to the ends of the first segment.
 ???
Profit!
Even though I bet using the straightedge as a compass was cheating.
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5967
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Straightedge and graph paper geometry
J Spade wrote:Even though I bet using the straightedge as a compass was cheating.
Yeah, it was. Using stuff like this you can trisect an angle with straightedge and compass.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.

 Posts: 14
 Joined: Wed Sep 24, 2008 4:48 am UTC
Re: Straightedge and graph paper geometry
How about this.
You can create your infinite sheet of graph paper using a straightedge and compass.
Therefore anything you can't do with a straightedge and compass you also can't do with a sheet of graph paper.
Contrapositive isn't true though.
You can create your infinite sheet of graph paper using a straightedge and compass.
Therefore anything you can't do with a straightedge and compass you also can't do with a sheet of graph paper.
Contrapositive isn't true though.

 Posts: 152
 Joined: Mon Nov 03, 2008 2:01 am UTC
Re: Straightedge and graph paper geometry
Excalibur0998 wrote:How about this.
You can create your infinite sheet of graph paper using a straightedge and compass.
Therefore anything you can't do with a straightedge and compass you also can't do with a sheet of graph paper.
Contrapositive isn't true though.
If a conditional is true, the contrapositive is always true, if I'm not mistaken.
Contrapositive of your conditional would be "Anything you can do with a sheet of graph paper you can do with a straightedge and compass."
Which would be true, if your conditional is true.
Did you mean the converse?

 Posts: 14
 Joined: Wed Sep 24, 2008 4:48 am UTC
Re: Straightedge and graph paper geometry
Yeah, I meant the converse, my bad.
Re: Straightedge and graph paper geometry
jestingrabbit wrote:J Spade wrote:Even though I bet using the straightedge as a compass was cheating.
Yeah, it was. Using stuff like this you can trisect an angle with straightedge and compass.
Indeed. "Eyeballing" the straightedge is equivalent to having a marked straightedge. Also, the compass used in traditional straightedge & compass geometry is a collapsible compass: when you lift it off the page, it collapses. If you want to use the compass to transport a given length to another part of the page, you have to "walk" it there.
Last edited by PM 2Ring on Mon Feb 23, 2009 4:33 am UTC, edited 1 time in total.
 Yakk
 Poster with most posts but no title.
 Posts: 11128
 Joined: Sat Jan 27, 2007 7:27 pm UTC
 Location: E pur si muove
Re: Straightedge and graph paper geometry
What if you can reapply the (unmarked) grid such that one point is at the new origin, and the other is along the x axis of your grid?
This is stronger than the original construction: you can express the point (1+1/sqrt(2), 1+1/sqrt(2)) easily.
This is stronger than the original construction: you can express the point (1+1/sqrt(2), 1+1/sqrt(2)) easily.
One of the painful things about our time is that those who feel certainty are stupid, and those with any imagination and understanding are filled with doubt and indecision  BR
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Last edited by JHVH on Fri Oct 23, 4004 BCE 6:17 pm, edited 6 times in total.
Re: Straightedge and graph paper geometry
Doing things that way, I'm pretty sure you can construct all numbers which are constructable with ruler and compass. This basically says any number which is a constructable length is constructable on the xaxis, right? Suppose we have a constructable length, a. Then the remaining leg a right triangle with hypotenuse (1+a) and leg a, has length (1+2a)^{1/2}. The remaining leg of the triangle with hypotenuse (1+2a)^{1/2} and leg 1, has length (2a)^{1/2}. We can divide by 2^{1/2}, since it is a constructable number. This proves that the constructable numbers are square root closed. But that's the exact description of Euclidean constructable numbers.
Re: Straightedge and graph paper geometry
J Spade wrote:I constructed an equilateral triangle just now using a pencil, a straightedge, and a piece of paper.
Draw a line of arbitrary length from the end of the straightedge.
Rotate the straightedge about the corner you started at whilst holding your pencil at the length of the line you made about 70 degrees, just eyeballing it.
Do that again from the other end of your first line.
Connect the arcs' intersection to the ends of the first segment.
 ???
Profit!
Even though I bet using the straightedge as a compass was cheating.
Well, if we can cheat, here's my pentagon construction:
1) Crease a 2unit wide, 15unit long strip of the graph paper, and further score it with the straightedge.
2) Carefully tear out the straightedge
3) Tie a straight flat knot in the strip.
4) Trace the knot onto the sheet.
You now have a pentagon of side length 2.
Re: Straightedge and graph paper geometry
quintopia wrote:Well, if we can cheat, here's my pentagon construction:
1) Crease a 2unit wide, 15unit long strip of the graph paper, and further score it with the straightedge.
2) Carefully tear out the straightedge
3) Tie a straight flat knot in the strip.
4) Trace the knot onto the sheet.
You now have a pentagon of side length 2.
If your original strip is width 2, wouldn't that mean the pentagon had side length greater than 2? I'm too lazy to work out what it would actually be.
All posts are works in progress. If I posted something within the last hour, chances are I'm still editing it.
Re: Straightedge and graph paper geometry
I suppose I should say "arbitrarily close to 2" depending on the thickness of the paper and how well you can fold.
Re: Straightedge and graph paper geometry
quintopia wrote:I suppose I should say "arbitrarily close to 2" depending on the thickness of the paper and how well you can fold.
If the paper strip has width 2, the pentagon formed from knotting it has side length 2/cos(pi/10). The distance between a diagonal and the parallel edge is 2. The side length is slightly more.
Re: Straightedge and graph paper geometry
but the sides where the ends of the strip emerge have to have width 2. I guess it means it's not a regular pentagon?
Re: Straightedge and graph paper geometry
The sides of the pentagon won't be perpendicular to the edges of the strip.
All posts are works in progress. If I posted something within the last hour, chances are I'm still editing it.
Re: Straightedge and graph paper geometry
oh. right you are.
Who is online
Users browsing this forum: Pfhorrest and 8 guests