OEIS A026771의 아홉 항·시차 8 점화식을 기호식으로 검증할 수 있는 정확한 다항식 인증서로 정리했다.
무엇을 확인했나
공개 원고는 점화식의 양변 차이를 다항식 항등식으로 환원해 성립 범위를 확인한다. 수치 대입에 기대지 않고 같은 계산을 다시 점검할 수 있도록 식과 경계 조건을 함께 남겼다.
공개 자료
현재 외부 상태
Richard J. Mathar는 A026124와 이 점화식을 일반적으로 알려진 방법에 속하는 결과로 보았다. 따라서 신규성이나 최초 해결을 주장하지 않으며, 재현 가능한 명시적 인증서로만 공개한다.