En mathématiques, un 4-polytope régulier convexe (ou polychoron) est un polytope à 4 dimensions (4D) qui est à la fois régulier et convexe. Ce sont les analogues quadridimensionnels des solides de Platon (en trois dimensions) et des polygones réguliers (en deux dimensions).
Ces polytopes ont été décrits pour la première fois par le mathématicien suisse Ludwig Schläfli au milieu du XIXe siècle. Schläfli a découvert qu'il existe précisément six de ces chiffres. Cinq d'entre elles peuvent être considérées comme des analogues de dimensions supérieures des solides de Platon. Il existe une autre figure (la 24ème cellule) qui n'a pas d'équivalent tridimensionnel.
Chaque 4-polytope régulier convexe est délimité par un ensemble de cellules tridimensionnelles qui sont toutes des solides de Platon de même type et de même taille. Ces cellules sont assemblées de façon régulière le long de leurs faces respectives.
