Professional Documents
Culture Documents
Lưu ý : đa thức Q có bậc deg Q t1 1 t2 ... tn và hệ số của đơn thức x1t1 x2t2 ...xntn khác 0 và
t1
Q s1 , s2 ,..., sn 0 với mọi s1 , s2 ,..., sn S1 S2 ... Sn . Điều này mâu thuẫn với giả thiết qui nạp.
S1
Qi xi ”.
m ti 1
mi ti với một chỉ số i nào đó thì ta thay thế ximi bởi ximi xi i
Ta có một số nhận xét sơ bộ sau: Do deg Qi Si ti 1 nên sau mỗi lần ta thực hiện thuật toán trên thì đơn
thức x1m1 x2m2 ...xnmn bị thay thế bởi tổng của một số đơn thức khác , nhưng tất cả các đơn thức đó đều có bậc
nhỏ hơn m1 m2 ... mn . Do vậy thuật toán này phải dừng lại sau một số hữu hạn bước.
Gọi P là đa thức sau cùng nhận được từ thuật toán. Mỗi phép biến đổi
cx1m1 ...ximi ...xnmn
cx1m1 ... ximi xi i i Qi xi ...xnmn tương ứng với một phép trừ đa thức P cho một đa thức
m t 1
m ti 1
có dạng RiQi trong đó Ri cx1m1 ...xi i ...xnmn .Do đó nếu xét quá trình thực hiện cho tất cả các đơn thức
thì ta có P P R1Q1 ... RnQn , ở đây Ri là tổng của các Ri ( mỗi đơn thức x1m1 x2m2 ...xnmn trong P có
mi ti đều cho ta một Ri , ta thực hiện thuật toán cho tất cả các đơn thức như vậy , ta sẽ thu được các Ri ).
Bởi vì đa thức P nhận được cuối cùng từ thuật toán nên lũy thừa của mỗi biến xi trong P tối đa chỉ có thể
là ti . Theo cách ta xây dựng thì Qi si 0 với mọi si Si . Do đó
P s1 ,..., sn P s1 ,..., sn với mọi s1 , s2 ,..., sn S1 S2 ... Sn
P s1 ,..., sn 0 với mọi s1 , s2 ,..., sn S1 S2 ... Sn
Áp dụng bổ đề cho đa thức P ta suy ra P 0 (*)
Nhận thấy đơn thức cx1t1 x2t2 ...xntn trong đa thức P không hề thay đổi qua quá trình thực hiện thuật toán vì nó
không chứa số mũ quá lớn để phải thay thế hay nói cách khác đa thức P có hệ số của đơn thức x1t1 x2t2 ...xntn là
c 0 ( theo giả thiết đối với đa thức P ) . Điều này mâu thuẫn với (*) . Ta kết thúc chứng minh của định lý
Combinatorial Nullstellatz .
Tài liệu tham khảo :
[1]. Wikipedia
[2]. Trần Nam Dũng, Đa thức và ứng dụng trong các bài toán tổ hợp, Tạp chí Toán học tuổi trẻ
[3]. Vũ Thế Khôi, Định lý Không điểm Tổ Hợp, Tạp chí Pi Tập 1 số 1.
[4]. Trần Minh Hiền, Định lý Cauchy – Davenport và ứng dụng, Tạp chí Epsilon số 10.
[5]. Andrei Frimu, Marcel Teleuca, Applications of Combinatorial Nullstellensataz, Gazeta Matematica