Когда чётное количество бочек, фигура симметричная получается (относительно оси или центра). А при нечётном количестве "четверти" разные получаются, поэтому расхождение приходится компенсировать увеличением некоторых участков, на которых происходит "нулевое" касание с бочками. Может, доказательства и нет, но чёткий алгоритм построения такой фигуры уже вырисовывается