Figure 4 This implies 20,02, > SQ, an inequality from which we see that the maximum of |AQRS| is attained when SQ || O1O2. ees “ae 6 Oe Se ae Since the location of the points O,, O2, O3 depends only on AABC and angles a, (6,7, the result just established shows that there exists a unique area-maximizing triangle in Cyg,. Given al area-minimizing triangle ADEF in the class Zag ,, we can associate with it a homotopic triangl AQRS in Cagy, which can be constructed following the recipe given in Proposition 2.1) Using the Remark 1, the latter triangle is area-maximizing in Cyg, and, hence, must coincide with the unique area-maximizing triangle described in the first part of the current proof. This shows t is itself uniquely determined by the property that it is area-minimizing in Z,g,. This concludes the proof of the first claim made in the statement of Theorem[2.4] The above considerations also shov that ADEF and AQRS are homotopic, thus proving item (Z). rr feeN Foy me nr 7 fs 7. 7D p> of I SNnNnni hat ADEF