對角線引理（diagonal lemma），又稱為不動點定理（fixed point theorem）。在數理邏輯中，對角線引理表明了自然數的形式理論中自指句子的存在——尤其是那些強到足以表示所有可計算函數的形式理論。 由對角線引理確立其存在的句子，將可用於證明一些邏輯的基礎限制，例如：哥德爾不完備定理或塔斯基不可定義定理。...

對角線引理可構造出一個反例，即給出一個「謊言」句子S，有：S↔¬True(g(S))。是故，不存在可定義T*的L-式子True(n)。證明完畢。 這個證明的形式構造除了對角線引理的對角線化過程外，都很淺顯易懂。對角線引理...

fixed-point theorem） 布劳尔不动点定理 卡若斯梯不动点定理（英语：Caristi fixed-point theorem） 对角线引理 不动点性质（英语：Fixed-point property） 射度量空间 角谷不动点定理 克莱尼不动点定理 拓扑度理论（英语：Topological...

从言与从实 演绎定理 定义项 定义——揭示概念内涵或外延的确切、简明语句 证明 指称 可数——具有与自然数集的子集相同的势的集合 否定前件 限定词 对角线引理 两难 弱化 析取 析取三段论 除法——運算 论域 双重否定 对偶——修辞手法 初等等价 蕴含 等价 等价关系——传递的自反对称关系 歧义...

遺憾少女（城→矢倉、村瀬、矢倉→山本) 口對口的巧克力（肥川→山田、村上、山岸） 單戀對角線（沖田、高野、與儀） 天國小子（川上、木下、藤田→东、三田） 心愛的娜塔莎（太田→小柳、島田、谷川） 2nd分组 遺憾少女（谷川、東、木下) 口對口的巧克力（高野、島田、三田） 單戀對角線（小柳、山岸、矢倉） 天国野郎（研究生、山田、村瀬、村上）...

{\displaystyle l=w} ，因此正方形的公式為： A = s 2 {\displaystyle A=s^{2}} 長方形的面積計算方法需要證明。 引理：兩個長方形面積之比等於其長寬之積之比 如圖，根據《幾何原本》第六卷命題一 ——等高之平行四邊形的面積比與其底之比等同，我們得到 B : Y = a...

4th Stage「偶像的黎明」公演 單戀對角線 ※原・佐伯美香的代役 残念少女 ※渡邊麻友（仁藤萌乃休演時）的代役 研究生「偶像的黎明」公演 残念少女 ※與前田亞美一起擔任替補 單戀對角線 ※與小森美果一起擔任替補 TeamK 5th Stage「引体后空翻」公演 愛之色 ※大島優子的全員曲代役...

是直角三角形（直角所对的边是第三边）。勾股定理是人类早期发现并证明的重要数学定理之一。 此定理又稱毕氏定理、商高定理、畢達哥拉斯定理、新娘座椅定理或百牛定理。「畢氏」所指的是其中一個發現這個定理的古希臘數學家畢達哥拉斯，但歷史學家相信這個定理早在畢達哥拉斯出生的一千年前已經在世界各地廣泛應用。不過...

|A|=(A^{*}A)^{1/2}=I} ，因此若 A = U | A | {\displaystyle A=U|A|} ，则U一定是A而A不是酉的。 极分解的存在来自道格拉斯引理： 引理 — 若A、B是希尔伯特空间H上的有界算子，且满足 A ∗ A ≤ B ∗ B {\displaystyle A^{*}A\leq B^{*}B}...

对角线上的每个块对应于该直和的一个子空间。若一个块是对角化的，其不变子空间是一个特征空间。否则它是一个广义特征空间，如上面所定义； 因为跡，也就是矩阵主对角线元素之和，在酉等价下不变，若尔当标准型说明它等于所有特征值之和； 类似的有，因为三角矩阵的特征值就是主对角线...

{\displaystyle n!} 个求和项，即这是一个有限多次的求和。 对于简单的2阶和3阶的矩阵，行列式的表达式相对简单，而且恰好是每条主对角线（左上至右下）元素乘积之和减去每条副对角线（右上至左下）元素乘积之和（见图中红线和蓝线）。 2阶矩阵的行列式： | a 1 , 1 a 1 , 2 a 2 , 1 a 2...

給定正整數k和n，n表達成不多於k個正整數之和的方法數目，等於將n分割成任意個不大於k的正整數之和的方法數目。 證明：將表示前者其中一個數組的Ferrers圖示沿對角線反射，便得到後者的一個數組。即兩者一一對應，因此其數目相同。 例如 k=3，n=6： 此外， 6 = 1 + 5 = 1 + 1 + 1 + 1 +...

在某个正交基可以表示为一个实对角矩阵）。因此， M {\displaystyle M} 是正定阵当且仅当相应的 D {\displaystyle D} 的对角线上元素都是正的。 另外，也可以假設 λ i {\displaystyle \lambda _{i}} 和 v i {\displaystyle \mathbf...

f : R → S 是一个满环同态，则 f(J(R)) ⊆ J(S)。 如果 M 是一个有限生成左 R-模满足 J(R)M = M，则 M = 0（中山引理）。 J(R) 包含 R 的每个诣零理想（nil ideal）。如果 R 是左或右阿廷环，则 J(R) 是一个幂零理想（nilpotent...

{\displaystyle 1^{2}+4^{2}+6^{2}+4^{2}+1^{2}=70} 是第九行（第八層）正中央的數字。 將三角形左端對齊之後，沿右斜45度的對角線方向（不改變三角形形狀的話則需要按照中國象棋的馬的走法）取得的數之和為斐波那契數。 將第奇數行正中央的數減去其左側（或右側）第二個數，得到的差為卡塔蘭數。...

不對稱節奏 奇函數與偶函數 動態對稱 Polyomino（英语：Polyomino） Polyiamond（英语：Polyiamond） 伯恩赛德引理 時空對稱（英语：Spacetime symmetries） 半度量空間（有時會在俄文中被翻成對稱） Livio, Mario (2005). The...

^{*}\mathbf {U} =\mathbf {U} \mathbf {U} ^{*}=\mathbf {I} } 。 矩阵Λ对角线上的元素是A的特征值，而组成U的列向量则是A相应的特征向量。 谱定理的一种陈述，是说正规矩阵正好是能在 C n {\displaystyle \mathbb {C} ^{n}}...

）及「外球門線」（球門兩側）；比賽場地周邊設有安全區，距離邊線最少一米、外球門線最少两米。大會可通過量度場地兩個對角線的長度，檢查場地尺寸是否準確；場地對角線長44.72米、半場的對角線長28.28米。 球門高两米、闊三米，位於球場兩邊外球門線的中央，必須穩固地放置在地面或安裝在後面的牆上。球門柱...

{x} } 有协方差矩阵 K x x {\displaystyle K_{xx}} ，由于这个矩阵是 共轭对称和半正定，根据线性代数中的谱定理，我们可以用以下方法对角线或者分解矩阵， K x x = E Λ E T {\displaystyle \,\!K_{xx}=E\Lambda E^{T}} 其中...

Passage）拍攝的；然而在第六輯電影中，斜角巷被插入到查令十字路，介於書店與勘測員的店面之間。 斜角巷（Diagon Alley）這個名字跟「對角線（diagonally）」有著近似的諧音，當哈利於第二本小說的開始時誤讀了這個短語時，它就被用作情節裝置。 咿啦貓頭鷹商場（英語：Eeylops Owl...

其中公設五又稱之為平行公設（Parallel Axiom），敘述比較複雜，這個公設衍生出「三角形內角和等於一百八十度」的定理。在高斯（F. Gauss, 1777年—1855年）的時代，公設五就備受質疑，俄羅斯數學家羅巴切夫斯基（Nikolay Ivanovitch...

※中田ちさと（篠田麻里子休演時）的代演者（瓜屋茜畢業後）及伴舞 TeamB 4th Stage「偶像的黎明」公演 單戀對角線（伴舞） 研究生 「偶像的黎明」公演 心愛的娜塔莎 残念少女（瓜屋茜休演時） TeamK 5th Stage「引体后空翻」公演 任性的流星 ※小林香菜的代演者及伴舞 THEATER G-ROSSO「不要让梦想死去」公演...

非欧几里得几何，简称非欧几何，是多个几何形式系统的统称，与欧几里得几何的差别在于第五公设。 古希腊数学家欧几里得的《几何原本》提出了五条公设： 从一點向另一點可以引一条直线。 任意线段能无限延伸成一条直线。 给定任意线段，能以其一个端点作为圆心，该线段作为半径作一个圆。 所有直角都相等。...

{\displaystyle p} 可整除 a {\displaystyle a} 或可整除 b {\displaystyle b} 。此一命題被稱為歐幾里得引理，被用來證明質數分解的唯一性。 最早期的希臘人甚至不將1視為是一個數字，因此不會認為1是質數。到了中世紀與文藝復興時期，許多數學家將1納入作為第一個...

口對口的巧克力（口移しのチョコレート） - 多田、柏木、平嶋 心愛的娜塔莎（愛しきナターシャ） - 田名部、指原、片山 天使的尾巴（天使のしっぽ） - 中塚、多田、仲谷 單戀對角線（片思いの対角線） - 小森、仁藤、米澤（伴舞：柏木、小原、內田、片山、田名部、指原） 睡衣兜風（パジャマドライブ） - 平嶋、渡邊、仲川 純情主義...

要对象是几何学，但它还处理了数论、无理数理论等其他课题，例如著名的欧几里得引理和求最大公因數的欧几里得算法。几何原本也說明完全數和梅森質數的關係（歐幾里得-歐拉定理）、質數有無限多個（欧几里得定理）、有關因式分解的欧几里得引理（導出了算术基本定理及整數分解的唯一性）等。...

{\displaystyle B} 為序列緊之事，用類似阿尔泽拉-阿斯科利定理的對角線證法，即可證明。 由於證明本質為構造性（而非如一般情況，用到非構造性的選擇公理），在偏微分方程學中，有時使用序列巴拿赫-阿勞格魯定理，構造偏微分方程或變分問題的解。舉例，若有某個可分賦範空間 X {\displaystyle...

※倉持明日香的全員曲代役 TeamB 4th Stage「偶像的黎明」公演 單戀對角線（伴舞） 口對口的巧克力 ※柏木由紀的代役 Team研究生 「偶像的黎明」公演 口對口的巧克力 TeamK 5th Stage「引体后空翻」公演 ※野呂佳代的全員曲代役 THEATER G-ROSSO「不要让梦想死去」公演...

對角線。△6五步▲同步即為打開對角線的常用手法，如果先手方不會被王手，通常會被迫吃下這枚步兵，後手隨即打入△6六步攻擊先手右金。若先手走▲7七金，會進入後手桂馬的狙擊位置。若先手走▲5七金，不僅擋住角道，又會導致己方玉將容易被攻擊。若先手吃下該枚步兵，對角線依然處於不利狀態。 右矢倉（みぎやぐら，Right...

Stage「偶像的黎明」公演 單戀對角線（伴舞） Team研究生 「偶像的黎明」公演 單戀對角線 TeamA 5th Stage「恋愛禁止条例」公演 暴風驟雨之間（伴舞） 盛夏的聖誕玫瑰（伴舞） 心型病毒 ※前團員大島麻衣的代演者 TeamK 5th Stage「引体后空翻」公演 ※秋元才加的全員曲代演者...

位于台湾海峡上闽江口外54海浬处的马祖列岛以及位于长乐区外海的東莒島（原名东犬岛）和西莒島（原名西犬岛）以及罗源外海的东引岛在中华人民共和国的行政区劃上归福州市连江县马祖乡以及长乐区。现由中华民国连江县实际管辖。中华人民共和国政府虽无实际管辖，但也对这些岛屿宣称主权。...