Let n⩾3 and P a convex n-gon. Show that P can be, by n \minus{} 3 non-intersecting diagonals, partitioned in triangles such that the circumcircle of each triangle contains the whole area of P. Under which conditions is there exactly one such triangulation? geometrycircumcircleinductioncombinatorics proposedcombinatorics