Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
恒等式(こうとうしき、英: identity)は、恒真な等式、すなわち等号 (=) を含む数式であって、そこに現れるあらゆる変数がどのような値にあっても、常に等号で結ばれた左右二つの数式の "値" が等しいもののことを言う。変数の動く範囲は、文脈によって異なる。恒等式であることを明示するとき、= の代わりに
ブラーマグプタの公式(ブラーマグプタのこうしき、英: Brahmagupta's formula)とは、円に内接する四角形の四辺の長さからその四角形の面積を求める公式である。 ブラーマグプタの公式は、7世紀にインドの数学者ブラーマグプタがヘロンの公式の一般化として得た定理である。ヘロンの公式
数学におけるヤコビ恒等式(ヤコビこうとうしき、英語: Jacobi identity)とは、二項演算に対して考えられる性質の一つ。名前はドイツの数学者カール・グスタフ・ヤコブ・ヤコビに由来する。 集合 S {\displaystyle S} に二項演算 ∗ {\displaystyle *} と可換かつ単位元
に対して、W が V の等方部分空間 (isotropic subspace) とは W に属するあるベクトルが(q に関して)等方的となるときに言い、完全等方部分空間 (totally isotropic subspace) とは W に属する任意のベクトルが等方的となるときに言う。また、非等方部分空間 (anisotropic
に合同となる分割の母関数を与えている。n=6 の分割の場合、第1恒等式のベキ乗展開において、q6 の係数は 3 であり、これが分割の仕方の個数と一致する。同様に第2恒等式では、左辺の無限級数は、6=6, 4+2 のように 和因子が2以上で2-差的となる分割の母関数を与えている。右辺の無限乗積は、6=3+3,
数論、組合せ論におけるオイラーの分割恒等式(オイラーのぶんかつこうとうしき)は、自然数(正の整数)を「互いに異なる自然数に分割する方法の個数」(distinct partition; 異分割) と「奇数の自然数に分割する方法の個数」(odd partotion; 奇分割) が等しいことを示す恒等式である。
対義語としては変数の値にかかわらず常に偽となる矛盾である。 命題論理において、命題を記号化したものが論理式であるが、論理式を構成している、最も単純な文に相当する要素式の真偽値の取り方に関係なく常に真(恒真)となる論理式が存在し、それらはトートロジーもしくは恒真式と呼ばれる。真にも偽にもなりうる論理式を整合式(英: consistent
と等しいことを示す。 AF = FM を示す。まず、角 FAM と角 CBM は、同じ弧による円周角なので、等しい。また、角 CBM と角 CME はともに角 BCM の余角なので(角 CBM(角 CME)と角 BCM を足すと直角ということ)、等しい。また、角 CME と角 FMA も等しい。したがって、三角形