首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Proving the Pythagorean Theorem via Infinite Dissections
被引:0
|
作者
:
Lengvarszky, Zsolt
论文数:
0
引用数:
0
h-index:
0
机构:
Louisiana State Univ, Dept Math, Shreveport, LA 71115 USA
Louisiana State Univ, Dept Math, Shreveport, LA 71115 USA
Lengvarszky, Zsolt
[
1
]
机构
:
[1]
Louisiana State Univ, Dept Math, Shreveport, LA 71115 USA
来源
:
AMERICAN MATHEMATICAL MONTHLY
|
2013年
/ 120卷
/ 08期
关键词
:
D O I
:
10.4169/amer.math.monthly.120.08.751
中图分类号
:
O1 [数学];
学科分类号
:
0701 ;
070101 ;
摘要
:
Novel proofs of the Pythagorean Theorem are obtained by dissecting the squares on the sides of the abc triangle into a series of infinitely many similar triangles.
引用
收藏
页码:751 / 753
页数:3
相关论文
共 50 条
[21]
A Spherical Pythagorean Theorem
Maraner, Paolo
论文数:
0
引用数:
0
h-index:
0
机构:
Free Univ Bozen Bolzano, Sch Econ & Management, I-39100 Bolzano, Italy
Free Univ Bozen Bolzano, Sch Econ & Management, I-39100 Bolzano, Italy
Maraner, Paolo
MATHEMATICAL INTELLIGENCER,
2010,
32
(03):
: 46
-
50
[22]
The Metaphysics of the Pythagorean Theorem
Rioux, Jean
论文数:
0
引用数:
0
h-index:
0
机构:
Benedictine Coll, Atchison, KS 66002 USA
Benedictine Coll, Atchison, KS 66002 USA
Rioux, Jean
REVIEW OF METAPHYSICS,
2018,
72
(02):
: 383
-
385
[23]
The Pythagorean Theorem(一)
刘晓玫
论文数:
0
引用数:
0
h-index:
0
刘晓玫
中学生数学,
2002,
(04)
: 40
-
40
[24]
PROVING A GROUP INFINITE
NEWMAN, MF
论文数:
0
引用数:
0
h-index:
0
机构:
Mathematics, I.A.S., Australian National University, Canberra, 2601, A.C.T.
NEWMAN, MF
ARCHIV DER MATHEMATIK,
1990,
54
(03)
: 209
-
211
[25]
Probabilistic Theorem Proving
Gogate, Vibhav
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Texas Dallas, Richardson, TX 75083 USA
Univ Texas Dallas, Richardson, TX 75083 USA
Gogate, Vibhav
Domingos, Pedro
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Washington, Seattle, WA 98195 USA
Univ Texas Dallas, Richardson, TX 75083 USA
Domingos, Pedro
COMMUNICATIONS OF THE ACM,
2016,
59
(07)
: 107
-
115
[26]
Proving the Stone theorem
Nakano, H
论文数:
0
引用数:
0
h-index:
0
Nakano, H
ANNALS OF MATHEMATICS,
1944,
42
: 665
-
667
[27]
THEOREM PROVING WITH LEMMAS
PETERSON, GE
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV MISSOURI,DEPT MATH SCI,ST LOUIS,MO 63121
UNIV MISSOURI,DEPT MATH SCI,ST LOUIS,MO 63121
PETERSON, GE
JOURNAL OF THE ACM,
1976,
23
(04)
: 573
-
581
[28]
Refinement and theorem proving
Manolios, Panagiotis
论文数:
0
引用数:
0
h-index:
0
机构:
Georgia Inst Technol, Coll Comp, Atlanta, GA 30318 USA
Georgia Inst Technol, Coll Comp, Atlanta, GA 30318 USA
Manolios, Panagiotis
FORMAL METHODS FOR HARDWARE VERIFICATION,
2006,
3965
: 176
-
210
[29]
Automated theorem proving
Li, HB
论文数:
0
引用数:
0
h-index:
0
机构:
Chinese Acad Sci, Inst Syst Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China
Chinese Acad Sci, Inst Syst Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China
Li, HB
GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING,
2001,
: 110
-
+
[30]
Theorem proving modulo
Dowek, G
论文数:
0
引用数:
0
h-index:
0
机构:
Ecole Polytech, INRIA LIX, F-91128 Palaiseau, France
Ecole Polytech, INRIA LIX, F-91128 Palaiseau, France
Dowek, G
Hardin, T
论文数:
0
引用数:
0
h-index:
0
机构:
Ecole Polytech, INRIA LIX, F-91128 Palaiseau, France
Hardin, T
Kirchner, C
论文数:
0
引用数:
0
h-index:
0
机构:
Ecole Polytech, INRIA LIX, F-91128 Palaiseau, France
Kirchner, C
JOURNAL OF AUTOMATED REASONING,
2003,
31
(01)
: 33
-
72
←
1
2
3
4
5
→