Изменения

{{Определение|definition=Ячейка Вороного <tex>k</tex>-го порядка (<tex>\mathcal{V}_k(p_1, p_2, ..., p_k)</tex>) — множество точек, имеющих в качестве ближайших <tex>k</tex> соседей определённое множество из <tex>k</tex> сайтовp_1, p_2, ..., p_k. }} Чтобы построить диаграмму <tex>k</tex>-го порядка, нужно взять диаграмму <tex>k - 1</tex>-го порядка и заменить каждую ячейку (она будет для некоторого множества <tex>P_{k-1}</tex> из <tex>k - 1</tex> сайтов) на диаграмму Вороного на множестве остальных сайтов. Заменив её на диаграмму для остальных сайтов, мы фактически разделяем её на несколько частей. Каждая новая часть будет частью ячейки Вороного для какой-то точки не из <tex>P_{k-1}</tex>. Но так как в изначальной ячейке все точки являются ближайшими к сайтам из <tex>P_{k-1}</tex>, в итоге получается, что в полученных новых ячейках внутри изначальной все точки являются ближайшими к <tex>k</tex> точкам.