Ringschluss (Beweistechnik)

• eine wahre Aussage \(A_1\)

• Beweisen von mehreren Äquivalenzen zwischen \(A_2, ..., A_n\)

\begin{align*} A_x \Leftrightarrow A_y \\ 1 \leq y \leq n \\ 1 \leq x \leq n \end{align*}

• Zeigen von:

\begin{align*} A_1 \Rightarrow A_2 \\ A_2 \Rightarrow A_3 \\ A_{n-1} \Rightarrow A_n \\ A_{n} \Rightarrow A_{1} \end{align*}