最後の準備として、数列formula_15,formula_16,formula_17を帰納的に以下の通りで定める: