La fórmula de Koide, descubierta en 1981 por Yoshio Koide, es una relación entre las masas de los tres leptones cargados, que predijo la masa del leptón tau.