Example 1.3.5 The necessary and sufficient condition for a square to be divided into obtuse triangles is .
Problem 928
Official solution
Proof:
Sufficiency: It can be constructed, as shown in Figure , a square can be dissected into 6 obtuse triangles, and any obtuse triangle can always be divided into two obtuse triangles.
Necessity: First, find the invariant relationship in any obtuse triangle dissection.
Classify the dissection points of the dissection method: dissection points on the boundary of the square or on a side of a dissection triangle but not at the vertex of the triangle are called first-class dissection points; dissection points not on the side of a triangle are called second-class dissection points.
In Figure 1-9, are first-class dissection points, and is a second-class dissection point.
For any obtuse triangle dissection of a square, it divides the square into obtuse triangles. Suppose this dissection has first-class dissection points and second-class dissection points. Since a first-class dissection point can provide at most one obtuse angle, and a second-class dissection point can provide at most three obtuse angles, we have .
Calculating the total degree of the interior angles of the dissection triangles in two ways, we get
Therefore, .