高校数学解説

文献あり

三角形演算子を整理する

総乗,総和,三角形演算子

107

修正があります

この記事には修正版があります！
『三角形演算子を整理する（修正版）』を参照してください。

はじめに

こんにちは。Nappleです。
三角形演算子って？という方は前回の記事「三角形演算子について」を参照ください。

前回の記事では思いついたことをとりあえず並べただけなので、この記事ではいくつかの観点から三角形演算子を整理してまとめていきたいと思います。

・定義の整理
・総和・総乗演算子との比較
・基本対称式との比較
・解と係数の関係
・おまけ：添字 $k$ の拡張

なお、今回は三角形演算子 $\underset{}{\overset{}{△}}$ 及び超三角形演算子 $^{k} \underset{}{\overset{}{△}}$ についてのみ扱います。
逆三角形演算子 $▽$ は一旦しまいます。　常温保存

定義の整理

定義

まずは復習を兼ねて、三角形演算子と超三角形演算子を以下のように再定義します。

三角形演算子

数列 ${a_{n}}$ に対して、三角形演算子 $\underset{}{\overset{}{△}}$ を以下のように定義する。
$\begin{array}{rcl} \underset{i = 1}{\overset{n}{△}} a_{i} & := & a_{1} a_{2} \dots a_{n - 1} + a_{2} \dots a_{n - 1} a_{n} + \dots + a_{1} a_{2} \dots a_{n - 2} a_{n} \\ = & \underset{i = 1}{\sum^{n}} \underset{j \neq i}{\prod^{}} a_{j} \end{array}$

超三角形演算子

数列 ${a_{n}}$ に対して、超三角形演算子 $^{k} \underset{}{\overset{}{△}}$ を以下のように定義する。
$\begin{array}{rcl} ^{k} \underset{i = 1}{\overset{n}{△}} a_{i} & := & a_{1} a_{2} \dots a_{k} + a_{2} \dots a_{k} a_{k + 1} + \dots + a_{1} a_{2} \dots a_{k - 1} a_{n} \\ = & \underset{i = 1}{\sum^{n}} \underset{j = i}{\prod^{i + k}} a_{(j - 1) % n + 1} \end{array}$

ただし、 $x % y$ は $x$ を $y$ で割った余りを意味する。
なお、 $^{0} \underset{i = 1}{\overset{n}{△}} a_{i} = n$ とする。

定理と公式

重要そうな定理だけをまとめておきます。

超三角形演算子の基本定理

$\begin{array}{rcl} (1)^{0} \underset{i = 1}{\overset{n}{△}} a_{i} & = & n \\ (2)^{1} \underset{i = 1}{\overset{n}{△}} a_{i} & = & \sum_{i = 1}^{n} a_{i} \\ (3)^{n - 1} \underset{i = 1}{\overset{n}{△}} a_{i} & = & \underset{i = 1}{\overset{n}{△}} a_{i} \\ (4)^{n} \underset{i = 1}{\overset{n}{△}} a_{i} & = & n \prod_{i = 1}^{n} a_{i} \end{array}$

定理1を見ると、超三角形演算子は総和・総乗の一般化であるとも考えられそうですね。

展開定理

$k : 0 \leq k \leq n$
$^{k} \underset{i = 1}{\overset{n}{△}} a_{i} =^{n - k} \underset{i = 1}{\overset{n}{△}} a_{i} \cdot \prod_{i = 1}^{n} a_{i}$

逆数和公式

$\forall i, a_{i} \neq 0$ である数列 ${a_{n}}$ に関して、以下を満たす。
$\underset{i = 1}{\sum^{n}} \frac{1}{a_{i}} = \frac{^{} \underset{i = 1}{\overset{n}{△}} a_{i}}{\underset{i = 1}{\prod^{n}} a_{i}}$

総和・総乗演算子との比較

総和	三角形演算子	総乗
$\underset{i = 1}{\sum^{n}} c = n c$	$^{k} \underset{i = 1}{\overset{n}{△}} c = n c^{k}$	$\underset{i = 1}{\prod^{n}} c = c^{n}$
$\underset{i = 1}{\sum^{n}} i = \frac{1}{2} n (n - 1)$	$^{} \underset{i = 1}{\overset{n}{△}} i = n! \underset{i = 1}{\sum^{n}} \frac{1}{i}$	$\underset{i = 1}{\prod^{n}} i = n!$
$\underset{i = 1}{\sum^{n}} (a_{i} + b_{i} + \dots) = \underset{i = 1}{\sum^{n}} a_{i} + \underset{i = 1}{\sum^{n}} b_{i} + \dots$	$? ? ?$	$\to 多項定理$
$\underset{i = 1}{\sum^{n}} λ a_{i} = λ \underset{i = 1}{\sum^{n}} a_{i}$	$^{k} \underset{i = 1}{\overset{n}{△}} λ a_{i} = λ^{k} \cdot^{k} \underset{i = 1}{\overset{n}{△}} a_{i}$	$\underset{i = 1}{\prod^{n}} λ a_{i} = λ^{n} \underset{i = 1}{\prod^{n}} a_{i}$
$\underset{i = 1}{\sum^{n}} \frac{1}{a_{i}} =^{} \underset{i = 1}{\overset{n}{△}} a_{i} / \underset{i = 1}{\prod^{n}} a_{i}$	$^{k} \underset{i = 1}{\overset{n}{△}} \frac{1}{a_{i}} =^{n - k} \underset{i = 1}{\overset{n}{△}} a_{i} / \underset{i = 1}{\prod^{n}} a_{i}$	$\underset{i = 1}{\prod^{n}} \frac{1}{a_{i}} = 1 / \underset{i = 1}{\prod^{n}} a_{i}$

基本対称式との比較

対称式とは任意の2変数を入れ替えても変化しない多項式のことです。
例えば $x^{2} + y^{2}$ とか、 $\frac{1}{x} + \frac{1}{y} + \frac{1}{z}$ のようなものがあります。

それに対して、基本対称式とは $x + y$ や $x y + y x + z x$ のような、各変数の積とその和によって表される対称式のことを言います。詳しくはこちらなどを参照してください。

すべての対称式は基本対称式を用いて表せることが知られています。

$x^{2} + y^{2} = (x + y)^{2} - 2 x y$
$\frac{1}{x} + \frac{1}{y} + \frac{1}{z} = \frac{x y + y z + z x}{x y z}$

これは！三角形演算子と基本対称式はすごく似ている気がしますね。
もしや基本対象式は三角形演算子で表せるのでは？
早速 $4$ 変数の場合の基本対象式でも確かめましょう。

4変数の基本対称式

(1) $a + b + c + d =^{1} \underset{i = 1}{\overset{4}{△}} (a, b, c, d)$
(2) $a b + a c + a d + b c + b d + c d$
(3) $a b c + b c d + c d a + d a b =^{3} \underset{i = 1}{\overset{4}{△}} (a, b, c, d)$
(4) $a b c d = \frac{1}{4}^{4} \underset{i = 1}{\overset{4}{△}} (a, b, c, d)$

？？？
残念ながら式(2)は三角形演算子で表せないですね。

そもそも、基本対称式を得る方法はいくつかありますが、簡単なのが組み合わせを考える方法です。

4変数の式であれば、
$a, b, c, d$ から
・ $1$ つ選ぶ方法は $a, b, c, d$ の $_{4} C_{1} = 4$ 通り
・ $2$ つ選ぶ方法は $a b, b c, c d, d a, a c, b d$ の $_{4} C_{2} = 6$ 通り
・ $3$ つ選ぶ方法は $a b c, b c d, c d a, d a b$ の $_{4} C_{3} = 4$ 通り
・ $2$ つ選ぶ方法は $a b c d$ の $_{4} C_{4} = 1$ 通り
として、各要素の和を取れば基本対称式になります。
三角形演算子は隣り合う要素同士を選ぶので $k \geq 4$ では明らかに基本対象式と異なりますね。

一応まとめておきましょう。

$n \leq 3$ のとき $n$ 変数の基本対称式に関して、 $k$ 次の式は $^{k} \underset{i = 1}{\overset{n}{△}} x$ で表せる。

いろいろすれば三角形演算子だけで対称式を表す方法も見つかりそうですが今回は置いておきます。

解と係数の関係

高校数学でよく使う解と係数の関係(根と係数の関係)ですが、これにもまた三角形演算子が現れます。

解と係数の関係

$n$ 次方程式 $a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0} = 0 (n \leq 3)$ が $n$ 個の解 $α_{n}, \dots, α_{1}$ を持つとき、係数 $a_{k}$ ( $k \neq n$ )と解の間には以下の関係が成り立つ。
$\begin{array}{rcl} k \neq 0 : \frac{a_{k}}{a_{n}} & = & ^{n - k} \underset{i = 1}{\overset{n}{△}} α_{i} \\ k = 0 : \frac{a_{k}}{a_{n}} & = & \frac{1}{n}^{n - k} \underset{i = 1}{\overset{n}{△}} α_{i} \end{array}$

まあ当たり前なんですけどね。

おまけ：添字 $k$ の拡張

そもそもの超三角形演算子において、添字 $k$ は $0 \leq k \leq n$ と考えるのが一般的ですね。 $k$ はそれより大きい範囲でどう考えられるのでしょうか。

単純な $n < k$ である例として $^{4} \underset{i = 1}{\overset{3}{△}} a_{i}$ を考えましょう。
$4$ つの隣り合う要素をかけてすべて足せば良いわけですから、定義式より以下のように考えられます。

$\begin{array}{rcl} ^{4} \underset{i = 1}{\overset{3}{△}} a_{i} & = & a_{1} a_{2} a_{3} a_{1} + a_{2} a_{3} a_{1} a_{2} + a_{3} a_{1} a_{2} a_{3} \\ = & a_{1} a_{2} a_{3} (a_{1} + a_{2} + a_{3}) \\ = & \underset{i = 1}{\prod^{3}} a_{i} \underset{i = 1}{\sum^{3}} a_{i} \\ = & ^{1} \underset{i = 1}{\overset{3}{△}} a_{i} \underset{i = 1}{\prod^{3}} a_{i} \end{array}$

同様に $^{5} \underset{i = 1}{\overset{3}{△}} a_{i}$ も考えてみましょう。

$\begin{array}{rcl} ^{5} \underset{i = 1}{\overset{3}{△}} a_{i} & = & a_{1} a_{2} a_{3} a_{1} a_{2} + a_{2} a_{3} a_{1} a_{2} a_{3} + a_{3} a_{1} a_{2} a_{3} a_{1} \\ = & a_{1} a_{2} a_{3} (a_{1} a_{2} + a_{2} a_{3} + a_{3} a_{1}) \\ = & ^{2} \underset{i = 1}{\overset{3}{△}} a_{i} \underset{i = 1}{\prod^{3}} a_{i} \end{array}$

これを一般化すると次のことが言えます。

拡張展開定理

$k : n < k$
$^{k} \underset{i = 1}{\overset{n}{△}} a_{i} =^{k - n} \underset{i = 1}{\overset{n}{△}} a_{i} \underset{i = 1}{\prod^{n}} a_{i}$

定理2の展開定理と併せて以下のようにも表せる。
$k : k \geq 0$
$^{k} \underset{i = 1}{\overset{n}{△}} a_{i} =^{| n - k |} \underset{i = 1}{\overset{n}{△}} a_{i} \underset{i = 1}{\prod^{n}} a_{i}$

再帰的に $^{100} \underset{i = 1}{\overset{3}{△}} a_{i}$ のような場合でも計算できますね。

$a_{i} = i$ とする。 $^{100} \underset{i = 1}{\overset{3}{△}} a_{i}$ を求めよ。
$\begin{array}{rcl} ^{100} \underset{i = 1}{\overset{3}{△}} a_{i} & = & ^{97} \underset{i = 1}{\overset{3}{△}} a_{i} \underset{i = 1}{\prod^{3}} a_{i} \\ = & ^{94} \underset{i = 1}{\overset{3}{△}} a_{i} (\underset{i = 1}{\prod^{3}} a_{i})^{2} \\ = & \dots =^{1} \underset{i = 1}{\overset{3}{△}} a_{i} (\underset{i = 1}{\prod^{3}} a_{i})^{33} \\ = & \underset{i = 1}{\sum^{3}} a_{i} (\underset{i = 1}{\prod^{3}} a_{i})^{33} \\ = & \frac{1}{2} 3 (3 + 1) \cdot (3!)^{33} \\ = & (3!)^{34} \\ = & 6^{34} \end{array}$

まとめ

三角形演算子についての整理は以上です。
応用とか、また思いついたときに記事にするかもしれないです。

参考文献

[1]

対称式の基本定理とその証明, 閲覧日 2023年11月29日, http://falmath.starfree.jp/blogs/pdf/taishoshiki.pdf

投稿日：2023年12月3日

更新日：2024年5月13日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

甘くないなっぽー

6203

🤔 数学の専門ではないです。思いついたことを書きます。

他の人のコメント

コメントはありません。

読み込み中

甘くないなっぽー

三角形演算子を整理する

はじめに
定義の整理
定義
定理と公式
総和・総乗演算子との比較
基本対称式との比較
解と係数の関係
おまけ：添字$k$の拡張
まとめ
参考文献

三角形演算子を整理する

はじめに

定義の整理

定義

定理と公式

総和・総乗演算子との比較

基本対称式との比較

解と係数の関係

おまけ：添字kの拡張

まとめ

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

おまけ：添字 $k$ の拡張