6
$\begingroup$

Here is another math problem that I just can't do.

A convex pentagon is partitioned by its diagonals into $11$ regions, $1$ pentagon and $10$ triangles. What is the maximum number of those $10$ triangles that can have equal area?

I tried many different ways to do this. The standard regular pentagon has $5$ triangles with equal area. This is a reasonable answer, but many people on my forum claim to have found $6$ to $7$ triangles by Coordinate bashing. They assume the vertexes of the point to be $(0,0), (0,1), (a_1,a_2), (b_1,b_2), (c_1,c_2)$, and they hash out all of the coordinates of the diagonals, and figure out the area of each triangle.

Is there a simpler and less confusing way to solve the problem?

Any help will be greatly appreciated.

$\endgroup$
1
  • $\begingroup$ Obtaining 6 triangles of equal area is easy (no coordinates needed), but I don't think there exists a solution with 7 triangles. $\endgroup$ Sep 29 '19 at 6:37
2
$\begingroup$

As mentioned in comments, six triangles of equal area is trivial. Such a pentagon can be constructed from any isosceles triangle. I also agree with Aretino in suggestion that a solution with seven triangles does not exist.

pentagon

$\endgroup$
3
  • $\begingroup$ How do you know all of the triangles within each isosceles triangle is equal in area? $\endgroup$ Oct 2 '19 at 0:29
  • $\begingroup$ @Aarony The triangles with equal area (pink) area not within isosceles triangles. The white area in the center is an isosceles triangle. The equal sides of this triangle are each divided into three equal segments. These segments are the bases of the six pink triangles. These triangles also have equal height, and therefore equal area. $\endgroup$ Oct 2 '19 at 1:17
  • $\begingroup$ Thank you @Daniel. Is there a way to prove your claim though, that 7 would not exist? $\endgroup$ Oct 2 '19 at 14:36
3
$\begingroup$

In constructing a pentagon we can place 5 points at will, hence we have 10 free parameters to describe the pentagon. However, we are only interested in ratios of areas, that is two pentagons corresponding in an affine transformation are equivalent. An affine transformation depends on 6 parameters, hence we are left with 4 free parameters.

Let's label the 11 areas in the pentagon as shown in the figure. We are free to fix at will one of them (we can set, for instance, $u=1$): if four other areas are given, the remaining must be determined. So there must be six equations connecting these areas.

Five of these equations can be found, recalling that in a convex quadrilateral, divided by its diagonals into four triangles, the products of the areas of opposite triangles are the same. Every diagonal of the pentagon divides it into a quadrilateral and a triangle: applying the above rule to those quadrilaterals leads then to the following equations: $$\tag1 (c+e)(b+u)=a(g+m+d)$$ $$\tag2 (d+f)(a+u)=b(c+m+h)$$ $$\tag3 (b+d)(h+l)=f(g+m+u)$$ $$\tag4 (a+c)(g+l)=e(h+m+u)$$ $$\tag5 (e+g)(f+h)=l(c+m+d)$$ A sixth equation can be found by noting that, once we set $u=1$, fixing $a$ and $b$ amounts at giving the horizontal diagonal, then fixing $c+e$ and $d+f$ is the same as giving the two diagonals issued from the upper vertex. But then the whole pentagon is given and the values of $c$ and $d$ can be derived from the above data by two equations. One of these equations is for instance: $$\tag6 c(ab+bu+du+fu)=a^2(d+f). $$ To prove that no pentagon exists with 7 triangles of equal area, it suffices to check that the above equations give no valid (i.e. positive) solutions when 7 variables are given the same value (e.g. $1$). I did that with Mathematica to speed things up, but I think it could also be done by hand. All subsets of seven variables were tested, setting them equal to $1$ and solving for the other four variables. No valid solution was found, and this confirms that 7 triangles of equal area cannot exist.

enter image description here

I also checked that 6 triangles of equal area are indeed possible, and found three different solutions:

$$ a = b = e = g = l = u = 1,\quad c={1\over3},\ d=h={2\over5},\ f={3\over5},\ m={19\over15};\\ \\ a = d = e = f = l = u = 1,\quad b=\sqrt3,\ c=h={\sqrt3-1\over2},\ g={2\over\sqrt3},\ m=1+{1\over\sqrt3};\\ a = d = e = g = h = u = 1,\quad b=l={1+\sqrt{33}\over4},\ c={\sqrt{33}-3\over6},\ f={9+\sqrt{33}\over8},\ m=\sqrt{11\over3}. $$

The first one is equivalent to that shown by Daniel Mathias in his answer, but the other ones are different (see figure below).

enter image description here

EDIT.

After almost two years I'm asked to explain the last equation above. I don't remember how I got to it, but can show how to derive another equivalent cubic equation.

As we are only interested in ratios of areas, we can perform an affine transformation carrying triangle $u$ to a right-angled isosceles triangle with base $2$ and altitude $1$ (see figure below). Its oblique sides $AB$ and $AC$ measure then $\sqrt2$.

But the areas of triangles with the same altitude have the same ratios as their bases, hence we get: $$ BF=\sqrt2{c+e\over a} \quad\text{and}\quad CG=\sqrt2{d+f\over b}. $$ As $AFG$ is a right triangle, its area can then be computed by ${1\over2}AF\cdot AG$, and the result must be the same as $1+m+g+h+l$: $$ {1\over2}\sqrt2\left({c+e\over a}+1\right)\cdot \sqrt2\left({d+f\over b}+1\right)=1+m+g+h+l, $$ which can be simplified to: $$ (c+e+a)(d+f+b)=ab(m+g+h+l+1). $$ Finally, we can obtain the general case by restoring $u$ for the area of triangle $ABC$: $$ \tag{$6'$} u(c+e+a)(d+f+b)=ab(m+g+h+l+u) $$ and this can be taken as a sixth equation, in place of that I wrote two years ago.

enter image description here

$\endgroup$
9
  • $\begingroup$ can you please explain how you got your 6th equation? I am still quite confused. $\endgroup$ Aug 1 at 5:50
  • $\begingroup$ @AaronyJamesys Unfortunately I don't remember how I got to that equation (almost two years ago!), you should have asked then. Anyway, I'll think of it and try to recover my reasoning. $\endgroup$ Aug 1 at 13:14
  • $\begingroup$ @AaronyJamesys See my edit: hope it helps. $\endgroup$ Aug 2 at 9:47
  • $\begingroup$ That is such a clever trick! I wish I had that level of geometric thinking. May I please know what graphing software you are using to draw your diagrams? Is it Mathematica? $\endgroup$ Aug 2 at 12:26
  • $\begingroup$ @AaronyJamesys I used GeoGebra, free but very powerful (www.geogebra.org). $\endgroup$ Aug 2 at 13:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.