Écrire la spécification complète — prototype, docstring, précondition…

import math

def aire_disque(r):
    """Aire d'un disque de rayon r.

    Precondition  : r >= 0.
    Postcondition : le resultat est >= 0, et nul si et seulement si r est nul.
    """
    assert r >= 0, "un rayon est positif ou nul"
    a = math.pi * r * r
    assert a >= 0
    return a

Les trois familles de cas.

• ordinaire : aire_disque(2) vaut $4\pi \approx 12,566$ ;
• limite : aire_disque(0) vaut $0.0$ exactement ;
• interdit : aire_disque(-1) déclenche AssertionError: un rayon est positif ou nul.

assert abs(aire_disque(1) - math.pi) < 1e-12
assert aire_disque(0) == 0.0
try:
    aire_disque(-1)
    print("ECHEC : l'assertion aurait du se declencher")
except AssertionError:
    print("ok : cas interdit bien refuse")

Deux détails de chapitre 2. On compare l'aire à $\pi$ avec une tolérance ($10^{-9}$ ou $10^{-12}$), jamais par ==. En revanche aire_disque(0) == 0.0 est légitime : $\pi \times 0\times 0$ vaut $0.0$ exactement, car multiplier par zéro est l'une des rares opérations flottantes sans erreur d'arrondi. Savoir quand l'égalité est permise fait partie de la spécification.