Alle viervlakken met rationele hoeken bekend

Het viervlak (tetraëder) is de eenvoudigste driedimensionale vorm met vlakke zijdes: het zijn vier vlakken in de vorm van een driehoek, oftewel een piramide met een driehoek als grondvlak. Tussen de vlakken zijn er zes hoeken, en in 1976 vroegen wiskundigen John Conway en Antonia J. Jones zich al af hoeveel viervlakken met rationele hoeken er bestaan. Twee wiskundigen vonden in de jaren 1990 59 voorbeelden en twee oneindig grote families van voorbeelden, en geen andere. Vijfenveertig jaar na de eerste vraagstelling hebben de wiskundigen met de hulp van twee collega’s nu eindelijk kunnen bewijzen dat die 59 voorbeelden en twee families de enige viervlakken met rationele hoeken zijn. Het enige wat er nodig was, waren nieuwe algoritmes, veel rekenkracht en meer dan veertig jaar extra kennis…