Dans son papier fondateur de 1961, Wirsing étudie comment on peut approcher un nombre réel transcendant ξ donné par des nombres algébriques α de degré au plus n, en terme de leur hauteur naïve H(α). Il montre que l'exposant ω_n*(ξ) mesurant cette qualité d'approximation est au moins égal à (n + 1)/2. Il remarque aussi que rien ne suggère que cette estimation soit optimale, et qu'on pourrait même avoir toujours ω_n*(ξ) ≥ n (cette inégalité étant une égalité presque partout au sens de la mesure de Lebesgue). Depuis ses travaux, toutes les améliorations de la borne inférieure de Wirsing étaient de la forme n/2 + O(1), jusqu'à ce que Badziahin et Schleischitz prouvent en 2021 que ω_n*(ξ) ≥ an pour tout n ≥ 4, où a = 1/√3 ≃ 0.577. Dans la première partie de cet exposé, nous nous attarderons sur cet historique et les idées derrière la preuve originelle de Wirsing. Dans un second temps, en utilisant une nouvelle approche qui s'inspire partiellement de la géométrie paramétrique des nombres, nous montreront que ω_n*(ξ) ≥ an pour tout n ≥ 2, où a = 1/(2 − log 2) ≃ 0.765.
