本帖最后由 Asdmath2020 于 2020-2-27 15:13 编辑
0 d- Q( ?9 T ^9 @5 A
4 x3 k/ N0 C- ]# ?6 r2 u; V本文所涉及的新功能即将在Wolfram语言第12版中发布。可复制的输入表达式和可下载的笔记本将在新版本发布后为您提供。
1 G; y F) J* Y
5 @) t% i: X! S4 J6 E( J7 c9 {$ ]1 t相似三角形剖分
. e% X/ g# T5 A
9 N' Z0 }0 E# y! \' l6 bWolfram语言第12版引入了几何问题求解器。新函数GeometricScene的参考文档页面有一个巧妙的示例,给出了下面的代码片段,其中GeometricAssertion调用七个相似三角形: 2 f) y% X4 @4 C$ T. j# `
* i6 h7 z% b* \+ `; b2 v+ v0 A点C的坐标使用塑胶常数
,即
的实根。
8 o' P2 m+ Q5 [! d% J/ H# I
3 A! a( \( w' H" E5 R
* g8 h7 X6 r" U) M% }2 w! _- k
3 u/ q( X7 d% \: z' `7 @4 T' h2 a1 i8 n! E" T
+ b( n, x" _7 _3 a/ _$ h在笔记本的初始化部分,SqrtRho被定义为由根、用根表示的顶点、子三角形和符号组成的列表。函数dissectionDiagram使用这些值来绘制边长等于
的幂的三角形。- X& m: D* d* R5 `- _ Y
; \" w/ S) q6 K( v使用初始化部分定义的SqrtSpace求笛卡尔坐标。8 }+ Q7 E* g) o) a$ B; k
: W7 ~0 H: S9 ?5 v
皮索数' r) J) g* I( F7 A
塑胶常数
是最小的皮索数(Pisot number,大于1且单位圆盘中有共轭元素的实数代数整数)。这是前四个和第九个皮索数,将值显示为外部的点和内部的共轭元素。
a( }! W: Y# S" c4 w; t
% B2 ~# N+ W4 d/ ]! J2 @/ g
第二个皮索数
实数共轭元素
,其中
3 S' w$ J$ M" y. ~+ H
4 H: v. v; V# g3 f; L/ H- d3 [
这是参考文档中提到的第二个巧妙范例。将多边形分解为相似三角形:" _- e1 M5 U! Y. S
6 O: v$ ^2 @! B* P4 h' ~& K4 w
这个解可以被扩展为九个相似三角形。& x7 A0 v. w; S: s
8 O" b6 j* D3 y# i: m' V% \- j
这些三角形用
构建;被称为
剖分。边长为
,其中是边的标签。9 r2 g1 m" O: \/ G
7 ?, W0 B1 l* B6 w$ @* y. x" @6 M# k9 s7 M+ t, B
黄金和超黄金比例
, M. W7 k# [ E: ]9 J4 n1 y* N与
和相关的是黄金比例,在比萨的列奥纳多·波那契1202年的著作《计算之书》(Liber Abaci)中有提到。本书的开始是阿拉伯数系统
T8 K, {! G4 h6 X
' \# B U2 [' d1 Q3 T% ^# u
《计算之书》后面介绍了兔子问题,引出我们现在常说的斐波那契数列。 “Fibonacci”这个名字于1838年由“filiusBonacci”或“Bonacci之子”得来。- l* j# h) s) e1 E5 w3 t L+ k, [ u
( Q: p* l* m A' i这显示了斐波那契兔数列及其与黄金比例
(phi)的关系 M& h9 S! q* M+ C/ B- {4 V0 v9 G* o% O
. B) e" c. {5 y9 F# O: f
1356年,Narayana在他的书Ganita Kaumudi中提出了以下问题:“一头母牛每年生下一头小牛。小牛在三岁时生出另一只小牛。一头奶牛在二十年间产生的后代数量是多少?“ 5 K" g9 \ Z& s5 D9 D0 T: u
我们可以使用Mathematica来显示Narayana奶牛序列及其与
(psi)的关系,即超级黄金比例
9 U+ m; R; t6 Y; h1 I巴都万(Padovan)数列和佩兰(Perrin)数列中连续项的比率都趋向于,如Fibonacci和Padovan螺旋恒等式(http://demonstrations.wolfram.co ... anSpiralIdentities/)和Padovan的螺旋数(http://demonstrations.wolfram.com/PadovansSpiralNumbers/)所示。这里显示了这两个兔和牛序列:2 _ i$ a" D2 r( G _! a
4 ]2 T0 v2 e& i) b) P
构造几何图形 & x' B3 N7 F% E6 R7 ~, E6 {) w' R) @, p
黄金比例的幂
、
和
是开普勒三角形的边长。黄金比例(或称斐波那契兔常数)为皮索数
。通过使用皮索数
(塑胶常数),
,
(超黄金比例)或
,作出120°角的步骤与泰波那契(tribonacci)常数
相同。
9 \6 }/ w# P1 y2 l
几乎所有的正多面体和阿基米德立体都可以通过作用于
上的八面体组或者作用于
上的二十面体组来构建。以下情形除外:扭棱立方体需要的一个根
(泰波那契常数)。扭棱十二面体需要
的一个根。扭棱三十二面体需要
的元素(未显示)。 " m3 f: s" i9 `
- 这将构建顶点坐标位于给定代数域的前两个扭体。
$ s8 f4 I- n4 [% E
% I. }6 N$ v0 s2 \; X1 u如果两个根具有相同的判别式(
),则它们通常属于相同的代数域。这是泰波那契常数的两个多项式。
! m7 V5 }' \3 L9 ~: w7 n0 @* o/ l9 `
5 r/ q7 F. s: p6 B2 Q
泰波那契常数是多项式奇数系列的一部分,这些多项式将黑格纳(Heegner)数和j函数联系在一起,以多种方式导出极端接近整数(Almost integer)。8 k3 d& l: v* S7 l/ I l
* {- F; O1 _. v# H5 v白银比例
(http://mathworld.wolfram.com/SilverRatio.html)也会产生有趣的几何形状。 如果将A4纸对折,得到的矩形与原始矩形相似。 A4矩形可以通过许多奇怪的方式完美地细分为较小的不同A4矩形。 值2、
、
和
都与正方形和相似矩形的剖分有关。
# ]8 ~( _3 g! m& Y
4 r* O2 ^( g) j [7 H; w; j
这些剖分都可以在第12版中找到。2 o' t# r3 j, M2 k# F: a/ n5 j
7 C' |3 I% P. w4 I" S
6 h; S! s$ Q9 e
的第三个根可以求解圆盘覆盖问题和Heilbronn三角形问题。; e* G1 \$ \( M
- ~$ z* l$ T- F4 `! C4 t9 Z j
无穷级数 ; O/ X) p" t; {2 f
目前为止所引入的许多数值都可以表达为自身负幂数的无穷级数。
1 \4 a& T# [" v2 @- ]4 }7 S5 e. O
4 c' X9 P9 s1 S& x7 z! \通过将面积为2的等腰直角三角形剖分成越来越小的相似三角形可以证明第一个级数。或者使用此处所示的相似三角形无限剖分。) E1 V' _8 g# `& k0 t4 Q
, n; L7 F% V$ K
的无穷级数也可以用相似三角形的无穷集合来说明。, _. ~4 y: u/ I
% W6 U4 I! P4 C2 R
的无穷级数可以用无穷个相似Rauzy分形来说明。0 \7 R' X o! {) E
) |0 E0 i( }* V" B
4 l/ ]+ e) m5 d
的无穷级数可以用无穷个相似分形来说明。" p0 C9 ]4 B5 [( @" X0 d2 d9 ]
0 |3 ?( J' o; R* v x( e
这是上述值的表格:6 k3 _0 Z$ u* Y4 ~. I! n: n
. q0 a! q8 J; B1 F& U9 p( |2 {8 ]
重复剖分 + G% {% @0 E; B! ? D
) w+ A" r0 ?$ z$ Y; B- U
! w2 U1 |, l" b) z+ E) G重复剖分;为了减少混沌,具有相同方向的三角形颜色相同。这是18步后的剖分。6 x: R7 c# Z# `
2 B5 P [9 ~- i' M下面的风车镶嵌(http://demonstrations.wolfram.com/PinwheelTiling/)并没那么无序。风车三角形最终具有无限多个方向,但混沌进展的速度比前面所示的慢。' O- C. c# [6 u: j h5 H
) L8 `' s4 C. Z0 }这是180步后
分形的一部分。
4 n# I* o+ W# _ j
* H3 ^! H, r% B h @
这是40步后塑料分形的一部分。
4 J* Z9 ?& l+ i# q+ Z) H* [
# a+ J8 K! ?$ L3 \# E7 v* e& V& B' I通过在剖分中使用对称性,结果证明存在具有不同属性的十二个代入镶嵌 (substitution tilings)。
" z K1 G- _2 B* r j
3 Q4 m$ p7 {' P; n6 p$ Q% L h
“巧妙范例”确实巧妙,十二个新的代入镶嵌就此产生。
' J/ l+ k6 z% e* h0 r . y: [: U' f D! j+ r F/ z
! u0 S3 M5 A% z1 q' ?) j7 X9 ?+ B' `# O' \% B
% K3 [. @0 a) B: `1 X
|