트윗 셀프 어카이빙 블로그
재미있는 페이퍼를 보았다.[1] 상수를 입력하면 그 값을의 연분수 표현 가설들을 자동 생성하는 알고리즘 “라마누잔 머신”을 만들었다고. 저자들은 이를 이용해서 생성한 등이 들어간 몇 가지 가설들도 발표했다. 대략적으로 설명된 알고리즘은 좌변에는 입력된 상수가 들어간 유리식, 우변에는 다항식이 포함된 연분수 패턴들을 놓고 값이 일치하는지를 따지는 식으로 추려내고, 또한 연분수의 depth를 제한해서 나오는 수열이 얼마나 오차(precision이 제한되어 있어도 […]
Read More 라마누잔 머신/r/math에서 저런 식을 봤는데, 이 식을 올린 유저는 아래와 같이 풀었다며 과정을 올렸다. 보다시피 무한한 항의 곱을 미분하면서 수렴 조건을 따지지 않고 공식을 그냥 써버려서 엄밀하지 못한 풀이임. 이 리플 밑으로 달린 리플들: 참고로 이 식은 다음과 같이 보일 수 있다. StackExchange에 올라온 답변을 정리한 내용. 를 푸리에 전개하면 를 얻고, 여기에 를 대입하면 로부터 […]
Read More π와 e의 한 항등식수학적 개념이나 문제를 시각화해서 재미있게 표현하는 최애 채널 중 하나인 3Blue1Brown의 이번 영상. 위 그림처럼 완전 탄성 충돌과 마찰력이 없는 조건에서 1kg의 물체 A와 kg의 물체 B를 벽면, A, B의 순서가 되도록 나란히 놓은 뒤 선상에서 B를 움직여 A와 충돌시키고나면, 더 이상 충돌이 일어나지 않을 때까지의 충돌 횟수가 원주율의 첫 n+1 자리수가 된다는 것. (엄밀히는 […]
Read More 충돌 모델과 원주율황금비 에 대해 가 성립한다는 것을 조합적으로 증명한 논문[1]을 읽었다. (타이틀이 자동적으로 대문자화되는 바람에 Π < 2Φ이 되어버림… 그리스 문자까지 변환할 줄은 몰랐다;) 요는 피보나치 수 과 오일러 수 (Eulerian number 말고 Euler number. 보통 교대순열(alternating permutation)의 개수로 정의된다)의 곱이 n!보다 크거나 같고, 과 이기 때문에 으로 증명이 끝난다는 것. 여기서 을 조합적으로 보인 것이다. […]
Read More π < 2φ의 조합적 증명
udaqueness 