C’est en vertu de la définition de l’inverse d’un réel non nul que a × (1/a) = 1. Le reste n’est que littérature.