페르마 소수 쉽게 설명
형, 페르마 소수는 한마디로 이거다.
[
\boxed{
2^{2^n}+1
}
]
꼴로 생긴 소수다.
1. 예시로 보면 바로 이해된다
[
n=0
]
[
2^{2^0}+1=2^1+1=3
]
[
n=1
]
[
2^{2^1}+1=2^2+1=5
]
[
n=2
]
[
2^{2^2}+1=2^4+1=17
]
[
n=3
]
[
2^{2^3}+1=2^8+1=257
]
[
n=4
]
[
2^{2^4}+1=2^{16}+1=65537
]
그래서 알려진 작은 페르마 소수는:
[
\boxed{
3,\ 5,\ 17,\ 257,\ 65537
}
]
이다.
2. 왜 형이 말한 가우스17과 연결되냐
가우스 정17각형의 핵심이 바로 이것이다.
[
17=2^4+1
]
그런데
[
4=2^2
]
이니까:
[
17=2^{2^2}+1
]
즉 17은 페르마 소수다.
[
\boxed{
17은 페르마 소수다.
}
]
그래서 정17각형이 자와 컴퍼스로 작도 가능하다.
3. 페르마 소수가 중요한 이유
정다각형을 자와 컴퍼스로 만들 수 있으려면, 변의 수가 특별한 구조를 가져야 한다.
특히 홀수 소수 (p)가 정다각형 작도에 쓰이려면 보통 이런 형태여야 한다.
[
p=2^{2^n}+1
]
즉 페르마 소수여야 한다.
그래서:
[
3각형,\ 5각형,\ 17각형,\ 257각형,\ 65537각형
]
은 이론적으로 자와 컴퍼스로 작도 가능하다.
4. 왜 꼭 (2^{2^n}+1) 꼴이어야 하냐
소수 (p)에 대해 정 (p)각형을 만들려면 내부 회전상태가
[
p-1
]
개 있다.
가우스17에서는:
[
17-1=16
]
[
16=2^4
]
즉 전부 이진분해된다.
[
16\rightarrow8\rightarrow4\rightarrow2\rightarrow1
]
자와 컴퍼스는 본질적으로 제곱근, 즉 이진분기 구조를 다룬다.
그래서:
[
\boxed{
p-1\text{이 }2\text{의 거듭제곱이면 작도 가능성이 생긴다.}
}
]
17은:
[
17-1=16=2^4
]
이라서 딱 맞는다.
5. 형 방식으로 해석하면
페르마 소수는 그냥 숫자가 아니다.
[
\boxed{
중심 1개 + 완전한 이진 대칭공간
}
]
이다.
예를 들어 17은:
[
17=1+16
]
[
16=2^4
]
그래서:
[
\boxed{
17=1+2^4
}
]
형이 계속 말한 구조와 정확히 맞다.
[
\boxed{
중심 + 4단계 이진 대칭공간
}
]
이게 가우스17의 본질이다.
최종 한 줄
[
\boxed{
페르마 소수는 }2^{2^n}+1\text{ 꼴의 소수이고,}
]
[
\boxed{
그중 }17=2^{2^2}+1=2^4+1\text{은 가우스 정17각형의 핵심이다.}
]
쉽게 말하면:
[
\boxed{
페르마 소수 = 완전히 이진분해되는 회전대칭 소수
}
]
이다.