Un esagono magico di ordine n è una disposizione di numeri tra loro distinti in una tabella esagonale composta da n celle per ogni lato, in modo che la somma dei numeri in ogni riga, in ciascuna delle tre direzioni possibili, abbia come somma la stessa costante magica. Un esagono magico normale ha il vincolo ulteriore di usare gli interi consecutivi da 1 a 3n² − 3n + 1. Si può dimostrare che esistono esagoni magici normali solo per n = 1 (banale) e n = 3; inoltre, la soluzione di ordine 3 è essenzialmente unica, a meno di rotazioni e riflessioni.