"사각 피라미드 퍼즐"의 두 판 사이의 차이

2021년 2월 17일 (수) 04:46 기준 최신판

개요

공으로 다음 그림처럼 밑면이 정사각형인 피라미드를 쌓는다고 하면, 피라미드가 몇 층이 될 때, 공의 개수가 완전제곱수가 될까?

1층 또는 24층 두 경우만이 가능하다
Lucas problem 또는 Canonball problem 이라는 이름으로 불리기도 함.
다음 타원곡선의 정수해 문제로 이해할 수 있음.

\[y^2=\frac{x(x+1)(2x+1)}{6} \label{eq}\]

티오판투스 방정식

수식으로 표현하면 다음과 같은 디오판투스 방정식이 얻어진다

\[1^2+\cdots+ n^2 =\frac{n(n+1)(2n+1)}{6}=m^2\]

거듭제곱의 합을 구하는 공식이 사용되었다
답은 두 쌍이 존재\[(n,m)=(1,1) \text{ or } (24,70)\]

다른 정수계수 타원곡선으로의 변형

\(y^2=x^3-36x\) 의 정수해를 찾는 문제로의 변형
\ref{eq}에서 \(x=\frac{x_1-6}{12}\), \(y=\frac{y_1}{72}\) 로 치환하면, 다음을 얻는다.

\[y_1^2=x_1^3-36x_1 \label{eq2}\]

\ref{eq}의 정수해는 위의 치환에 의해 \ref{eq2}의 정수해에 대응되므로, \ref{eq2}의 정수해를 모두 찾으면 된다.
\ref{eq2}의 모든 정수해는 \((x_1,y_1)= (0, 0), (\pm6, 0), (-3,\pm9), (-2,\pm8), (12,\pm36), (18,\pm72), (294,\pm5040)\) 이다. [DP2009]
이 중에서 \(y_1\)이 72의 배수가 되는 경우는 \((18,\pm72), (294,\pm5040)\)
위에서 찾은 정수해는 타원곡선\(y^2=x^3-36x\)의 rank가 1이상임을 증명한다
이는 또한 6이 합동수 임을 증명한다

메모

24차원의 리치 격자는, 26차원 even unimodular 격자 \(II_{25,1}\)의 길이 0인 벡터 \((0,1,2,3,\dots,22,23,24; 70)\)을 사용하여 구성할 수 있다

사전 형태의 자료

블로그

사각 피라미드 퍼즐(1) Secret Math Blog, 2009-1
The Square Pyramid Puzzle
- Wir müssen wissen, Wir werden wissen, 2009-1-8

메타데이터

위키데이터

ID : Q2510203

Spacy 패턴 목록

[{'LOWER': 'leech'}, {'LEMMA': 'lattice'}]

@@ 1번째 줄: / 1번째 줄: @@
-<h5>간단한 소개</h5>
+==개요==
-* 공을 다음 그림처럼 피라미드 모양으로 쌓는다고 하면, 피라미드가 몇 층이 될 때, 공의 개수가 완전제곱수가 되는가?
+*  공으로 다음 그림처럼 밑면이 정사각형인 피라미드를 쌓는다고 하면, 피라미드가 몇 층이 될 때, 공의 개수가 완전제곱수가 될까?
+[[파일:2054496-q138.png]]
-[/pages/2054496/attachments/925572 q138.png]
+* 1층 또는 24층 두 경우만이 가능하다
-*  수식으로 표현하면 다음과 같은 디오판투스 방정식이 얻어짐.<br><math>1^2+\cdots+ n^2 =\frac{n(n+1)(2n+1)}{6}=m^2</math><br>
-*  답은 두 쌍이 존재.<br> (n,m)=(1,1) or (24,70)<br>
 * Lucas problem 또는 Canonball problem 이라는 이름으로 불리기도 함.
-* [[타원곡선]]의 정수해 문제로 이해할 수 있음.<br><math>y^2=\frac{x(x+1)(2x+1)}{6}</math><br>
+* 다음 [[타원곡선]]의 정수해 문제로 이해할 수 있음.
+:<math>y^2=\frac{x(x+1)(2x+1)}{6} \label{eq}</math>
-<h5>정수계수 타원곡선으로의 변형</h5>
-<math>x=\frac{x_1-6}{12}</math>, <math>y=\frac{y_1}{72}</math>
-를 사용하면,
-<math>y_1^2=x_1^3-36x_1</math> 를 얻는다.
-<math>y^2=\frac{x(x+1)(2x+1)}{6}</math> 의 정수해는 <math>y_1^2=x_1^3-36x_1</math>의 정수해를 주게 되므로, <math>y_1^2=x_1^3-36x_1</math>의 정수해를 찾으면 된다.
-정수해는 <math>(x_1,y_1)= (0, 0), (\pm6, 0), (â3,\pm9), (â2,\pm8), (12,\pm36), (18,\pm72), (294,\pm5040)</math> 이다. [Draziotis and Poulakis]
-<math>y_1</math>이 72의 배수가 되는 경우는 <math>(18,\pm72), (294,\pm5040)</math> 이다.
-* [[congruent number 문제]](참고로 6은 congruent number)
+==티오판투스 방정식==
+* 수식으로 표현하면 다음과 같은 디오판투스 방정식이 얻어진다
+:<math>1^2+\cdots+ n^2 =\frac{n(n+1)(2n+1)}{6}=m^2</math>
+* [[거듭제곱의 합을 구하는 공식]]이 사용되었다
+*  답은 두 쌍이 존재:<math>(n,m)=(1,1) \text{ or } (24,70)</math>
-<h5>부분적인 풀이</h5>
-서로소인 3 개의 수의 곱이 완전 제곱수라면 그 3 개의 수가 각각 완전제곱수 임을 이용하자.<br> x ≡ -2 (mod 6) 인 경우 <math>x=6t-2</math>로 두면, <math>(3t-1)(6t-1)(4t-1) = y^2</math>
-x ≡ 3 (mod 6)인 경우 (2t+1)(3t+2)(12t+7) = y²
+==다른 정수계수 타원곡선으로의 변형==
-x ≡ -1 (mod 6)인 경우 (6t+5)(t+1)(12t+11) = y²
+* <math>y^2=x^3-36x</math> 의 정수해를 찾는 문제로의 변형
+* \ref{eq}에서 <math>x=\frac{x_1-6}{12}</math>, <math>y=\frac{y_1}{72}</math> 로 치환하면, 다음을 얻는다.
+:<math>y_1^2=x_1^3-36x_1 \label{eq2}</math>
+* \ref{eq}의 정수해는 위의 치환에 의해 \ref{eq2}의 정수해에 대응되므로, \ref{eq2}의 정수해를 모두 찾으면 된다.
+* \ref{eq2}의 모든 정수해는 <math>(x_1,y_1)= (0, 0), (\pm6, 0), (-3,\pm9), (-2,\pm8), (12,\pm36), (18,\pm72), (294,\pm5040)</math> 이다. '''[DP2009]'''
+* 이 중에서 <math>y_1</math>이 72의 배수가 되는 경우는 <math>(18,\pm72), (294,\pm5040)</math>
+* 위에서 찾은 정수해는 타원곡선<math>y^2=x^3-36x</math>의 rank가 1이상임을 증명한다
+* 이는 또한 6이 [[합동수 문제 (congruent number problem)|합동수]] 임을 증명한다
-세번째 인수들은 완전제곱 ≡ -1 (mod 4) 이 되므로 모순이다.
-x ≡ 2 (mod 6) 인 경우 (3t+1)(2t+1)(12t+5) = y²
-t+1=p^2, 12t+5=q^2 으로 두면, q^2-4p^2=1이고 p=0 이어야 하므로, 모순이다.
+==메모==
+* 24차원의 [[리치 격자(Leech lattice)|리치 격자]]는, 26차원 even unimodular 격자 <math>II_{25,1}</math>의 길이 0인 벡터 <math>(0,1,2,3,\dots,22,23,24; 70)</math>을 사용하여 구성할 수 있다
-<h5>메모</h5>
-이제 x ≡ 0, 1 (mod 6) 일 때 보이면 된다.<br> t(6t+1)(12t+1) = y². 이 때 편의상 6t + 1 = p², 12t + 1 = q² 이다.
+==관련된 고교수학==
-'''p 가 7 이상이면 ([√2 p])² < 2p² - 1이 성립(?)'''
-'''(반례 : p=29 인 경우, [√2 p]=41, 41^2=2*29^2-1=1681)'''
-또한, [X] > X - 1 임을 이용하면<br> 2p² -1< ([√2 p] + 1)² 이다.
-따라서, p 가 7 이상이 되면 두 연속한 제곱수 사이에 다른 제곱수가 존재하므로 모순.
-따라서 p 는 6 이하가 된다.
-t 가 4 일 때, 해 (x,y) = (24, 70)를 찾을 수 있다.<br> x ≡ 1 (mod 6) 이면 (6t+1)(3t+1)(4t+1) = y²
-t + 1= p², 6t+1 = q² 이라 하면 q² = 2p² - 1 이 되는 아까와 동일한 상황이 되어 (1,1) 을 찾을 수 있다.
-따라서, 답은 (1,1) 과 (24, 70)
-<h5>관련된 학부 과목과 미리 알고 있으면 좋은 것들</h5>
 * [[04 부분합과 급수]]
-* [[초등정수론]]
-<h5>관련된 대학원 과목</h5>
+==관련된 항목들==
-<h5>관련된 항목들</h5>
 * [[타원곡선]]
+* [[초등정수론]]
 * [[숫자 12와 24|Number 12 and 24]]
-* [[congruent number 문제]]
+* [[합동수 문제 (congruent number problem)]]
-<h5>사전 형태의 자료</h5>
+==사전 형태의 자료==
 * http://ko.wikipedia.org/wiki/
-* http://en.wikipedia.org/wiki/
+* http://en.wikipedia.org/wiki/Leech_lattice
 * http://mathworld.wolfram.com/SquarePyramidalNumber.html
-* http://www.wolframalpha.com/input/?i=
-* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
-* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
-** http://www.research.att.com/~njas/sequences/?q=
-<h5>관련논문</h5>
+==관련논문==
-* [http://dx.doi.org/10.1016/j.jnt.2008.07.002 Solving the Diophantine equation y2=x(x2−n2)]<br>
+* '''[DP2009]'''[http://dx.doi.org/10.1016/j.jnt.2008.07.002 Solving the Diophantine equation y2=x(x2−n2)]
 ** Konstantinos Draziotis, Dimitrios Poulakis, Journal of Number Theory, Volume 129, Issue 3, March 2009, Pages 739-740,
-* [http://www.ams.org/mcom/2006-75-255/S0025-5718-06-01841-2/home.html Practical solution of the Diophantine equation $ y^2 = x(x+2^ap^b)(x-2^ap^b)$]<br>
+* [http://www.ams.org/mcom/2006-75-255/S0025-5718-06-01841-2/home.html Practical solution of the Diophantine equation <math> y^2 = x(x+2^ap^b)(x-2^ap^b)</math>]
 ** Konstantinos Draziotis; Dimitrios Poulakis, Math. Comp. 75 (2006), 1585-1593.
-* [http://www.math.ubc.ca/%7Ebennett/paper21.pdf Lucas' Square Pyramid Problem Revisited]<br>
+* [http://www.math.ubc.ca/%7Ebennett/paper21.pdf Lucas' Square Pyramid Problem Revisited]
 ** Michael A. Bennett, Acta Arithmetica Vol.105 NO.4 / 2002
-*  The Diophantine equation $b^2X^4-dY^2=1$<br>
+* [http://www.mathstat.uottawa.ca/%7Egwalsh/benwal1.pdf The Diophantine equation <math>b^2X^4-dY^2=1</math>]
 ** M. A. Bennett and P. G. Walsh, Proc. Amer. Math. Soc. 127 (1999), 3481-3491
-* [http://www.jstor.org/stable/2323911 The Square Pyramid Puzzle]<br>
+* [http://matwbn.icm.edu.pl/ksiazki/aa/aa78/aa7847.pdf The Diophantine equation x4− Dy2= 1 II]
-** W. S. Anglin, <cite>The American Mathematical Monthly</cite>, Vol. 97, No. 2 (Feb., 1990), pp. 120-124
+** J.H.E Cohn, Acta Arith, 1997
-*
+* [http://www.jstor.org/stable/2323911 The Square Pyramid Puzzle]
+** W. S. Anglin, <cite>The American Mathematical Monthly</cite>, Vol. 97, No. 2 (Feb., 1990), pp. 120-124
+* [http://qjmath.oxfordjournals.org/cgi/reprint/26/1/279.pdf THE DIOPHANTINE EQUATION x. 4. -Dy. 2. = 1.]
+** J.H.E Cohn, Quart. J. Math. Oxford (3),J26 (1975), 279-281
-<h5>블로그</h5>
-* [http://smbseminar.wordpress.com/2009/01/11/%EC%82%AC%EA%B0%81-%ED%94%BC%EB%9D%BC%EB%AF%B8%EB%93%9C-%ED%8D%BC%EC%A6%901/ 사각 피라미드 퍼즐(1)]<br>
+==블로그==
-** Secret Math Blog, 2009-1
-* [http://wiessen.tistory.com/269 The Square Pyramid Puzzle]<br>
+* [http://smbseminar.wordpress.com/2009/01/11/%EC%82%AC%EA%B0%81-%ED%94%BC%EB%9D%BC%EB%AF%B8%EB%93%9C-%ED%8D%BC%EC%A6%901/ 사각 피라미드 퍼즐(1)] Secret Math Blog, 2009-1
+* [http://wiessen.tistory.com/269 The Square Pyramid Puzzle]
 ** Wir müssen wissen, Wir werden wissen, 2009-1-8
+[[분류:디오판투스 방정식]]
+==메타데이터==
+===위키데이터===
+* ID :  [https://www.wikidata.org/wiki/Q2510203 Q2510203]
+===Spacy 패턴 목록===
+* [{'LOWER': 'leech'}, {'LEMMA': 'lattice'}]

"사각 피라미드 퍼즐"의 두 판 사이의 차이

2021년 2월 17일 (수) 04:46 기준 최신판

목차

개요

티오판투스 방정식

다른 정수계수 타원곡선으로의 변형

메모

관련된 고교수학

관련된 항목들

사전 형태의 자료

관련논문

블로그

메타데이터

위키데이터

Spacy 패턴 목록

둘러보기 메뉴

검색