# Find the maximum number of triangles that can have equal area

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.

• Obtaining 6 triangles of equal area is easy (no coordinates needed), but I don't think there exists a solution with 7 triangles. – Aretino Sep 29 at 6:37

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. • How do you know all of the triangles within each isosceles triangle is equal in area? – Aarony Jamesys Oct 2 at 0:29
• @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. – Daniel Mathias Oct 2 at 1:17
• Thank you @Daniel. Is there a way to prove your claim though, that 7 would not exist? – Aarony Jamesys Oct 2 at 14:36

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: $$(c+e)(b+u)=a(g+m+d)\\ (d+f)(a+u)=b(c+m+h)\\ (b+d)(h+l)=f(g+m+u)\\ (a+c)(g+l)=e(h+m+u)\\ (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: $$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. 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). 