MENU

漸化式と関数の比較

I. 序論

A. 数学における秩序と関係性の普遍性

数学は、自然界や抽象的な構造の中に潜むパターンを発見し、事象の連続性や量間の関係性を記述するための根源的な人間の試みです。この探求の中で、数列の各項が先行する項に基づいてどのように生成されるか、あるいはある入力に対してどのような出力が一意に対応付けられるかといった問いは、中心的な役割を果たしてきました。漸化式と関数は、これらの問いに答えるために開発された二つの主要な数学的ツールであり、それぞれが独自のアプローチと強みを持っています。これら二つの概念は、一見異なるように見えながらも、数学的対象を記述し理解するための異なる視点を提供し、時には深く関連し合っています。

B. 本報告の目的と範囲

本報告の目的は、漸化式と関数の詳細な比較分析を提供し、それぞれの明確な特性、定義、値の生成方法、典型的な定義域、そして相互の関連性を明らかにすることです。さらに、それぞれの応用分野を探求することで、これらの概念の実用的な重要性も浮き彫りにします。単に相違点を列挙するだけでなく、なぜこれらの違いが存在するのか、そしてこれらの概念がどのように相互補完的に機能するのかについての深い理解を促すことを目指します。

漸化式が項を逐次的に定義する手続き的・アルゴリズム的な視点を提供するのに対し、関数は入力から出力への直接的な対応関係を宣言的に示すという事実は、数学的モデリングにおける基本的な二重性を反映しています。この二重性は、数学や計算機科学の他の多くの分野でも見られる普遍的なテーマであり、本報告を通じてこの概念的枠組みを念頭に置くことで、両者の比較が一層明確になるでしょう。

II. 漸化式の定義 (漸化式の定義)

A. 中核概念：数列の再帰的定義

漸化式とは、数列の各項がそれ以前の項の関数として定まるという意味で、数列を再帰的に定義する等式です 1。この定義の核心は、「再帰的」という性質と「先行する項」への依存性にあります。つまり、数列のある項の値は、その項自身で完結して決まるのではなく、一つまたは複数の前の項の値を用いて計算されるという規則を示します。

多くの文脈で、特に数列の項間の差を通じて関係性を記述する場合、漸化式は差分方程式とも呼ばれます 1。これは、漸化式が差分方程式というより広範な研究分野の一翼を担っていることを示唆しています。

B. 初期条件（基底状態）の不可欠な役割

漸化式を用いて特定の数列を一意に定めるためには、一つ以上の初期項（初期条件または基底状態とも呼ばれる）を指定する必要があります 1。例えば、「a1​=3 のように最初の項が確定すると、数列が決まります」という記述 3 は、漸化式の規則だけでは不十分であり、計算を開始するための「錨」となる点が必要であることを明確に示しています。初期条件が与えられて初めて、漸化式はその関係式に従って次の項を一つずつ決定していくため、数列全体が一意に定まるのです 3。フィボナッチ数列や階乗の定義を例に取ると、一般的な漸化規則と基底状態の両方が定義に不可欠な要素であることがわかります 4。

この再帰的な定義（項が先行する項によって定義される）という性質が、初期条件の必要性を生み出します。初期条件がなければ、漸化式は無限に存在する可能性のある数列のテンプレートに過ぎず、特定の数列を指し示すことはできません。この逐次的な依存性は、任意の点で値を直接評価できることが多い関数との根本的な違いの一つです。

C. 逐次的な値の生成

漸化式によって定義される数列の値は、初期条件から出発し、漸化式の規則を繰り返し適用することによって、段階的に生成されます 1。例えば、漸化式 an+1​=an​+2 と初項 a1​=3 が与えられれば、a2​=a1​+2=3+2=5、a3​=a2​+2=5+2=7、というように、数列のすべての項を順に求めることができます 3。この逐次的な生成プロセスは、漸化式の基本的な動作原理です。

D. 一般的な漸化式の種類（概要）

漸化式は、関係する先行する項の数（例：2項間、3項間）や数学的な形式（例：線形定数係数、同次、非同次）に基づいて分類することができます 2。例えば、等差型 (an+1​=an​+d)、等比型 (an+1​=ran​)、特性方程式型 (an+1​=pan​+q)、隣接3項間漸化式などが挙げられます 3。より形式的には、線形漸化式（同次および非同次）や非線形漸化式といった分類も存在します 2。これらの多様性は、漸化式が様々なパターンの数列を記述できることを示しています。

注目すべきは、「各項がそれ以前の項の関数として定まる」という漸化式の定義自体に、関数の概念が埋め込まれている点です 1。漸化式は、項同士を関連付けるために、（通常はより単純な代数的な）関数を利用します。例えば、an+1​=an​+2 における「前の項に2を加える」という規則は、an​ に適用される関数 F(x)=x+2 と見なせます。この事実は、漸化式が関数と全く無関係なのではなく、数列を生成するために特定の形で関数的規則を用いる方法であることを示唆しています。

この逐次的な値の生成という性質は、プロセスが離散的な時間間隔で段階的に展開される計算モデリングやアルゴリズム的思考に、漸化式を自然に適合させます。デジタル信号処理におけるフィードバックのモデル化 1 や、集団動態モデル 1、再帰アルゴリズムのコスト解析 4 などは、この段階的な生成特性を活用する典型例です。

III. 関数の定義 (関数の定義)

A. 中核概念：一意な対応の規則（写像）

関数とは、ある集合（定義域）の各要素に対して、別の集合（終域、値域を含む）の要素を正確に一つ対応付ける規則です 6。この「xの値が決まると、yの値が1つに決まる」という関係性 6 が関数の本質であり、各入力に対して一意の出力が保証されることを意味します。現代数学では、関数はしばしば「写像」の一種として理解され、特に数の集合への写像を指すことが多いです 7。

B. 定義域 (定義域) と値域 (値域)：入力と出力の指定

関数の定義域とは、その関数が定義されているすべての可能な入力値の集合です。一方、値域とは、定義域のすべての値を入力したときに関数が出力しうるすべての値の集合です 1。例えば、「関数 y=f(x) において，変数 x の値のとりうる値の範囲，すなわち x の変域を，この関数の定義域という． また，x の定義域に対応する関数の値のとりうる範囲，すなわち y の変域を，この関数の値域という」と明確に定義されています 8。

定義域と値域の概念は単なる形式的な要件ではなく、関数が動作する「宇宙」と生成する出力の種類を定義する上で極めて重要です。これにより、関数は、数列の典型的な自然数の定義域をはるかに超えて、連続空間や離散空間にわたる広範な現象をモデル化できます。例えば、実数全体を定義域とすることで、時間に伴う連続的な変化（例：t∈R に対する位置 f(t)）を記述できます。

C. 入力からの直接的な値の生成

特定の入力に対する関数の値は、その入力に関数の規則を適用することによって直接的に得られ、他の入力値とは独立しています 1。例えば、関数 y=3x において、x=1 のときの y=3、x=5 のときの y=15 は、それぞれ対応する x の値から直接計算され、他の (x,y) の組とは無関係です 6。f(x) という表記法自体が、この直接的な代入と計算を強調しています 10。

この入力から出力への直接的な対応（マッピング）という関数の定義が、その値が定義域内の任意の入力に対して独立して計算可能であるという特性の根源です。この独立性は、漸化式における項間の相互依存性とは根本的に対照的です。

D. 関数の多様な性質（概要）

関数は、代数関数（多項式関数、有理関数、無理関数など）や超越関数（指数関数、対数関数、三角関数など）を含む、非常に広範な種類を網羅しています 7。この分類は、関数という概念の広大さを示しています。

f(x) という表記法 10 は、関数の直接性とカプセル化を体現しています。これは、「規則 f を入力 x に適用する」という概念をコンパクトに表現するものであり、この表記効率が複雑な数式の表現や操作を容易にしています。例えば、関数の合成 (g(f(x))) や、より複雑な数学的構造の構築を可能にします。

IV. 主要な相違点：比較分析 (主要な相違点：比較分析)

漸化式と関数は、それぞれ数学的な対象を定義するための基本的なツールですが、その定義の性質、値の生成方法、典型的な定義域と値域、そして項間の依存関係において明確な違いがあります。これらの違いを理解することは、両概念を適切に使い分ける上で不可欠です。

A. 定義の性質：再帰的 対 明示的

  • 漸化式: 基本的に再帰的です。つまり、数列の項を、それ自身より単純な（先行する）項といくつかの基底状態を用いて定義します 1。その本質は、「前の項から次の項をどのように得るか」というプロセスにあります。例えば、「漸化式は、各項がそれ以前の項の関数として定まるという意味で数列を再帰的に定める等式である」1 と述べられています。
  • 関数: 通常は明示的です（区分的に定義される場合や、特定の文脈で再帰的に定義されることもありますが、それは後述します）。入力に基づいて出力を直接的に、自己完結的な規則によって定義します 6。その本質は、「与えられた入力に対して出力は何か」という対応関係にあります。関数の定義は直接的な対応を与えるのに対し、漸化式の定義は再帰的な依存関係に基づいて値を定める、という点が本質的な違いです 7。

この定義の性質の違い（再帰的定義 対 明示的マッピング）が、他の主要な区別（逐次的評価 対 直接的評価、典型的な定義域の違い、初期条件の必要性など）の根本的な原因となっています。

B. 値の生成：逐次的 対 直接的計算

  • 漸化式: 値は初期条件から出発し、逐次的かつ段階的に生成されます。an​ を見つけるためには、一般に（閉じた形の解が既知でない限り）a1​,a2​,…,an−1​ を計算する必要があります 1。
  • 関数: 値は、関数の規則を入力に適用することによって直接計算されます。f(x) は、y=x なる f(y) を知らなくても求めることができます 6。

漸化式は数列を生成する「プロセス」を強調するのに対し、明示的な形の関数は数列（または関係性）を完成した「オブジェクト」または静的なマッピングとして強調すると言えます。漸化式を解いて一般項を求めることは、このプロセス指向の定義をオブジェクト指向の定義（明示的な関数）に変換する行為と見なすことができます。

C. 定義域と値域の特性

  • 漸化式: 通常、数列を定義するため、暗黙の定義域は項の番号を表す自然数の集合（または n≥0 や n≥1 のような部分集合）です。値域は、項が取る値の集合です 1。
  • 関数: 実数、複素数、ベクトルなど、多種多様な定義域と値域を持つことができます。定義域は明示的に述べられるか、規則によって暗示されます 7。

D. 依存性と決定

  • 漸化式: （初期項以降の）各項は、先行する項に「依存」します。数列は、規則「と」初期条件によって決定されます 3。
  • 関数: ある入力に対する出力は、他の入力に対する出力とは「独立」しています。関数の出力は、入力と規則のみによって決定されます 6。

これらの主要な違いをまとめた比較表を以下に示します。

比較概要：漸化式 対 関数

特徴漸化式 (Recurrence Relation)関数 (Function)
主な定義再帰的、先行する項に基づく明示的な規則、直接的な入力と出力の対応（マッピング）
値の生成逐次的、初期条件からの反復入力と規則による直接計算
典型的な定義域自然数・整数の集合（項の添字）多様（実数、複素数、離散集合など）
典型的な値域項の値の集合（数や他の数学的対象）出力値の集合（定義域と規則により決定）
依存性後続の項は先行する項に依存ある入力に対する出力は他の入力の出力から独立
初期条件/基底状態一意な数列の定義に不可欠一般に定義には不要（区分関数など特定の型では条件が付く場合あり）
「解く」ことの主な目標n番目の項の明示的な式（閉じた形）を見つけること与えられた入力に対する出力の評価、連続性・微分可能性などの性質の理解
焦点数列がどのように進化または構築されるかを記述静的な関係性や変換を記述

この表は、両概念の対照的な特徴を体系的に示しており、読者がその違いを明確に把握するための一助となるでしょう。

V. 相互作用：漸化式と関数の関連性 (相互作用：漸化式と関数の関連性)

これまでの議論で漸化式と関数の違いを明らかにしてきましたが、これら二つの概念は孤立しているわけではなく、重要な関連性を持っています。この関連性を理解することは、両者をより深く、そして柔軟に活用するために不可欠です。

A. 特別な種類の関数としての数列

漸化式によって定義されることが多い数列は、形式的には、その定義域が自然数の集合（または非負整数のような類似の離散的で順序付けられた集合）である関数と見なすことができます 12。この視点では、数列の第n項 an​ は、入力 n に対するこの関数の出力値となります。例えば、「数列は、自然数またはその部分集合を定義域とする関数と見なすことができます」12 という記述は、この基本的な関係を直接的に示しています。

数列を関数として捉えることは、一種の抽象化です。漸化式が局所的な規則（an−1​ から an​ へどのように移行するか）を記述するのに対し、関数形式（一般項）は全体的なパターン（任意の n に対して an​ が何であるか）を記述します。この局所的な規則から全体的なパターンへの移行は、数学における抽象化の一般的なテーマであり、異なる種類の分析や理解を可能にします。

B. 漸化式の「解」：明示的な関数の発見

漸化式を「解く」とは、通常、「閉じた形の解」または「一般項」を見つけることを意味します。これは、n（項の添字）の明示的な関数であり、先行する項を計算することなく an​ の値を直接与えるものです 1。例えば、「漸化式を解くとは、添字 n に関する非再帰的な函数として、一般項を表す閉じた形の式を得ることをいう」1 と定義されています。この一般項は、まさに n を変数とする関数です 3。

この「一般項」または「閉じた形の解」という概念は、手続き的で再帰的な定義（漸化式）を、宣言的で明示的な定義（関数）に変換する架け橋として機能します。これは両者の相互作用の重要な側面であり、漸化式で記述されたプロセスを、直接評価可能な関数へと移行させることを意味します。

C. 再帰的に定義される関数、または漸化式に類似した性質を持つ関数

一部の関数、特に整数上で定義される関数や離散的な特性を持つ関数は、それ自体が再帰的に定義されたり、漸化式に類似した方程式を満たしたりすることがあります。階乗関数 (n!=n⋅(n−1)!) はこの古典的な例です 4。この場合、階乗という関数が漸化式によって定義されていると見なせます。

さらに、特定の微分方程式の解は、離散化されると漸化式（差分方程式）を導くことがあります 1。これは、連続的な関数（微分方程式を介して）から離散的な漸化式へのつながりを、数値解法の文脈で示しています。また、一部の関数は、f(x+1)=G(f(x),x) のような再帰的な風味を持つ関数方程式の解となります。これらは厳密には数列の漸化式ではありませんが、関数の値を他の関数の値に基づいて定義するという考え方を共有しています 14。

階乗のような標準的な関数が自然な再帰的定義を持つという事実は 4、再帰が漸化式によって定義される数列だけの領域ではなく、特定の関数自体の定義特性（特に離散的な定義域を持つ場合）でありうることを示しています。これは、「関数 対 漸化式」という二分法が絶対的なものではなく、再帰が関数と一般的に呼ばれる対象にも適用可能な定義方法であることを示唆しています。

VI. 具体例による解説 (具体例による解説)

抽象的な概念や違いをより明確に理解するため、具体的な例を通じて漸化式と関数を比較します。これらの例は、これまでの議論を具体化し、両者の特性と相互作用を具体的に示すことを目的としています。

A. 例1：等差数列 ― 漸化式から関数へ

  • 漸化式の定義: 初項を a1​=c（初期条件）、公差を d とすると、an+1​=an​+d（漸化規則）となります 3。
  • 逐次的な値の生成: 例えば、a1​=3,d=2 の場合、a1​=3, a2​=a1​+2=5, a3​=a2​+2=7,… と順に値が生成されます 3。
  • 明示的な関数形式（一般項）: an​=c+(n−1)d。これは n に関する一次関数です 13。上記の例では、an​=3+(n−1)2=2n+1 となり、例えば a100​=2(100)+1=201 と直接計算できます。

B. 例2：フィボナッチ数列 ― より複雑な漸化式

  • 漸化式の定義: F0​=0,F1​=1（初期条件）、n≥2 に対して Fn​=Fn−1​+Fn−2​ 1。
  • 逐次的な値の生成: F0​=0,F1​=1,F2​=1,F3​=2,F4​=3,F5​=5,… となります。
  • 明示的な関数形式（ビネの公式）： Fn​=5​ϕn−ψn​、ただし ϕ=21+5​​,ψ=21−5​​。これは n に関するより複雑な明示的な関数です。この公式の導出には、線形漸化式の解法（特性方程式など）が用いられます 1。

C. 例3：標準的な代数関数 ― 直接計算

  • 関数の定義: f(x)=x2−3x+2。定義域は実数全体とします。これは多項式関数の一例です 7。
  • 直接的な値の計算:
  • f(0)=02−3(0)+2=2
  • f(3)=32−3(3)+2=9−9+2=2
  • f(−1)=(−1)2−3(−1)+2=1+3+2=6 各計算は他の値とは独立して行われます 6。

D. 例4：単純な漸化式を満たす指数関数

  • 関数の定義: g(n)=2n。ここでは数列との関連を見るため、定義域を自然数とします。
  • 直接的な値の計算: g(1)=2,g(2)=4,g(3)=8,…
  • 漸化式を満たすこと: an​=g(n)=2n とおくと、an+1​=2n+1=2⋅2n=2an​ となります。これは、初項 a0​=20=1（または a1​=2）の等比数列の漸化式 an+1​=2an​ です 5。

これらの例は、漸化式と関数の定義、値の生成方法、そしてそれらの間の移行（漸化式を解いて関数形式を得る）を具体的に示しています。特に、フィボナッチ数列の例は、漸化式から対応する明示的な関数（一般項）を導出するプロセスが、等差数列のような単純な場合から、より高度な数学的手法を必要とする場合まで様々であることを示唆しています 1。この事実は、漸化式と関数の間の「架け橋」が常に容易に渡れるわけではないことを示しています。

VII. 応用分野と文脈における利用 (応用分野と文脈における利用)

漸化式と関数は、それぞれ異なる特性を持つため、応用される分野や文脈も異なります。これらの応用例を見ることで、各概念がどのような問題のモデル化や解決に適しているかがより明確になります。

A. 漸化式の典型的な応用

漸化式は、その再帰的かつ段階的な性質から、離散的なシステムやプロセスのモデル化に特に適しています。

  • 離散プロセスのモデリング: 人口動態（ロジスティック写像、フィボナッチ数列でモデル化されたウサギの個体数増加など）、生態学的モデル（宿主・寄生生物相互作用モデルなど）において、時間ステップごとの変化を記述するのに用いられます 1。
  • アルゴリズム解析: 再帰的なアルゴリズム（ハノイの塔、マージソートなど）の時間計算量を決定する際に不可欠です。アルゴリズムの実行コストが、より小さな問題サイズのコストに依存する形で表現されるためです 2。
  • 金融: 複利計算、ローン返済計画、将来価値が過去の価値に依存する金融モデルなどで活用されます 1。
  • デジタル信号処理: システムのフィードバック（ある時点の出力が新たな時点の入力となる）をモデル化し、IIR（無限インパルス応答）フィルタなどを設計するのに使われます 1。
  • 組み合わせ論: 特定の条件を満たす対象の数え上げ問題（敷き詰めの方法の数、格子路の数など）で、問題をより小さな部分問題に分割し、その解の間の関係を漸化式で表現することがよくあります 2。
  • 一般的な問題解決: 問題がより小さな自己相似的な部分問題に分解できる場合に、漸化的なアプローチが有効です 19。

これらの応用分野は、漸化式の定義的な性質（再帰性）が、最適な部分構造や重複する部分問題を持つ問題（動的計画法や再帰アルゴリズム解析で一般的）に理想的に適合することを示しています。

B. 関数の典型的な応用

関数は、その直接的な対応関係と多様な定義域を持つ能力から、広範な現象の記述やモデル化に用いられます。

  • 連続現象のモデリング: 物理学（物体の運動、波動、電磁場など）、工学（電気回路、制御システム）、化学（反応速度など）において、連続的な変化や法則を記述する基本ツールです 7。
  • データ間の関係記述: 統計学（確率分布、回帰分析）、データサイエンス、機械学習（活性化関数、損失関数など）で、変数間の関係性やパターンを表現します 21。
  • 幾何学的変換: コンピュータグラフィックスやロボット工学において、回転、拡大縮小、平行移動などを関数で表現します 22。
  • 最適化問題: 微積分学やオペレーションズリサーチにおいて、最大値・最小値を見つける問題で関数が中心となります。
  • 数学全般の基礎ツール: 微積分、解析学、代数学、位相幾何学など、数学のあらゆる分野で基本的な構成要素として用いられます 7。
  • 経済学: 需要供給曲線、効用関数、成長モデルなど、経済現象を分析し予測するために不可欠です 7。

関数の明示的なマッピングは、ある状態を直接予測または記述するのに適しています。例えば、物理法則 F=ma は関数であり、質量 m と加速度 a が分かれば力 F を直接求めることができます。

これらの応用分野は、漸化式が離散的で段階的なシステムに、関数（特に実数を定義域とするもの）が連続的なシステムや一般的な関係性の記述に、それぞれ強みを持つという、離散 対 連続というパラダイムを強く反映しています。しかし、これらのツールはしばしば補完的です。例えば、連続的な物理モデル（関数と微分方程式を使用）は、数値解法のために離散化され、結果として漸化式（差分方程式）が生じることがあります 1。これは、当初は関数でモデル化された問題が、実用的な計算のために漸化式の使用へとつながることを示しており、これらがより大きなモデリングツールキットの一部として連携できることを示しています。

VIII. 結論

A. 基本的な区別の要約

本報告を通じて、漸化式と関数は、数学的な対象を定義し、その振る舞いを理解するための二つの異なるアプローチであることが示されました。その基本的な区別は以下の点に集約されます。

  • 定義: 漸化式は、項を先行する項との関係で「再帰的に」定義します。一方、関数は、入力と出力の間の規則を「明示的に」定義します。
  • 値の生成: 漸化式は、初期条件から出発して値を「逐次的」に生成します。これに対し、関数は、入力から値を「直接的」に計算します。
  • 典型的な定義域: 漸化式は主に数列を扱うため、その定義域は通常、項の添字を表す「離散的な」自然数です。関数は、実数のような「連続的な」集合を含む、はるかに多様な定義域を持つことができます。

B. 両者の密接な関係の再確認

これらの違いにもかかわらず、漸化式と関数は密接に関連しています。最も重要なのは、漸化式によって定義される数列が、自然数を定義域とする特殊な種類の関数と見なせるという点です。さらに、漸化式を「解く」という行為は、多くの場合、その漸化式と等価な明示的な関数形式（一般項）を見つけ出すことを意味します。この一般項は、数列の任意の項を直接計算することを可能にし、再帰的なプロセスから解放します。

C. 異なる役割、補完的な力

結論として、漸化式と関数は、それぞれが明確な特性を持ち、異なる主要なタスク（離散的な進化のモデル化 対 一般的な関係性や連続現象の記述）に適しています。しかし、これらは数学的および科学的な探求において、共に不可欠なツールです。漸化式はプロセスやアルゴリズム的思考を捉えるのに優れ、関数は状態や直接的な対応関係を記述するのに強力です。

これらの違いは多様なモデリングツールキットを提供し、両者の間のつながりは、手続き的な記述と宣言的な記述の間を移行することを可能にします。これにより、私たちは世界をモデル化し理解する能力を豊かにすることができます。それらの相違点を認識し、同時に関連性を理解することは、数学的な問題解決能力を高める上で極めて重要です。両概念は、パターンと関係性を形式化するという数学のより広範な目標に貢献しており、それぞれのアプローチの独自性が、単独では達成できない豊かな分析手段を提供しているのです。

引用文献

  1. 漸化式 – Wikipedia https://ja.wikipedia.org/wiki/%E6%BC%B8%E5%8C%96%E5%BC%8F
  2. Recurrence Relations – Discrete Mathematics – Socratica https://learn.socratica.com/en/topic/mathematics/discrete-mathematics/recurrence-relations
  3. 漸化式の全パターン紹介 | おいしい数学 https://hiraocafe.com/note/zenkashiki.html
  4. 6.6. Recurrence Relations — OpenDSA Data Structures and Algorithms Modules Collection https://opendsa-server.cs.vt.edu/ODSA/Books/Everything/html/RecurrenceIntro.html
  5. 漸化式 – 犬プリ – FC2 https://inupri.web.fc2.com/zenkasiki.html
  6. 【中1数学】「関数とは？」 | 映像授業のTry IT (トライイット) https://www.try-it.jp/chapters-508/sections-509/lessons-510/
  7. 関数 (数学) – Wikipedia https://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6)
  8. w3e.kanazawa-it.ac.jp https://w3e.kanazawa-it.ac.jp/math/category/kansuu/henkan-tex.cgi?target=/math/category/kansuu/definition_and_value_range.html#:~:text=%E9%96%A2%E6%95%B0%20y%20%3D%20f%20(%20x%20),%E3%81%93%E3%81%AE%E9%96%A2%E6%95%B0%E3%81%AE%E5%80%A4%E5%9F%9F%E3%81%A8%E3%81%84%E3%81%86%EF%BC%8E
  9. 定義域と値域 – Kanazawa Institute of Technology https://w3e.kanazawa-it.ac.jp/math/category/kansuu/henkan-tex.cgi?target=/math/category/kansuu/definition_and_value_range.html
  10. 5分でわかる！関数f（x）とは？ – 高校数学Ⅰ – Try IT https://www.try-it.jp/chapters-5954/sections-5955/lessons-5968/
  11. opendsa-server.cs.vt.edu https://opendsa-server.cs.vt.edu/ODSA/Books/Everything/html/RecurrenceIntro.html#:~:text=A%20recurrence%20relation%20defines%20a,for%20n%3E1%3B1!
  12. 数列 – Wikipedia https://ja.wikipedia.org/wiki/%E6%95%B0%E5%88%97
  13. 漸化式の基本解法 – 教科書より詳しい高校数学 https://yorikuwa.com/m5119/2/
  14. 漸化式の解法について – 一一般解と特殊解を用いて https://www.chart.co.jp/subject/sugaku/suken_tsushin/63/63-9.pdf
  15. 漸化式【初級編・基本4形態】 https://www.uee-math.com/lecture/recursion.pdf
  16. 3項間漸化式の一般項を線形代数で求める（対角化まで勉強した人向け） – Mathlog https://mathlog.info/articles/3816
  17. 数列の一般項と漸化式 | 授業実践記録 | 数学 | 高等学校 | 知が啓く。教科書の啓林館 https://www.shinko-keirin.co.jp/keirinkan/kou/math/jissen_arch/202306/
  18. 三項間漸化式の一般項の求め方(差分方程式つまみぐい) – Zenn https://zenn.dev/tt6mzn/articles/article-01-20221127
  19. 漸化式の応用の一般項を解く方法！複雑な数列と解き方を徹底解説 – StudySearch https://study-search.jp/columns/1511
  20. 漸化式10パターン – 京極一樹の数学塾 http://k-kyogoku2.com/cn402/pg11.html
  21. 日常で使える三角関数の応用例 – 個別指導のWhyLab https://whylab.jp/column/20231122083239-a17d900f-c28b-4bf5-bc53-a9361113e696
  22. 三角関数は何に使えるのか 〜 サイン・コサイン・タンジェントの活躍 〜 – Qiita https://qiita.com/drken/items/41b4ec6bde794cbcd0f6
用語集