Es sei c ∈ R + {\displaystyle {}c\in \mathbb {R} _{+}} eine positive reelle Zahl. Die Heron-Folge zum positiven Startwert x 0 {\displaystyle {}x_{0}} ist rekursiv durch
definiert.