Bonjour,
On peut déjà essayé de trouver un encadrement? Un peu comme avec la quadrature du cercle tu cherche une minoration et une majoration.
Je me place dans le cas simple d'un quadrillage régulier et orthogonal de maille l. on considère que le centre du cercle, correspond a un noeud du maillage
on a A(l,r) <= N(l,r) <= B(l,r)
1°) la minoration
Il suffit de compter le nombre de mailles (carrés de taille l) qui sont entièrement contenue dans le cercle. On calcul pour un cadran, ...
On a donc un pavage en carré de taille l, N(l) est donc forcément supérieur ou égale à ce nombre. (on a laissé des blancs)
2°) la majoration
Cette fois-ci on compte le nombre de mailles qui contiennent entièrement le cercle. On le calcul de la même manière que la minoration ...
Ce pavage excède forcément le pavage idéal que l'on cherche (sa superficie excède celle du cercle, y'a plus de blanc); donc on a une majoration.
3°) quelques mots pour pousser l'encadrement
On peux essayer, d'autre type de pavage mais à mon avis les pavages réguliers sont des bons candidats pour minimiser les espaces vides.
en plus on constate que :
Il est peut-être possible de pousser le raisonnement pour trouver un maillage optimal (en faisant bouger le centre du cercle par exemple), ou au moins un meilleur encadrement de sorte à annuler quelques terme du développement asympotique: