跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

概念推導導讀

299 份概念教學導讀;另有 36,000 題逐題詳解,兩者分開查找。

搜尋全部題目與詳解 →

概念導讀

模10的完整unit排列

對a=−3,n=10,φ(10)=4且a⁴≡1 mod10。

Euler定理

derivation-mko-euler-theorem-number-theory-01

概念導讀

完整orbits與partition

X的全部互異orbits為{0,1,2}與{3},同orbit關係是等價關係。

有限群作用的軌道

derivation-mko-finite-group-orbit-01

概念導讀

有界單調尾與上確界論證

對 a_n=3-2/(n+1) 證單調、有界、sup=3 及極限。

單調有界數列收斂定理

derivation-mko-monotone-sequence-convergence-theorem-01

概念導讀

存在、Euclid引理與唯一質因數

正整數n>1存在唯一質因數多重集合;360=2³·3²·5,負號與units另列。

整數唯一質因數分解

derivation-mko-unique-prime-factorization-01

概念導讀

point0的完整固定群元素

Stab_G(0)={e,s}為子群;Stab_G(3)=G,與orbit及action kernel不同。

有限群作用的穩定子群

derivation-mko-finite-group-stabilizer-01

概念導讀

振盪尾的兩個收斂子數列

對 a_n=(-1)^n+1/(n+1) 給有界性與兩個完整收斂子數列。

實數列Bolzano-Weierstrass定理

derivation-mko-bolzano-weierstrass-theorem-real-01

概念導讀

有限子空間的緊緻性

證 K={b,c} 在指定母空間中緊緻,並核相對開覆蓋。

緊緻子集

derivation-mko-compact-subset-01

概念導讀

完整因數分解與μ(30)

μ(30)=−1,μ(12)=0,μ(1)=1;30的全部divisor值加總為0。

Möbius函數

derivation-mko-mobius-function-01

概念導讀

fibers確為stabilizer左陪集

point0的orbit大小3、stabilizer大小2;三個fiber均為左陪集,所以6=3·2。

軌道-穩定子定理

derivation-mko-orbit-stabilizer-theorem-01

概念導讀

二次多項式的均值點

對 f(t)=A t^2+B t+C 在 a<b 上直接構造均值點。

微分中值定理

derivation-mko-mean-value-theorem-01

概念導讀

拉回覆蓋再推回索引

以明示有限映射呈現緊緻像的覆蓋論證。

緊緻集的連續像

derivation-mko-continuous-image-of-compact-01

概念導讀

仿射函數在divisor poset的反演

f(k)=2k+1、n=6時,F(6)=28且反演得到f(6)=13;n=1亦roundtrip。

有限因數格上的Möbius反演

derivation-mko-mobius-inversion-finite-divisors-01

概念導讀

bottom-first PDA的aabb接受run

指定PDA有讀完aabb到final f的有限run,末stack仍為[Z]。

下推自動機

derivation-mko-pushdown-automaton-01

概念導讀

全部左陪集的Lagrange計數

H={e,s}有三個互異左陪集,每個大小2,所以6=[G:H]|H|=3·2。

有限群的Lagrange定理

derivation-mko-lagrange-theorem-finite-groups-01