C-D23-ARITHMETIC

Cut khả-dĩ số học Branch A PROVED-INTERNAL: dương chính xác, chặn hệ số theo bậc, bất đẳng thức Newton và Maclaurin, dương power-sum theo đồng nhất thức Newton, sàng square-splitting theo modulus phụ, và primitivity/multiplicity. Mỗi cái là điều kiện cần đã chứng minh cho E_j = e_j của 13 bình phương số nguyên có chặn; một multiset bình phương thật vượt mọi họ

Nói dễ hiểu

Các bất đẳng thức cổ điển giữa các hàm đối xứng chứng nhận, trước tái dựng, rằng một ứng viên không thể đến từ 13 bình phương số nguyên.

Phát biểu chính xác

Cut khả-dĩ số học Branch A PROVED-INTERNAL: dương chính xác, chặn hệ số theo bậc, bất đẳng thức Newton và Maclaurin, dương power-sum theo đồng nhất thức Newton, sàng square-splitting theo modulus phụ, và primitivity/multiplicity. Mỗi cái là điều kiện cần đã chứng minh cho E_j = e_j của 13 bình phương số nguyên có chặn; một multiset bình phương thật vượt mọi họ