📖 Fermat Prime A Fermat prime is a prime of the form $F_k = 2^{2^k} + 1$. The known Fermat primes are $F_0 = 3$, $F_1 = 5$, $F_2 = 17$, $F_3 = 257$, $F_4 = 65537$. From: Disquisitiones Arithmeticae Learn more: Explore all courses:
📖 Eigenvalue and Eigenvector A scalar $\\lambda$ is an eigenvalue of $T: V \\to V$ if there exists a nonzero vector $v$ such that $T(v) = \\lambda v$. Such $v$ is called an eigenvector. From: Advanced Linear Algebra Learn more: Explore all courses:
💡 Proposition II.10 If a straight line be bisected, and a straight line be added to it in a straight line, the square on the whole with the added straight line and the square on the added straight line both together are double of the square on the half and of the square described on the straight line made up of the half and the added straight line as on one straight line. From: Euclid's Elements Learn more: Explore all courses:
📖 Minimum Distance The minimum distance $d$ of a code is the smallest Hamming distance between distinct codewords. From: intro-discrete Learn more: Explore all courses:
📐 Jordan Canonical Form Theorem Every linear operator on a finite-dimensional complex vector space has a unique Jordan canonical form (up to ordering of blocks). Proof: **Existence:** By the primary decomposition theorem, $V = V_1 \\oplus \\cdots \\oplus V_k$ where $V_i$ is the generalized eigenspace for $\\lambda_i$. On each $V_i$, $(T - \\lambda_i I)$ is nilpotent. For nilpotent operators, there exists a Jordan basis giving blocks of the form $J_m(0)$. Combi... From: Advanced Linear Algebra Learn more: Explore all courses:
💡 Proposition I.10 To bisect a given finite straight line. From: Euclid's Elements Learn more: Explore all courses:
📐 Strong Perfect Graph Theorem A graph is perfect if and only if it contains no odd hole and no odd antihole as an induced subgraph. From: Introduction to Graph Theory Learn more: Explore all courses:
📐 Ratio Test If $L = \\lim |a_{n+1}/a_n|$, then: $L < 1 \\Rightarrow$ converges absolutely; $L > 1 \\Rightarrow$ diverges; $L = 1 \\Rightarrow$ inconclusive. From: Real Analysis Learn more: Explore all courses:
📐 Sample Theorem If $A \\subseteq B$ and $B \\subseteq A$, then $A = B$ Proof: Let $x \\in A$. Since $A \\subseteq B$, we have $x \\in B$ by definition of subset. Therefore, every element of $A$ is in $B$. Now, let $y \\in B$. Since $B \\subseteq A$, we have $y \\in A$ by definition. Therefore, every element of $B$ is in $A$. Since $A \\subseteq B$ and $B \\subseteq A... From: Calculus: A Liberal Art Learn more: Explore all courses: