2
$\begingroup$

I was wondering if it is possible to inscribe a rhombus within any arbitrary convex quadrilateral using only compass and ruler? If possible, could you describe the method?

If not could you give an example of a convex quadrilateral which one can not inscribe a rhombus within?

  • 0
    There is definitely an inscribed rhombus. I do not have a nice geometric straightedge and compass construction, but can prove constructibility.2012-07-19

3 Answers 3

6

EDIT, Saturday July 21: I was wondering if an inscribed rhombus might be required to have edges parallel to the diagonals of the original convex quadrilateral. But this is not always the case. Take a square, on each edge mark a point the same distance counterclockwise from the nearest vertex. This makes an inscribed square, and is one of the oldest proofs-without-words of the Pythagorean Theorem.

ORIGINAL: Given a convex quadrilateral ABCD, the main observation is that the new quadrilateral made up with vertices at the midpoints of the four sides is automatically a parallelogram. So we just need to adjust the relative lengths of the sides, we will make an inscribed rhombus with sides parallel to the midpoint-parallelogram. That is, we make a parallelogram RSTU such that its sides RS and RU have the same length, thus forcing it to be a rhombus. To emphasize, the sides of the rhombus RSTU are parallel to the diagonals AC and BD of the original quadrilateral. I think I will skip the proof that it is inscribed, bunch of similar triangles involved. Many.

Take a quadrilateral such that AB and CD intersect in a point P. enter image description here

Through D, draw a line $L$ parallel to the diagonal AC. enter image description here

Using a compass, draw a point B' on $L$ such that DB = DB'. enter image description here

Draw the segment BB' and let it intersect line CD at B''. enter image description here

Draw a line $M$ through B'' that is parallel to AC and $L,$ and let $M$ intersect the other diagonal BD at point Q. enter image description here

Draw the line through PQ and let it intersect edge AD at R. R is the first vertex of our rhombus. enter image description here

The edges are parallel to the diagonals AC and BD. So, from R draw a line parallel to BD, let it intersect AB in point S. From R, draw another line but parallel to AC this time, let it intersect edge CD in point U. Finally, draw the appropriate parallel lines to the final point T on BC. The quadrilateral RSTU is an inscribed rhombus. enter image description here

I see, there is a way to fiddle with this if we consider AB and CD parallel instead. Not to worry.

Anyway, give it a try. You may need to adjust the figure so that everything comes out on one page, lines that are supposed to intersect really do, and so on. I did what I describe with compass, straightedge, T-square (actually an L-square), and a nice parallel ruler

  • 0
    Thanks for your explanation. Would you like me to upload the series of images I've made?2012-07-20
  • 0
    @HonestAbe, yes, please.2012-07-20
  • 0
    Ok there you go. They were made with GeoGebra, which is free and handy for this type of thing! Maybe one day stackexchange will support the GeoGebra web apps. Then people could grab one of the points and drag it around to see how the rhombus changes with the quadrilateral.2012-07-20
  • 1
    @HonestAbe, that is perfect. It took a while to compare with my drawing. All together, no explicit use of perpendiculars required if we accept a tool to make parallel lines, and just a single explicit circle to get length DB' = DB. Thank you. EDIT: I did not notice, you actually started with just a quadrilateral and made about seven images, one step at a time. This is great.2012-07-20
  • 1
    Wow, this is great! Thank you for your time an effort. I've been looking for this for a long time. Thank you all!2012-07-20
  • 0
    @HonestAbe Could you please put your GeoGebra file somewhere for me to download?2012-07-20
  • 0
    @RezaSadr Ok I included Will's description, with credit, and uploaded it on [GeoGebraTube](http://www.geogebratube.org/material/show/id/14652). If the last description is in your way you can drag it or right-click and delete it. You can download it or click 'Go to student worksheet' to view and interact directly on the website. FYI, I made the file with a [beta version](https://www.geogebra.org/forum/viewtopic.php?f=22&t=23208) of the program.2012-07-20
  • 1
    @HonestAbe Thank you very much. You don't believe how mind blowing is this for me. :)2012-07-20
2

I bought a home scanner. These are my drawings, the first one actually shows the proof of something. In the first two, the line PQ intersects the original quadrilateral on the side away from P, that it how I thought of it. I also deliberately made line PQR dotted so as not to interfere with other parts of the drawing. Later I made a third drawing with pencil construction lines so that I could erase those; that one did after the approximate proportions of HonestAbe's pictures, plus I used an ink nib for the compass to make the circle visible.

try again: drawing A: enter image description here

drawing B: enter image description here

drawing C: enter image description here

1

The following is a proof of constructibility, with some standard details missing, mostly the fact that the arithmetical operations and square root can be carried out by straightedge and compass.

In principle, one can use the proof to give instructions on how to carry out the construction. However, the construction one gets has little real geometric content. There is undoubtedly an elegant geometric construction. But the algebraic approach used below has the nice feature of being essentially automatic. If one has a certain amount of background, a glance at the problem shows that an inscribed rhombus is constructible.

We are given a convex quadrilateral $ABCD$, with the vertices going say counterclockwise. Let $P$, $Q$, $R$, $S$ be points on the line segments $AB$, $BC$, $CD$, and $DA$.

Lemma: Suppose that $AP:BP=AS:DS$ and $CR:DR=CQ:BQ$. Then the lines $PS$ and $RQ$ are parallel.

Proof: They are both parallel to $BD$.

Corollary: If $AP:BP=AS:DS$ and $BP:BQ=DR:CR$ then $PQRS$ is a parallelogram.

In particular (not relevant here, but cute) if $P$, $Q$, $R$ and $S$ are bisectors of the sides they lie on, then one gets the unexpected result that $PQRS$ is a parallelogram.

A little play will show that if we choose $P,Q,R,S$ as in the corollary, but with $AP$ small, then $PS$ will be smaller than $PQ$. And if we choose $P$ so that $BP$ is small, then $PS$ will be larger that $PQ$. So a choice somewhere in between is just right, we get $PS=PQ$, and therefore a rhombus.

Now we leave classical geometry. Choose a coordinate system with $A$ at the origin, and with $B$ say at $(1,0)$. (It doesn't matter.) Points $C$ and $D$ then have "known" coordinates, and all the lines of our quadrilateral have known linear equations, with coefficients constructible from our given points.

Let $P=(t,0)$. Find the equation of the line through $(t,0)$ that is parallel to $BD$. We can now find the coordinates of the point $S=(s_1(t),s_2(t))$ where this line meets $AD$. The coordinates of $S$ are linear in $t$.

Find also the equation of the line through $(t,0)$ that is parallel to $AC$. We can now find the coordinates of the point $Q=(q_1(t),q_2(t))$ where this line meets $BC$. The coordinates of $Q$ are linear in $t$.

The condition $PS=PQ$ then becomes $$(t-s_1(t))^2 +(s_2(t))^2=(t-q_1(t))^2+(q_2(t))^2.\tag{$1$}$$ This is a quadratic equation, with coefficients that are constructed using addition, subtraction, multiplication, and division from coordinates of our given points.

The ordinary arithmetical operations can be done by straightedge and compass, as can square root. So the geometrically relevant solution of Equation $(1)$ is constructible from our given points. Now that we have $P$, the rest of the construction is done by drawing parallels.

  • 0
    there is a short construction. the proof is similar triangles out the wazoo.2012-07-20
  • 0
    @WillJagy: Will be interested. I did not even look for a construction (and likely would not have found it if I looked). My post was a plug for Fermat-Descartes.2012-07-20
  • 0
    There are now several diagrams in my answer, showing the steps of the construction.2012-07-20
  • 0
    Thank you for this. Very informative and useful.2012-07-20