Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-3/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 3 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
A point is an element of . A duad is an unordered two-element subset. A syntheme is a partition of into three duads, and a total of synthemes is a collection of five synthemes whose duads partition all fifteen duads. In graph terms these are vertices, edges, perfect matchings and one-factorization of .
The first counts are , , andsynthemes. To count totals, first observe that two edge-disjoint synthemes have union a six-cycle. Its complement in is a triangular prism: two triangles on alternate cycle vertices, joined by the three remaining cross edges. Its perfect matchings are the matching using all three cross edges and three matchings using one cross edge each. The all-cross matching cannot be used in a factorization, because the remaining two odd triangles cannot be matched. The other three matchings partition the prism edges. Therefore every pair of disjoint synthemes extends to a unique total.
Fix a syntheme . Each of its three duads belongs to three synthemes. Inclusion-exclusion shows that synthemes share a duad with , including itself. Thus eight are disjoint from . A total containing uses four of these, and each disjoint syntheme determines exactly one such total. Hence belongs to totals. Counting incidences givesTwo different totals share at most one syntheme, by the unique-completion assertion. There are fifteen pairs of totals and fifteen synthemes each belonging to two totals; consequently each pair of totals has exactly one common syntheme. This incidence property drives the next construction.
New to topics? Read the docs here!