라그랑주 네 제곱수 정리 — 자연수를 네 제곱의 합으로 직접 찾기

네 제곱수 정리는 무엇을 말하나

제곱은 부호를 지우므로 네 정수를 모두 0 이상의 값으로 정규화할 수 있습니다. n=0은 (0,0,0,0)으로 포함합니다. 네 항을 모두 양수로 써야 한다는 뜻은 아닙니다.

입력한 수의 증인을 직접 검산해보자

같은 수에 여러 증인이 생길 수 있습니다. 이 도구가 반환한 첫 증인은 존재와 합계를 확인하기 위한 결과이며 최적화 결과가 아닙니다.

증인은 어떤 범위에서 찾나

각 제곱항이 음이 아니므로 이 좌표 경계는 고정된 n에서 완전합니다. 도구는 두 제곱합을 미리 만든 뒤 보완합을 찾고 마지막에 네 좌표를 다시 제곱합니다.

• 증인 찾음: 네 좌표와 직접 합산이 일치
• 검산 미완료: 시간 예산 때문에 전 범위를 확인하지 못함
• 내부 검산 오류: 완전 범위를 소진했거나 합계가 불일치

왜 어떤 수에는 네 개가 실제로 필요한가

7, 23, 28, 31은 이 장애형에 해당하므로 세 제곱으로는 부족합니다. 네 제곱 표현에서 한 좌표가 0이면 세 제곱 표현이 되므로 이 수들의 증인은 네 좌표가 모두 0이 아니어야 합니다.

존재 정리와 최소항 문제는 다르다

0이 아닌 항의 최소 개수, 가장 작은 최대좌표, 표현 총수는 별도 문제이며 P0 출력에 붙이지 않습니다.

Euler 네 제곱 항등식은 무슨 역할을 하나

두 네 제곱합의 곱도 네 제곱합이라는 사실을 보여 줍니다. 항등식은 소수 표현으로의 환원에 중요한 역할을 하지만 한 줄만으로 모든 소수의 표현과 하강 논증이 자동 완성되는 것은 아닙니다.

계산이 정리의 증명은 아니다

0…500 전수 회귀 테스트는 프로그램을 검증하는 데 유용하지만 무한히 많은 정수에 대한 수학적 증명을 대신하지 않습니다. 시간 예산 중단도 반례가 아닙니다.

경계: 정리의 참·거짓과 프로그램의 실행 상태를 같은 배지로 표시하지 않습니다.

5변수 이차형식과 무엇이 다른가

네 제곱수 정리는 정수 하나의 제곱길이를 네 좌표로 표현하는 rank 1 문제입니다. 2-보편 5변수 이차형식은 두 벡터의 길이와 내적을 동시에 보존하는 rank 2 표현 문제입니다. 공개 시점에 /quinary-quadratic-forms/가 실제 200·indexable일 때만 설명형 링크를 활성화합니다.

자주 헷갈리는 질문

네 정수는 모두 서로 달라야 하나요?

아닙니다. 23=3²+3²+2²+1²처럼 반복해도 됩니다.

음수도 쓸 수 있나요?

정리의 증인은 정수이지만 제곱에서 부호가 사라지므로 도구는 비음수 정규화 증인을 보여 줍니다.

네 개가 필요하다는 말은 어떻게 확인하나요?

단순 검색 실패가 아니라 Legendre–Gauss 정리의 4^a(8b+7) 조건으로 확인합니다.