T.R | Title | User | Personal Name | Date | Lines |
---|
524.1 | ah, now I understand the problem | CLT::GILBERT | Juggler of Noterdom | Thu Jun 26 1986 16:50 | 8 |
| After coming up with the following...
Draw a line through a and b. Draw a parallel line through c and
a perpendicular line through d. This gives three sides to a square;
supply the fourth.
I realized that the problem intended that each point be on one (extended)
side of the square, and each (extended) side of the square had one point.
|
524.2 | clarification | CACHE::MARSHALL | | Mon Jun 30 1986 13:20 | 6 |
| re .1:
Exactly, when the constuction is complete, no two points share the
same (extended) side of the square.
sm (b.t.f.d)
|
524.3 | | CLT::GILBERT | Juggler of Noterdom | Wed Jul 02 1986 00:17 | 16 |
| Looking at the diagram in .0, I can imaging the parallel lines
through a and b rotating, so the distance between them varies.
Similarly, the parallel lines through c and d can rotate, as they
stay perpendicular to the lines through a and b.
Note that the distance between the a and b lines is 0 when they coincide,
and (if cd is not perpendicular to ab) the distance between the c and d
lines in this case is non-zero. So, the c-d distance >= the a-b distance.
Similarly, it will happen that the a-b distance >= the c-d distance.
Note that as the lines rotate, the distances are changing smoothly.
Thus, there must be some place where the a-b distance = the c-d distance,
and here we have a square.
How about a constructive proof?
|
524.4 | cautions | CACHE::MARSHALL | beware the fractal dragon | Wed Jul 02 1986 12:51 | 8 |
| re .3:
a valid analysis, but remember, You are given only the four
points. How do you decide which two are A & B ? Or, can you show
that a square can be constructed regardless of how you assign the
parallel pairs?
sm
|
524.5 | | CLT::GILBERT | Juggler of Noterdom | Wed Jul 02 1986 14:16 | 3 |
| The analysis is independent of which points are A & B, and which are C & D.
As the analysis is valid, it doesn't matter which are chosen -- a square
can be constructed in any case.
|
524.6 | | CLT::GILBERT | Juggler of Noterdom | Thu Jul 03 1986 01:35 | 48 |
524.7 | RIGHT! but... | CACHE::MARSHALL | beware the fractal dragon | Thu Jul 03 1986 14:25 | 15 |
| I think you got it! but I don't understand the following:
>the length of AE is equal to the distance from D" to the line AE<
(by the two similar triangles with sides AD' and AD"), and this is
also equal to the distance between the last two parallel lines (that
form part of the solution).
When I performed the construction, this just was not so, but I did
get a square (by eye anyway)
looking at it, maybe you meant D' instead of D"?
Thanks,
sm (Blast! is EVE a pain!)
|
524.8 | | CLT::GILBERT | Juggler of Noterdom | Thu Jul 03 1986 21:12 | 22 |
| Huh? Before translating the result C'D' (aka AD') back to CD,
edge AE is one of the sides of the square! The distances had
better be equal!
Here's a diagram (well, the points, anyway):
.D'
.D" .B
.F .A .E
Recall that we started with A and B, AD' is equivalent to CD (same size
and orientation), and AD' and AD" are perpendicular with equal lengths.
Line FAE is parallel to BD", and AED and AFD" are right angles.
I assert that the lengths of AE and D"F are equal, because AD'E and AD"F
are similar triangles.
The sides of the square are on the lines FAE, D"B, D'E, and the fourth
side is on a line parallel to D'E, and passing through A.
Does this help?
|
524.9 | My brain hurts | CACHE::MARSHALL | beware the fractal dragon | Mon Jul 07 1986 12:22 | 24 |
| I hate to be so contrary, but I'm getting more confused than ever.
When I perform the construction, AE is not one of the sides of the
square. It is parallel to a side so is equal in length, but it is
not one of the sides. Let me describe how I laid out my points.
B = 0,0
C = -7,2
A = -4,12
D = 8,2
first step of the construction puts D' at 11,12
D" at -4,-3
E ends up in the vicinity of ~3.3,2.5
The line passing through C |- BD" just misses D"
The line passing through D |- BD" is pretty far from E.
I am sure that your construction is correct. I'm just confused by
the proof.
sm
|
524.10 | a proof | CACHE::MARSHALL | beware the fractal dragon | Mon Jul 07 1986 13:30 | 57 |
| First, forget point B.
Show that any and all parallel lines drawn through a & d" will yield a square,
when perpendiculars are constructed through c & d.
\ \/
\ /\ /
\ a / \ /
\ * \ /
\ /| \ /
\ /z| X
\ / | / \
\ / | / \
\ / | / y\ d
c *-/-----+--@-------*
X | / \
/ \ |/ \
/ \ * \
/ \ / d" \
/ \/ \
/ /\ \
m n p r
excuse the distortion. imagine the X's are right angles
z and y are the interior angles
m,n,p,r are the lines passing through a,d",c,d respectively
GIVEN:
> p || r
> m || n
> p |- m , p |- n
> r |- m , r |- n
> ad" |- cd
__ __
> ad" = cd (lengths equal by construction)
PROVE: <z = <y (angle :== "<" )
The intersection marked "@" is the key to proving z = y
<d",@,+ = <d,@,X
<@,+,d" = <@,X,d = |_ (right angles)
.: <+,d",@ = <X,d,@
<+,d",@ = <y (substitution)
<+,d",@ = <z (interior angles of a line through parallel lines)
.: <z = <y
__ __
Now, with <z = <y and ad" = cd,
_ _ _ _
the distance between m and n must be equal to the distance between p and r
.: the sides of the constructed figure are of equal length and perpendicular
and therefore must be a square. QED
|
524.11 | | CLT::GILBERT | Juggler of Noterdom | Mon Jul 07 1986 16:24 | 30 |
524.12 | Thanks | CACHE::MARSHALL | beware the fractal dragon | Tue Jul 08 1986 18:42 | 13 |
| Well...
Thank you for the praise, I too think that my proof could probably
be simplified, I think I was a little redundant in a few places.
But mostly, thank you for providing the construction itself, and
for solving a problem that's been bothering me for years (although
the real problem is why I couldn't rederive the construction after
having already done it in high school)
Guess I'm getting old and senile ( and only 28! ;-) )
sm
|