# Fooled by Rounding

- 181 Downloads

## Abstract

For any convex quadrilateral, joining each vertex to the mid-point of the next-but-one edge in a clockwise direction produces an inner quadrilateral (as does doing so in a counter-clockwise direction). In many cases, a dynamic geometry measurement of the ratio of the area of the outer quadrilateral to the area of the inner one appears to be 5:1. It turns out, however, that this is due to rounding. We generalise the construction by replacing mid-points by more general ratios, finding the maximum and minimum values of the area ratio and determining the conditions on the original quadrilateral that achieve those two extremes.

## Keywords

Dynamic geometry software Computer algebra software Geometry-algebra interplay Being misled by missing decimal places Convex quadrilaterals Ratios of areas## Introduction

In dynamic geometry software, the ratio of the area of the outer to the area of the inner quadrilateral is often given to be 5:1 over a range of positions for W – so much so that it is tempting to conjecture that the ratio will always be that (both authors have been so tempted, independently). However, when the software is induced to show as many decimal places as possible, it turns out that the ratio differs from 5:1 in the third or fourth decimal digit over quite a large range of choices of W. When people use dynamic geometry software to construct an example, their starting configurations are often quite close to being trapezia^{1} (trapezoidal), for which the ratio really is exactly 5:1, and small variations in W make little difference in the ratio.

The aim here is to show two things: that the ratio of the area of the outer quadrilateral to the area of the inner quadrilateral is always at least 5:1, with equality only when the inner quadrilateral is a trapezium (trapezoid), and that the ratio is at most 6:1, with this equality only when the quadrilateral degenerates into a triangle with W coinciding with either X or Z. The situation is then generalised.

### Remarks about Being Fooled by Rounding

When students use a calculator to compute the ratio of consecutive terms from a Fibonacci sequence, they often conclude that the ratio is constant, but this is due to the limited number of decimal places used on their calculator. Even though well aware of this phenomenon, it is still easy to be caught similarly in fresh situations, which is what happened to us with the outer to inner area ratio. Even when the ratio shifts to 5.01:1, say, this is perhaps more likely to be dismissed as a rounding error than treated as a genuine counter-example to the constant-ratio conjecture. After all, when there is a whole region of invariance in a DGS phenomenon, it is likely to be universal.

## Special Case: Mid-Point Reasoning

Let X, Y and Z be three vertices of a convex quadrilateral in cyclic order, and W the fourth point. By translation, Y can be taken as the origin. By rotation and scaling in skew directions, X and Z can be taken to be [2, 0]^{2} and [0, 2] and these affine actions do not affect the ratio of areas. The use of 2 is in order to avoid fractions when calculating mid-points. Let W then be [2*a*, 2*b*]. Alternatively, but equivalently, treat X – Y and Z – Y as basis vectors and then W = 2*a*(X – Y) + 2*b*(Z – Y).

These ‘affine-simplified’ co-ordinates make the algebra a great deal simpler. However, in order to combine algebra with general DGS diagrams, it is useful to construct a procedure which converts DGS co-ordinates into affine-simplified co-ordinates (so as to check geometrical relationships algebraically), together with its inverse, in order to convert affine-simplified co-ordinates into DGS co-ordinates (so as to display and check the results of algebraic calculations geometrically).

*a*,

*b*and

*a*+

*b*– 1 to be non-negative (see Fig. 2).

The applet *Outer to inner quadrilateral area ratios* (Mason, 2019) provides displays for the more general situation, as well as for this initial special case.

The relation between the two orientations is that interchanging the first and second co-ordinates, and interchanging *a* and *b*, converts the first clockwise orientation diagram in Fig. 2 into the other orientation. Thus, it is sufficient to work only with the first orientation.

The vertices of the inner quadrilateral can then be found (the calculations are omitted due to not being edifying; they will be done more generally shortly). The inner quadrilateral is a trapezium in the first orientation, either when the segments ZM_{WX} and XM_{YZ} are parallel or when WM_{XY} and YM_{ZW} are parallel. In terms of affine-simplified co-ordinates, these conditions are expressed algebraically as *a* + 2*b* – 3 = 0 or 2*a* – *b* – 1 = 0, respectively. Corresponding conditions for the second orientation can be produced by interchanging co-ordinates and reversing *a* and *b*.

Because of what happens in the area calculations, it is convenient to specify *T* = (*a* + 2*b* – 3)(2*a* – *b* – 1), noting that, when both factors are zero, the inner quadrilateral is a parallelogram and *a* = *b* = 1.

*a*=

*b*= 1 (and the inner quadrilateral is a parallelogram). The upper bound of 6:1 was found by taking a limiting case in which the quadrilateral degenerates into a triangle when W coincides with either X or Z (

*a*= 1 and

*b*= 0 or

*a*= 0 and

*b*= 1), which the DGS suggests is where the maximum occurs (see Fig. 4).

*a*and

*b*which can be re-expressed usefully as follows:

*S*=

*S*

_{1}

*S*

_{2}with

*S*

_{1}=

*ab*+ 2

*b*

^{2}+ 4

*a*– 2 and

*S*

_{2}= 4

*ab*+ 2

*a*

^{2}– 3

*a*+

*b*+ 1.

and

S_{1}=ab+ 2(b– 1)^{2}+ 4(a+b– 1) ≥ 0, sincea + b≥ 1 anda≥ 0 andb≥ 0,

*S*_{2} = 2(*a* – 1)^{2} + 4*ab* + (*a* + *b* – 1) ≥ 0, for the same reasons.

Because *S*_{1} and *S*_{2} are both non-negative when *a*, *b* and a + *b* – 1 are all non-negative, 5:1 and 6:1 are the lower and upper bounds for the ratio of the area of the outer quadrilateral to the area of the inner quadrilateral, when the outer quadrilateral is convex.

The expressions for *ρ* were the result of considerable exploration, including eventually conjecturing that the denominator might be expressed in terms of *T* and *S*. Only later did it become obvious how to find them logically, as will emerge shortly in the more general setting.

*S*

_{1}= 0 and

*S*

_{2}= 0 represent conics and, as can be seen from the expression of the ratio, turn out to be the loci of W for which the algebraic area ratio is 6:1. They are shown in Fig. 5. However, the only values of

*a*and

*b*that lie on this locus, and which also maintain a convex quadrilateral, are when

*a*= 1 and

*b*= 0, or when

*a*= 0 and

*b*= 1, as was shown in Fig. 4. These are limiting positions for W.

### Notes about Relationships

*A*+

*B*+

*C*+

*D*, and the area not covered is the

*Inner Area*, from which it follows by the carpet theorem (Bogomolny, 2018) or by simple algebra, that Area

_{outer}= 5(

*A*+

*B*+

*C*+

*D*) = 5Area

_{inner}

*.*Indeed, the triangles

*C*and

*D*are congruent, as are the triangles

*A*and

*B*(Fig. 6, left side). Two superimposed grids depict these congruences geometrically ‘without words’, in Fig. 6 (right side).

When the inner quadrilateral is a trapezium but not a parallelogram, there is only one pair of parallel lines forming the trapezium.

_{inner}

*= A*+

*B*+

*C*

_{1}+

*D.*Drawing in parallel lines in Fig. 7 (right) side produces two small triangles with parallel sides which are therefore similar. The shaded triangles are congruent according to the algebra, but it is not obvious how to prove this synthetically.

## Some Generality: Edges Divided in the Ratio μ:(1 – μ)

*μ*: (1 –

*μ*) in cyclic order around the quadrilateral. Since this case is subsumed in the following more general result, details are omitted. The minimum and maximum area ratios for the clockwise construction turned out to be:

The counter-clockwise values are obtained by replacing μ by 1 – μ.\( \frac{1-{\mu}^2}{{\left(1-\mu \right)}^2} \) and \( \frac{1-\mu +{\mu}^2}{{\left(1-\mu \right)}^3} \) which, in the case of \( \mu =\frac{1}{2} \), have the values 5 and 6 respectively.

## General Theorem: Opposite Edges Divided in Given Ratios

Given a convex quadrilateral X, Y, Z, W, in cyclic order, divide one pair of opposite edges in the ratio *μ*: (1 – *μ*) and the other pair in the ratio *ν*: (1 – *ν*), both in cyclic order. Join each vertex to the division-point on the next-but-one edge clockwise, and do the same counter-clockwise. This produces two inner quadrilaterals. Denote by ρ the ratio of the area of the outer quadrilateral to the area of the inner quadrilateral.

Then, for the clockwise orientation, \( \frac{1+\mu \nu}{\left(1-\mu \right)\left(1-v\right)} \)\( \le \rho \le \max \left(\frac{1-\mu \left(1-\nu \right)}{\left(1-\mu \right){\left(1-v\right)}^2},\frac{1-v\left(1-\mu \right)}{{\left(1-\mu \right)}^2\left(1\hbox{--} \mu \right)}\right). \)

*μ*by 1 –

*ν*, and

*ν*by 1 –

*μ*so

### Development and Proof

*μ*and

*ν*are used, it is sensible to use co-ordinates [0, 0], [0, 1], [1, 0], and [

*a*,

*b*] for the vertices, as shown in Fig. 8, in the two orientations.

Convexity requires the conditions that *a*, *b* and *a* + *b* – 1 be non-negative.

Since the two orientations are related by interchanging first and second co-ordinates, interchanging *a* and *b*, and interchanging *μ* with 1 – *ν*, (this will be referred to as the *interchange*), it is again sufficient to deal with the clockwise orientation only. It is, however, useful to carry both sets of calculations forward in a CAS for oneself for comparison later.

*T*= (

*μ*(

*a*– 1) + (

*b*– 1))((

*a*– 1) –

*ν(b*– 1)). This locus is displayed in Fig. 9 for both orientations. Note that again the locus of

*W*(which forces the inner quadrilateral to be a trapezium) consists of lines through [1,1] parallel to the pair of parallel lines forming the trapezium.

The corresponding conditions for the counter-clockwise orientation are found by making the *interchange*. The relevance of expressing these in terms of *a* – 1 and *b* – 1 will appear later.

Algebraic manipulation can be eased by constructing a procedure in a CAS which calculates the lines and their pairs of intersections, and then applying it four times. This makes it easy to carry forward in parallel the calculations associated with the other orientation.

*ρ*as a function of

*μ*and

*ν*, can be found (a computer algebra system is again recommended!). However, making sense of the multiple lines of algebraic output requires some judicious conjecturing. In retrospect, much later, it was straightforward to conjecture that the minimum ratio occurs when the inner quadrilateral is a parallelogram, which means W = [1, 1] and then to find useful expressions for the ratio. The first conjecture is that:

Subtracting *ρ*_{min} from the area ratio *ρ* and factoring reveals the numerator of the residue to be –*μν*^{2}*T*^{2}, which is confidence-inspiring, since the minimum should be achieved when the inner quadrilateral is a trapezium so that the residual term will be 0, though the negative sign is a trifle worrying. The unexpected negative sign also appears in the denominator, but it takes some thinking to locate a convenient form for this denominator. Proceed first to consider the maximum.

Their difference is \( {\rho}_{\mathit{\max}1}\hbox{--} {\rho}_{\mathit{\max}2}=\frac{\mu \nu \left(\mu \hbox{--} \upsilon \right)\ }{{\left(1\hbox{--} \mu \right)}^2{\left(1\hbox{--} \upsilon \right)}^2} \), which means that\( {\rho}_{\mathit{\max}1}=\frac{1-\mu \left(1-v\right)}{{\left(1-\mu \right)}^2\left(1-v\right)} \)and \( {\rho}_{\mathit{\max}2}=\frac{1-v\left(1-\mu \right)}{\left(1-\mu \right){\left(1-v\right)}^2} \) .

*ρ*

_{max1}is conjectured to be the maximum when

*μ*≥

*ν*, otherwise the conjectured maximum is

*ρ*

_{max2}. The reverse will be the case in the other orientation.

Subtracting ρ from each of these potential maxima, and factoring, reveals the numerators to be -*μ*^{2}v*S and -μv*^{2}*S*, where *S* is the product of two quadratics in *a* and *b*, one of which is zero when W = Z, that is, when *a* = 0 and *b* = 1. Thus, negative signs appear in both numerator and denominator and, consequently, can be removed. Simple algebra (if only it had been thought of in the beginning instead of much later!), making use of the difference between the conjectured maximum and the conjectured minimum enables the ratio of outer to inner area to be presented as:

*S*=

*S*

_{1}

*S*

_{2}and

*v*−

*μ*)

*T*

^{2}+

*S*=

*R*means that

*R*=

*R*

_{1}

*R*

_{2}(thanks to CAS!) where:

S_{1} and R_{1} are quadratic expressions which have been arranged in order to show that they are always non-negative when the quadrilateral is convex. *S*_{2} and *R*_{2} have been arranged in order to show that they are always non-negative when μ ≥ ν and μ ≤ ν respectively. Thus, *ρ*_{max1} ≥ *ρ* when *μ* ≥ *ν* and *ρ*_{max2} ≥ *ρ* when *μ* ≤ *ν*.

Note that, when *μ* = *ν*, *S* = *R*, with *S*_{1} = *R*_{1} and *S*_{2} = *R*_{2} (to within a scale factor).

*S*

_{1}= 0 and

*R*

_{1}= 0 go through Z and X respectively, they account for the zero in the numerator of the difference between the two potential maxima and

*ρ*. Curiously, all four conics go through M

_{XY}, while, in the counter-clockwise case, all four go through M

_{YZ}(Fig. 11).

The same applies to the other orientation where the relevant conics can be found using the interchange.

It is intriguing, but not particularly edifying, to explore relationships among the individual trapezia conditions and the four conics arising from both of the orientations. For example, *R*_{1} – *S*_{1} = *T* and *S*_{2} – *R*_{2} = (1 + μν)*T*.

## Some Historical Remarks

Exploration began with the special case in which \( \mu =\nu =\frac{1}{2} \). Success with proving the extremes of 5:1 and 6:1 generated sufficient confidence to consider the more general case in which the edges are divided in the same ratio cyclically around the quadrilateral. The values for the minimum and maximum were found by guessing that the position of W would arise in the same way as in the particular case, and so it transpired. The trapezia conditions first emerged from using a CAS to factor the difference between the general ratio and the conjectured minimum. Although obvious in retrospect, there was a moment of excitement when the trapezia conditions were recognised in the numerator of the difference. The format of the denominator of the residual term was discovered only after much gazing and pondering, and a decision to try to make use of the T-expression. When T was used to eliminate the highest degree terms in *μ* appearing in the residual denominator, the rest factored unexpectedly, providing a second frisson of excitement.

Ambition led to trying the most general case in which the ratio divisions on the edges of the quadrilateral are all different, but it soon became evident from the DGS (and quiet reflection) that there could not be any satisfying extremes for the ratio.

Embarking on dividing opposite edges in the same ratio, using *μ* and *ν*, began easily enough. Subtracting the conjectured minimum achieved with a parallelogram, then factoring, revealed the trapezium conditions as expected. However, it was a challenge to deal with the two possible maxima. It was only in retrospect when revising these notes that the idea of relating the numerators of the differences *ρ* – *ρ*_{min} and *ρ*_{max1} – *ρ* made it obvious how to find the residual denominators. Whenever the algebra became an obstacle, use was made of specific examples to check comprehension of the algebra, geometrically.

Showing that the *S* and *R* expressions were non-negative took even more gazing and pondering until the formats used here were discovered. They were then checked by constructing a procedure to re-express quadratic expressions in *a* and *b* in terms of (*a* – 1)^{2}, (*b* – 1)^{2}, *ab* and (*a* + *b* – 1). It was startling to discover these terms as a basis for presenting the constraints. They provide the reason for presenting the trapezia conditions in the form used. Of course, the *ab* term can be re-written as (*a* – 1)(*b* – 1), with a revision to the coefficient of *a* + *b* – 1 so as to express the conics neatly, but the present form is needed in order to see directly that the quadratic expressions are always non-negative when the quadrilateral is convex.

### Special Case of Trapezia

*zmwx*is parallel to

*xmyz*, so that

*μ*(

*a*– 1) + (

*b*– 1) = 0. The parallel lines have implications for areas as shown in Fig. 12 (left).

_{ZW}parallel to

*wmxy*and a line through M

_{XY}parallel to

*ymzw*creates two triangles (shaded in Fig. 12, right side). Denote their areas by

*∆*

_{C}and

*∆*

_{D}respectively. Then:

using the parallels construction making up the dark-shaded triangles.\( \left(\frac{1}{v^2}-1\right)\left({C}_1+{\Delta }_C\right)={C}_2+{\Delta }_C \)and \( \left(\frac{1}{v^2}-1\right)\left({D}_1-{\Delta }_D\right)={D}_2-{\Delta }_D \)

Reading around the inner quadrilateral, \( {Area}_{outer}={Area}_{inner}+\frac{A+B}{\mu^2}+{C}_1+{C}_2+{D}_1+{D}_2. \)

Putting these together, it turns out that:\( v{Area}_{outer}=\frac{A}{\mu^2}+{D}_1+\frac{B}{\mu^2}+{C}_1 \)and

μArea_{outer}= (A+B+C_{1}+D_{1}+C_{2}+D_{2}).

\( \frac{Area_{outer}}{Area_{inner}}=\frac{1+\mu \upsilon}{\left(1\hbox{--} \mu \right)\left(1\hbox{--} \upsilon \right)}+\left({\Delta}_C\hbox{--} {\Delta}_D\right)K \) where *K* is some factor.

_{C}and Δ

_{D}are similar, it requires only that they be congruent to validate the minimum ratio. This follows from the algebraic calculation (thanks to a CAS) that:

Consequently, Δ\( \frac{V_1{M}_{ZW}}{V_4{V}_1}=\frac{\ {\mu}^2{v}^2}{{\left(1-\mu \right)}^2}=\frac{V_3{M}_{XY}}{V_2{V}_3} \) and \( \frac{Y{V}_4}{V_4{V}_1}=\frac{\ {\mu}^2}{{\left(1-\mu \right)}^2}=\frac{W{V}_2}{V_2{V}_3} \) .

_{C}= Δ

_{D}and so the minimum area ratio is what the algebra says. It remains a challenge to find a synthetic (Euclidean) proof.

## Conclusions

Alerted to an erroneous assumption based on not considering enough decimal places, we were led to an exciting exploration which was made possible for us through the use of a DGS for formulating conjectures, and a CAS for carrying out algebraic calculations with co-ordinates. The two went hand in hand, as we went back and forth between the two making, testing and validating conjectures, while seeking geometrical implications of algebraic relationships.

While synthetic geometry proofs (without using co-ordinates) continue to escape us, combining algebra with geometry provides a rich playground for exploration. Students could be offered the mistaken conjecture that the ratio is always 5:1 and invited to try to find the actual minimum and maximum using a DGS alone. Or they could choose values for *μ* and *ν*, and then watch the area ratio change (to two decimal places … where it remains largely constant) until the they think of increasing the number of decimal places. However, experiencing the power of having a CAS to do the tedious co-ordinate calculations – and relating the geometry to the algebra and vice versa – offers an instance of mathematical exploration which would otherwise be too complicated for most students.

## Footnotes

## Notes

## References

- Bogomolny, A. (2018). The carpet theorem: What is it about? A mathematical droodle. (www.cut-the-knot.org/Curriculum/Geometry/CarpetsInSquare.shtml#explanation). Accessed March 2019.
- Mason. J. (2019). Outer to inner quadrilateral area ratios. (www.pmtheta.com/Outer-Inner-Area-Ratios.html).

## Copyright information

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.