par Skullkid » 30 Oct 2011, 22:01
Ok, ça me rassure. Pour ce qui est de mon calcul, il y a sans doute plus rigoureux : je compte le nombre de carrés qui s'inscrivent dans un carré "droit" (dont les côtés sont parallèles aux axes) de côté k. Si je numérote les 4k points à coordonnées entières qui sont sur le carré droit de côté k en allant par exemple dans le sens direct, on tombe sur k carrés inscrits, qui sont (1,k+1,2k+1,3k+1), (2,k+2,2k+2,3k+2) et ainsi de suite jusqu'à (k,2k,3k,4k). Sachant que le nombre de carrés droits de côté k dans un carré de côté n-1 est (n-k)², le nombre total de carrés dans un carré de côté n-1 est la somme pour k allant de 1 à n-1 de (n-k)²k, c'est-à-dire (n-1)n²(n+1)/12.