Sorry, I thought I got it all out of my system in my first post about trapezoids last week
. Allow me to rant a bit more about trapezoids. First let me remind you of the problem. Many Geometry books, our school district’s book included, state the definition of a trapezoid this way:
“A quadrilateral with one and only one pair of parallel sides.”
In case you didn’t catch the point of my first post: I think this is a poor definition and should be abolished from all Geometry curriculum everywhere. Here are some pictures I recently came across on the internet depicting the hierarchy of quadrilaterals. These picture agree with the above definition. Let me just say once more, I completely and totally disagree with these pictures, and I think you should too. That is to say, all of the following pictures are WRONG.
BAD:
And I could go on and on. Now here are two good ones.
GOOD:
To be fair, the first set of pictures are only partially wrong. They have good intentions. Typically, the first breakdown of quadrilaterals in those pictures is by “number of parallel sides.” The first lines that come off of the word ‘quadrilateral’ divide quadrilaterals into three categories usually:
- No parallel sides (i.e. the kite)
- Exactly one set of parallel sides (i.e. the trapezoid)
- Two sets of parallel sides (i.e. the parallelogram)
So the pictures aren’t wrong, per say. They just depict different information. The problem comes when teachers ask, “Look at this diagram and tell me: Is every rectangle a trapezoid? Is every rhombus a kite?” The answer to both questions is ‘yes.’ But students instinctively answer ‘no’ when using the first set pictures, and you can see why.
The problem is a historic one. If you go back to Euclid’s Elements, Definition 22 in Book 1, you can see the origin of this problem right away (a translation from the Greek):
Of quadrilateral figures, a square is that which is both equilateral and right-angled; an oblong that which is right-angled but not equilateral; a rhombus that which is equilateral but not right-angled; and a rhomboid that which has its opposite sides and angles equal to one another but is neither equilateral nor right-angled. And let quadrilaterals other than these be called trapezia.
In the above definition from Euclid, here are the (not perfect) translations of each figure:
- Euclid’s square –> Our square
- Euclid’s oblong –> Our rectangle
- Euclid’s rhombus –> Our rhombus
- Euclid’s rhomboid –> Our parallelogram
- Euclid’s trapezia –> Our…trapezia/trapezium?
The last definition is a bit confusing, since we don’t have a very well-agreed upon name for this figure. But notice that ALL of Euclid’s definitions are exclusive. A square is never an oblong. A square is never a rhombus. Each of the above quadrilaterals, according to Euclid, is mutually exclusive. These exclusive definitions persisted into the 19th century.
But sorry Euclid, no one likes your definitions anymore. I hate to say it, because everyone loves Euclid.
In his defense, he wasn’t using these names for the same purpose we do. Nothing about his language is very technical and he doesn’t say ANYTHING else substantial about these definitions. He doesn’t use them to make categorical statements about quadrilaterals or to give properties that might be inherited. The names he uses are of little consequence to the rest of his work.
Can we lay this issue to rest yet? A parallelogram is always a trapezoid. Say it with me,
A parallelogram is a trapezoid.
A parallelogram is a trapezoid.
A parallelogram is a trapezoid.
Anything you can say about a trapezoid will be true about a parallelogram (area formulas, cyclic properties, properties about the diagonals). A parallelogram is a trapezoid.






Thanks for your thoughts on the importance of definitions. As further support of your premise, I offer up the area formulas for the trapezoid and the parallelogram. Specifically, you can calculate the area for a parallelogram using the trapezoid formula: A = 1/2 * (b_1 + b_2) * h. Of course it will work since the “bases” of a parallelogram are equal and the formula reduces to A = b * h, where b = b_1 = b_2.
If the formula for the trapezoid’s area also calculates the parallelograms area, the parallelogram is a trapezoid.
Pingback: Math Teachers at Play #35 « Let's Play Math!
Pingback: MTaP #35: Two New Posts « Let's Play Math!
I’ve been told that the inclusive definition of trapezoid is the usual one in Canada (whereas the exclusive definition is the usual one in the US–which isn’t to say you can’t find perfectly good US sources for the inclusive definition). It’s almost enough to persuade one to move north.
@Andy: Thanks for the added insights!
@LSquared: Okay, we’re moving to Canada!
John – I admire your passion and tenacity on this issue. It takes a certain David v. Goliath form of courage to stand for what you believe against Euclid and the current majority consensus of folks who think about polygons. Plus it makes for entertaining debates in the math office! I think I’m starting to see the light about your preferred hierarchy and the logic of viewing parallelograms as specific cases of trapezoids. It makes sense to go from zero parallel sides to (at least) 1 pair of parallel sides to 2 pairs of parallel sides. Keep up the good fight!
A hierarchy should go from less restrictive (more inclusive) to more restrictive (less inclusive) classifications. Your preferred hierarchy seems to follow that principle more closely than the conventional one.
We define it inclusively in Britain too, though of course we call them by a slightly different name. I assume that the alternative definition is so you can define an isosceles trapezium as “the other two sides equal” and get all the properties straight out without having to worry about it actually being a parallelogram, but for me at least that’s not worth the loss of elegance.
Two things: First, trapezoid means one thing and the opposite depending where you are. In some countries, it means zero parallel sides, and in US it means exactly one pair of parallel sides, or as you would prefer, at least one pair of parallel sides.
Second: There is no hierarchy in the terms, so that’s why you can’t draw a hierarchy that makes you happy. If trapezoid simply means “4 sides, at least 1 pair parallel” then you can draw a hierarchy based on the number of parallel sides (0 pairs, 1 pairs, 2 pairs). But if you also mix in the dimensions of equality of angles, lengths of sides, etc. then you will fail. Each of these is a dimension by itself and the definitions of the various shapes don’t exclude others.
That’s why a square is both a kite and a parallelogram, even though neither kite nor parallelogram is a subset of the other. It isn’t a hierarchy.
First thing: I know there’s disagreement on the definition of ‘trapezium’ but didn’t think anyone used ‘trapezoid’ to name a quadrilateral with no parallel sides. And you portray the US definition of trapezoid as monolithic. I don’t think it is. I’ve shown there are plenty (perhaps even the majority) of people who agree with me.
Second thing: Perhaps hierarchy isn’t the right word. You might be right that we should use a better word to describe it. I think ‘inheritance’ captures the definitions correctly and is a better term. Here’s the inheritance for a few common quadrilaterals. For each quadrilateral, I’ve included its “parents” in parentheses.
-Square (is a rhombus, rectangle, kite, trapezoid, parallelogram, etc)
-Rhombus (is a parallelogram, trapezoid, kite, etc)
-Rectangle (is a parallelogram, trapezoid, etc)
-Parallelogram (is a trapezoid)
-Kite (no parents except the quadrilateral)
Whether we call it a hierarchy or not, I think the last two diagrams capture the information I just listed. Would you agree?
I thought the same thing and I asked a textbook author about it. The reason that they do this is apparently so that the statement “in an isosceles trapezoid the base angles are congruent” is true.
Hmm…interesting! I’ve never thought of that. What a lousy reason to prefer the exclusive definition, though. Wow! I just did a bit of google research.
Here are some sites that agree with that textbook (the exclusive definition):
http://www.icoachmath.com/SiteMap/Isosceles_Trapezoid.html
http://www.regentsprep.org/regents/math/geometry/GP9/LTrapezoid.htm
http://www.geometry-help.info/Isosceles_Trapezoid.html
http://www.wyzant.com/Help/Math/Geometry/Quadrilaterals/Trapezoids_and_Kites.aspx
http://www.idealmath.com/geometrytheorem/isoscelestrapezoid.htm
http://www.mathvisuals.com/geometry-applications/special-quadrilaterals/right-trapezoid-isosceles-trapezoid.html
Here are some sites that use a definition consistent with the inclusive definition:
http://en.wikipedia.org/wiki/Isosceles_trapezoid
http://planetmath.org/encyclopedia/TrisoscelesTrapezium.html
http://www.mathopenref.com/trapezoid.html
http://www.termwiki.com/IT:isosceles_trapezoid
http://www.tutorvista.com/math/definition-of-isosceles-trapezoid
http://www.learner.org/courses/learningmath/geometry/keyterms.html#i
Interestingly, the second set of definitions either make a requirement about symmetry or about base angles.
Hi Mr. Chase. I like your post.
I am a Maths teacher in the Netherlands and we use the inclusive method. So I like the ‘GOOD’ set of pictures.
I do not like the Euclid’s definition for the Trapezia too. However this is just a case of ‘Lost in translation’. The greek word used by Euclid means actualy something like table. Use google translate to translate ‘table’ into greek: τραπέζι ‘trapezi’. You probably know your greek letters.
If you now fill in trapezium, it will translate it to τραπέζιο.
There are people who think that he wanted to use a word as table (or ‘little table’) for irregular (scalene) quadrilaterals. That would mean that the current trapezium with one pair of parallel lines never crossed Euclid’s mind or he did not think it was special enough to give it a name.
You seem hung up on the fact that Euclid’s definitions are exclusive. Why is this a bad thing. Of course, a square is a special kind of rectangle. But when I give a test to my pupils and draw a square and ask the pupils what the name of that figure is, I do not want them to write down rectangle…
Because of the properties of the square it is a special kind of rectangle, rhombus, etc. but in the first place, it is a square. Not a rectangle.
how do you draw a Irregular quadrilateral trapezoid with fixed dimensions for the two parallel bases and the two legs with no angles given using geometry tools?
top base= 328
bottom base= 223
left leg =220
right leg= 215
Best solution I can think of is this, using a geo triangle and a pair of compassess.
Start with the longest side (328). Set the distance of you pair of compasses to 220 and draw a circle with a centre that is the left tip of side 328 and a circle with a radius of 215 that has as a centre the right tip of side 328. Now you use the parallel lines on your geo triangle to draw a line parallel to side 328 with a length of 223 between the two circles.
A discussion about this problem can be found here: http://mrchasemath.wordpress.com/2011/11/05/constructing-a-trapezoid-using-the-side-lengths/
and here: http://mrchasemath.wordpress.com/2011/11/05/trapezoid-problem-take-2/
Pingback: Constructing a trapezoid using the side lengths « Random Walks
I completely agree that we need to resolve the problem with the definitions of trapezoid. If you consult the premier mathematics sites (Dr. Math, Wolfram, etc) they agree with “at least one pair of parallel sides”. Unfortunately most textbooks and standardized exams posit the “2 pair of parallel sides”
I posted this on your first post about this as well, but wasn’t sure which you would respond to first, so I will post it here as well.
Just a question then – what do you do with the following two theorems regarding isosceles trapezoids when the trapezoid becomes a parallelogram?
Base Angles Theorem for Isosceles Trapezoids – the base angles of an isosceles trapezoid are congruent – not true for basic parallelograms (only rectangles).
Theorem (I don’t think it has a specific name) – the diagonals of an isosceles trapezoid are congruent – not true for basic parallelograms (only rectangles).
Do you then say that these theorems only apply for non-parallelogram isosceles trapezoids or that isosceles trapezoids can’t be parallelograms?
Seems to be an issue. If you have a solution for it, I would love to hear it because this is the one thing that seems to be a problem for the difference in definitions.