@JL
De fait, votre truc ne marche que lorsque la différence entre les deux cotés de l’angle droit est égale à une unité : n et n+1
Exact. On pourrait même dire que la formule de Taverne est une identité pour ces couples de valeurs. En maths, cela ne passerait pas comme « théorème ».