diff --git a/404.html b/404.html index 33cd1d3..f5ddd26 100644 --- a/404.html +++ b/404.html @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -105,7 +105,7 @@ - + @@ -161,7 +161,7 @@
Charles IV About Contact Home @@ -260,7 +260,7 @@ @@ -287,7 +287,7 @@ >
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ - /contact/ - + www.suesung.com/contact/ + - + diff --git a/about/index.html b/about/index.html index 00b2e57..6d673a5 100644 --- a/about/index.html +++ b/about/index.html @@ -69,19 +69,19 @@ - + - + @@ -91,14 +91,14 @@ - + - + - - + + @@ -118,7 +118,7 @@ - + @@ -179,7 +179,7 @@
Charles IV About Contact Home @@ -278,7 +278,7 @@ @@ -337,7 +337,7 @@

About

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ + - + @@ -87,14 +87,14 @@ - + - + - - + + @@ -114,7 +114,7 @@ - + @@ -175,7 +175,7 @@
Charles IV About Contact Home @@ -274,7 +274,7 @@ @@ -327,7 +327,7 @@

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ - /post/ - + www.suesung.com/post/ + - + diff --git a/blog/index.html b/blog/index.html index 6113a1d..71c4ac0 100644 --- a/blog/index.html +++ b/blog/index.html @@ -1,10 +1,10 @@ - /post/ - + www.suesung.com/post/ + - + diff --git a/contact/index.html b/contact/index.html index 3cb4287..264cf3e 100644 --- a/contact/index.html +++ b/contact/index.html @@ -67,19 +67,19 @@ - + - + @@ -89,14 +89,14 @@ - + - + - - + + @@ -116,7 +116,7 @@ - + @@ -177,7 +177,7 @@
Charles IV About Contact Home @@ -276,7 +276,7 @@ @@ -333,7 +333,7 @@

Contact

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ - /post/ - + www.suesung.com/post/ + - + diff --git a/index.html b/index.html index a7d35a0..64c6abe 100644 --- a/index.html +++ b/index.html @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -95,7 +95,7 @@ @@ -112,7 +112,7 @@ - + @@ -168,7 +168,7 @@
Charles IV About Contact Home @@ -267,7 +267,7 @@ @@ -328,7 +328,7 @@

Windows 下为某些特殊应用配置系 - + @@ -340,7 +340,7 @@

剖分正方形为奇数个等面积的三 - + @@ -352,7 +352,7 @@

Hilbert 第三问题

- + @@ -367,7 +367,7 @@

Hilbert 第三问题

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ Charles IV - / + www.suesung.com/ Recent content on Charles IV Hugo -- gohugo.io zh Copyright © 2023, Charles IV; all rights reserved. - Thu, 20 Jul 2023 10:58:52 +0800 + Thu, 20 Jul 2023 10:58:52 +0800 Windows 下为某些特殊应用配置系统代理 - /post/proxy/ + www.suesung.com/post/proxy/ Thu, 20 Jul 2023 10:58:52 +0800 - /post/proxy/ + www.suesung.com/post/proxy/ Anaconda 配置代理 pip 配置代理 Git 配置代理 Anaconda 配置代理 在 C:\Users\username\.condarc 中添加或修改如下内容： proxy_servers: http: http://127.0.0.1:port https: http://127.0.0.1:port pip 配置代理 在 C:\Users\username\pip\pip.ini 中添加或修改如下内容： [global] proxy=http://127.0.0.1:port 在终端里运行 pip -v config list 检查配置是否生效. @@ -23,10 +23,10 @@ Git 配置代理 # 设置: git config --global http.proxy http://127.0.0.1:port 剖分正方形为奇数个等面积的三角形 - /post/lsjh2/ + www.suesung.com/post/lsjh2/ Wed, 19 Jul 2023 12:42:44 +0800 - /post/lsjh2/ + www.suesung.com/post/lsjh2/ 问题的背景 证明准备 序关系 域的赋值 Sperner 引理 主要定理 知乎链接: 剖分正方形为奇数个等面积的三角形. 问题的背景 如果要把一个正方形剖分成面积相等的 $n$ 个三角形. 当 $n$ 是偶数时, 这是容易实现的. 比如说, 先把正方形平分为 $\dfrac{n}{2}$​ 个矩形, 再在分出来每个矩形里面画一条对角线 (如下图). 而 $n$ 是奇数时, 是否有可能将一个正方形平分为 $n$ 个面积相等的三角形? 这个问题在 1965 年被 Fred Richman 提出: 能否将一个正方形剖分成奇数个面积相等的三角形? 1968 年, John Thomas 证明了顶点为 $(0,0), (0,1), (1,0), (1,1)$ 的正方形不能剖分成奇数个面积相等的所有顶点都具有奇数分母的有理坐标的三角形. 直到 1970 年, Paul Monsky 才最终解决了这个问题: 将一个正方形剖分为奇数个等面积的三角形是不可能的! @@ -36,10 +36,10 @@ Git 配置代理 # 设置: git config --global http.proxy http://127.0.0.1:port Hilbert 第三问题 - /post/lsjh1/ + www.suesung.com/post/lsjh1/ Wed, 19 Jul 2023 12:21:29 +0800 - /post/lsjh1/ + www.suesung.com/post/lsjh1/ 1. 问题的背景、Wallace-Bolyai-Gerwien 定理 2. 证明准备 2.1. 线性代数预备知识 2.2. Dehn 不变量 2.3. Dehn-Hadwiger 定理 3. Hilbert 第三问题的解答 知乎链接: Hilbert 第三问题 (1): Wallace-Bolyai-Gerwien 定理——两平面多边形面积相等则可经有限次剪拼组成另一个, Hilbert 第三问题 (2): Dehn 不变量、Dehn-Hadwiger 定理、问题的解答. 1. 问题的背景、Wallace-Bolyai-Gerwien 定理 Hilbert 第三问题是关于多面体 (多边形) 等可分的一个问题. 首先给出等可分的定义. Definition 称 $\mathbb{R}^n$ 中的两个多面体是等可分的 (scissors-congruent), 如果它们可以被分割成有限个多面体 $P_1, P_2, \cdots , P_n$ 与 $Q_1, Q_2, \cdots , Q_n$, 使得 $P_i$ 与 $Q_i$ 全等, $\forall i=1,2,\cdots,n$. @@ -49,10 +49,10 @@ Theorem (Wallace-Bolyai-Gerwien) $\mathbb{R}^2$ 中的两个多边形是等可 About - /about/ + www.suesung.com/about/ Sat, 28 Jan 2023 00:00:00 +0000 - /about/ + www.suesung.com/about/ Welcome to my personal blog. Contact me: Github-Charle4 @@ -62,10 +62,10 @@ Personal homepage Contact - /contact/ + www.suesung.com/contact/ Sat, 28 Jan 2023 00:00:00 +0000 - /contact/ + www.suesung.com/contact/ Github-Charle4 Zhihu-George Personal homepage @@ -73,10 +73,10 @@ Personal homepage - /archives/ + www.suesung.com/archives/ Tue, 28 May 2019 00:00:00 +0000 - /archives/ + www.suesung.com/archives/ diff --git a/page/1/index.html b/page/1/index.html index 50b00c1..7d5672e 100644 --- a/page/1/index.html +++ b/page/1/index.html @@ -1,10 +1,10 @@ - / - + www.suesung.com/ + - + diff --git a/post/index.html b/post/index.html index 755d1d0..92d78b6 100644 --- a/post/index.html +++ b/post/index.html @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -95,7 +95,7 @@ @@ -112,7 +112,7 @@ - + @@ -168,7 +168,7 @@
Charles IV About Contact Home @@ -267,7 +267,7 @@ @@ -300,7 +300,7 @@

Windows 下为某些特殊应用配置系 - + @@ -312,7 +312,7 @@

剖分正方形为奇数个等面积的三 - + @@ -324,7 +324,7 @@

Hilbert 第三问题

- + @@ -339,7 +339,7 @@

Hilbert 第三问题

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ Posts on Charles IV - /post/ + www.suesung.com/post/ Recent content in Posts on Charles IV Hugo -- gohugo.io zh Copyright © 2023, Charles IV; all rights reserved. - Thu, 20 Jul 2023 10:58:52 +0800 + Thu, 20 Jul 2023 10:58:52 +0800 Windows 下为某些特殊应用配置系统代理 - /post/proxy/ + www.suesung.com/post/proxy/ Thu, 20 Jul 2023 10:58:52 +0800 - /post/proxy/ + www.suesung.com/post/proxy/ Anaconda 配置代理 pip 配置代理 Git 配置代理 Anaconda 配置代理 在 C:\Users\username\.condarc 中添加或修改如下内容： proxy_servers: http: http://127.0.0.1:port https: http://127.0.0.1:port pip 配置代理 在 C:\Users\username\pip\pip.ini 中添加或修改如下内容： [global] proxy=http://127.0.0.1:port 在终端里运行 pip -v config list 检查配置是否生效. @@ -23,10 +23,10 @@ Git 配置代理 # 设置: git config --global http.proxy http://127.0.0.1:port 剖分正方形为奇数个等面积的三角形 - /post/lsjh2/ + www.suesung.com/post/lsjh2/ Wed, 19 Jul 2023 12:42:44 +0800 - /post/lsjh2/ + www.suesung.com/post/lsjh2/ 问题的背景 证明准备 序关系 域的赋值 Sperner 引理 主要定理 知乎链接: 剖分正方形为奇数个等面积的三角形. 问题的背景 如果要把一个正方形剖分成面积相等的 $n$ 个三角形. 当 $n$ 是偶数时, 这是容易实现的. 比如说, 先把正方形平分为 $\dfrac{n}{2}$​ 个矩形, 再在分出来每个矩形里面画一条对角线 (如下图). 而 $n$ 是奇数时, 是否有可能将一个正方形平分为 $n$ 个面积相等的三角形? 这个问题在 1965 年被 Fred Richman 提出: 能否将一个正方形剖分成奇数个面积相等的三角形? 1968 年, John Thomas 证明了顶点为 $(0,0), (0,1), (1,0), (1,1)$ 的正方形不能剖分成奇数个面积相等的所有顶点都具有奇数分母的有理坐标的三角形. 直到 1970 年, Paul Monsky 才最终解决了这个问题: 将一个正方形剖分为奇数个等面积的三角形是不可能的! @@ -36,10 +36,10 @@ Git 配置代理 # 设置: git config --global http.proxy http://127.0.0.1:port Hilbert 第三问题 - /post/lsjh1/ + www.suesung.com/post/lsjh1/ Wed, 19 Jul 2023 12:21:29 +0800 - /post/lsjh1/ + www.suesung.com/post/lsjh1/ 1. 问题的背景、Wallace-Bolyai-Gerwien 定理 2. 证明准备 2.1. 线性代数预备知识 2.2. Dehn 不变量 2.3. Dehn-Hadwiger 定理 3. Hilbert 第三问题的解答 知乎链接: Hilbert 第三问题 (1): Wallace-Bolyai-Gerwien 定理——两平面多边形面积相等则可经有限次剪拼组成另一个, Hilbert 第三问题 (2): Dehn 不变量、Dehn-Hadwiger 定理、问题的解答. 1. 问题的背景、Wallace-Bolyai-Gerwien 定理 Hilbert 第三问题是关于多面体 (多边形) 等可分的一个问题. 首先给出等可分的定义. Definition 称 $\mathbb{R}^n$ 中的两个多面体是等可分的 (scissors-congruent), 如果它们可以被分割成有限个多面体 $P_1, P_2, \cdots , P_n$ 与 $Q_1, Q_2, \cdots , Q_n$, 使得 $P_i$ 与 $Q_i$ 全等, $\forall i=1,2,\cdots,n$. diff --git a/post/lsjh1/index.html b/post/lsjh1/index.html index 037ed0d..c53c5c0 100644 --- a/post/lsjh1/index.html +++ b/post/lsjh1/index.html @@ -69,19 +69,19 @@ - + - + @@ -91,14 +91,14 @@ - + - + - - + + @@ -122,7 +122,7 @@ 易知等可分的多面体体积相等, 关于其逆命题, 在 $\mathbb{R}^2$ 中有如下定理, 即面积相等的多边形都是等可分的. Theorem (Wallace-Bolyai-Gerwien) $\mathbb{R}^2$ 中的两个多边形是等可分的当且仅当它们面积相等." /> - + @@ -191,7 +191,7 @@
Charles IV About Contact Home @@ -290,7 +290,7 @@ @@ -438,7 +438,7 @@

3. Hilbert 第三问题的解答

←剖分正方形为奇数个等面积的三角形 @@ -461,7 +461,7 @@

3. Hilbert 第三问题的解答

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ + - + @@ -91,14 +91,14 @@ - + - + - - + + @@ -122,7 +122,7 @@ 这个看似是欧氏几何中的经典题目, 答案早已为人所知的 “简单问题” 在五十多年前才得到证明, 在证明里还用到了域的赋值理论等较为高等的工具! 证明准备 序关系 Definition (偏序) 称集合 $S$ 上的关系 $\leqslant$ 为偏序 (partial order) 关系, 如果它满足:" /> - + @@ -191,7 +191,7 @@
Charles IV About Contact Home @@ -290,7 +290,7 @@ @@ -473,14 +473,14 @@

主要定理

←Windows 下为某些特殊应用配置系统代理 Hilbert 第三问题→ @@ -502,7 +502,7 @@

主要定理

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ - /post/ - + www.suesung.com/post/ + - + diff --git a/post/proxy/index.html b/post/proxy/index.html index 4f5ca95..db26044 100644 --- a/post/proxy/index.html +++ b/post/proxy/index.html @@ -69,19 +69,19 @@ - + - + @@ -91,14 +91,14 @@ - + - + - - + + @@ -122,7 +122,7 @@ Git 配置代理 # 设置: git config --global http.proxy http://127.0.0.1:port git config --global https.proxy http://127.0.0.1:port # 取消: git config -–global –unset http.proxy git config -–global –unset https.proxy 有的节点无法代理 SSH 协议, 可以使用 SSH over HTTPS 通过 443 端口使用 SSH: 运行以下命令测试通过 HTTPS 端口的 SSH 是否可行:" /> - + @@ -191,7 +191,7 @@
Charles IV About Contact Home @@ -290,7 +290,7 @@ @@ -365,7 +365,7 @@

Git 配置代理

剖分正方形为奇数个等面积的三角形→ @@ -387,7 +387,7 @@

Git 配置代理

>
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ - /post/ - + www.suesung.com/post/ + - + diff --git a/showcase/index.html b/showcase/index.html index 6113a1d..71c4ac0 100644 --- a/showcase/index.html +++ b/showcase/index.html @@ -1,10 +1,10 @@ - /post/ - + www.suesung.com/post/ + - + diff --git a/sitemap.xml b/sitemap.xml index addfc51..1fbede2 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -2,34 +2,34 @@ - / + www.suesung.com/ 2023-07-20T10:58:52+08:00 - /post/ + www.suesung.com/post/ 2023-07-20T10:58:52+08:00 - /post/proxy/ + www.suesung.com/post/proxy/ 2023-07-20T10:58:52+08:00 - /post/lsjh2/ + www.suesung.com/post/lsjh2/ 2023-07-19T12:42:44+08:00 - /post/lsjh1/ + www.suesung.com/post/lsjh1/ 2023-07-19T12:21:29+08:00 - /about/ + www.suesung.com/about/ 2023-01-28T00:00:00+00:00 - /contact/ + www.suesung.com/contact/ 2023-01-28T00:00:00+00:00 - /archives/ + www.suesung.com/archives/ 2019-05-28T00:00:00+00:00 - /%E5%88%86%E7%B1%BB/ + www.suesung.com/%E5%88%86%E7%B1%BB/ - /%E6%A0%87%E7%AD%BE/ + www.suesung.com/%E6%A0%87%E7%AD%BE/ - /%E7%B3%BB%E5%88%97/ + www.suesung.com/%E7%B3%BB%E5%88%97/ diff --git "a/\345\210\206\347\261\273/index.html" "b/\345\210\206\347\261\273/index.html" index f90941a..429a9f0 100644 --- "a/\345\210\206\347\261\273/index.html" +++ "b/\345\210\206\347\261\273/index.html" @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -95,7 +95,7 @@ @@ -112,7 +112,7 @@ - + @@ -168,7 +168,7 @@
Charles IV About Contact Home @@ -267,7 +267,7 @@ @@ -303,7 +303,7 @@ >
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ 分类 on Charles IV - /%E5%88%86%E7%B1%BB/ + www.suesung.com/%E5%88%86%E7%B1%BB/ Recent content in 分类 on Charles IV Hugo -- gohugo.io zh - Copyright © 2023, Charles IV; all rights reserved. + Copyright © 2023, Charles IV; all rights reserved. diff --git "a/\345\210\206\347\261\273/page/1/index.html" "b/\345\210\206\347\261\273/page/1/index.html" index d98fade..9e39928 100644 --- "a/\345\210\206\347\261\273/page/1/index.html" +++ "b/\345\210\206\347\261\273/page/1/index.html" @@ -1,10 +1,10 @@ - /%E5%88%86%E7%B1%BB/ - + www.suesung.com/%E5%88%86%E7%B1%BB/ + - + diff --git "a/\346\240\207\347\255\276/index.html" "b/\346\240\207\347\255\276/index.html" index a9197ee..5ddc1b0 100644 --- "a/\346\240\207\347\255\276/index.html" +++ "b/\346\240\207\347\255\276/index.html" @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -95,7 +95,7 @@ @@ -112,7 +112,7 @@ - + @@ -168,7 +168,7 @@
Charles IV About Contact Home @@ -267,7 +267,7 @@ @@ -303,7 +303,7 @@ >
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ 标签 on Charles IV - /%E6%A0%87%E7%AD%BE/ + www.suesung.com/%E6%A0%87%E7%AD%BE/ Recent content in 标签 on Charles IV Hugo -- gohugo.io zh - Copyright © 2023, Charles IV; all rights reserved. + Copyright © 2023, Charles IV; all rights reserved. diff --git "a/\346\240\207\347\255\276/page/1/index.html" "b/\346\240\207\347\255\276/page/1/index.html" index d87d9cf..487db52 100644 --- "a/\346\240\207\347\255\276/page/1/index.html" +++ "b/\346\240\207\347\255\276/page/1/index.html" @@ -1,10 +1,10 @@ - /%E6%A0%87%E7%AD%BE/ - + www.suesung.com/%E6%A0%87%E7%AD%BE/ + - + diff --git "a/\347\263\273\345\210\227/index.html" "b/\347\263\273\345\210\227/index.html" index 166787f..4ebe867 100644 --- "a/\347\263\273\345\210\227/index.html" +++ "b/\347\263\273\345\210\227/index.html" @@ -62,13 +62,13 @@ - + - + @@ -78,14 +78,14 @@ - + - + - - + + @@ -95,7 +95,7 @@ @@ -112,7 +112,7 @@ - + @@ -168,7 +168,7 @@
Charles IV About Contact Home @@ -267,7 +267,7 @@ @@ -303,7 +303,7 @@ >
© 2023 - Charles IV + Charles IV
Powered by Hugo️️ 系列 on Charles IV - /%E7%B3%BB%E5%88%97/ + www.suesung.com/%E7%B3%BB%E5%88%97/ Recent content in 系列 on Charles IV Hugo -- gohugo.io zh - Copyright © 2023, Charles IV; all rights reserved. + Copyright © 2023, Charles IV; all rights reserved. diff --git "a/\347\263\273\345\210\227/page/1/index.html" "b/\347\263\273\345\210\227/page/1/index.html" index a426e5a..119c852 100644 --- "a/\347\263\273\345\210\227/page/1/index.html" +++ "b/\347\263\273\345\210\227/page/1/index.html" @@ -1,10 +1,10 @@ - /%E7%B3%BB%E5%88%97/ - + www.suesung.com/%E7%B3%BB%E5%88%97/ + - +