Hallo,
es gibt schon eine 'parate Formel'. Die lautet: es existiert für jedes \(n \in \mathbb N\) mit \(n \ge 12\) ein \(x\) und \(y\) mit$$n = 3x + 7y, \quad x,y\, \in \mathbb N_0$$Induktionsanfang mit \(n=12\) $$12 = 3 \cdot 4 + 7 \cdot 0$$für den Induktionsschritt muss man zwei Fälle unterscheiden.
1. Fall \(y \le 1\), dann ist \(x \ge 2\) $$\begin{aligned} n+ 1 &= 3x + 7y + 1 \\ & = 3x + 7y - 6 + 7 \\ & = 3(x-2) + 7(y+1) \\&= 3x_2 + 7y_2, \quad x_2,y_2\, \in \mathbb N_0 \end{aligned} $$2. Fall \(y \gt 1\)$$\begin{aligned} n+ 1 &= 3x + 7y + 1 \\ & = 3x + 7y + 15 - 14 \\ & = 3(x+5) + 7(y-2)\\&= 3x_2 + 7y_2, \quad x_2,y_2\, \in \mathbb N_0 \end{aligned} $$siehe auch diese Frage.