Tại sao chúng ta nên quan tâm đến việc một đa thức có thể giải được bằng căn thức?

Định lý Abel-Ruffini](https://en.m.wikipedia.org/wiki/Abel%E2%80%93Ruffini_theorem) nổi tiếng [phát biểu rằng các phương trình đa thức bậc 5 trở lên thường không thể giải được chỉ bằng các phép toán số học cơ bản và phép khai căn. Định lý này rõ ràng là một cột mốc quan trọng đối với toán học, mặc dù việc giới hạn ở phép khai căn luôn khiến tôi cảm thấy hơi kỳ lạ. Ví dụ, các đa thức bậc 5 có thể được giải nếu chúng ta cho phép mình sử dụng cả Bring Radical, tức là ánh xạ a -> PrincipalRoot(x5 + x + a)

Vậy tại sao chúng ta nên quan tâm đến việc một đa thức có thể giải được bằng căn thức hay không? Cứ thêm các hàm vào cho đến khi bạn có thể giải nó! Điều này đặt ra một câu hỏi, theo tôi, thú vị hơn nhiều (và có lẽ khó hơn nhiều): chúng ta cần thêm bao nhiêu hàm để có thể giải các đa thức bậc n? Và những hàm này trông như thế nào? Chúng có thể luôn có dạng nghịch đảo của một đa thức với 1 tham số tự do như căn thức thông thường hoặc Bring Radical không? Nếu có một số cấu trúc ở đó, thì vẫn có thể cung cấp các công thức nghiệm tổng quát cho các đa thức có bậc tùy ý.

Ít nhất, do sự phụ thuộc liên tục của các nghiệm vào các hệ số, một giới hạn trên có thể thu được bằng cách áp dụng biến thể Sprecher của Định lý Kolmogorov-Arnold-Representation cho hàm ánh xạ các hệ số của đa thức thành các nghiệm. Do đó, chúng ta biết cần thêm nhiều nhất 2n hàm đơn biến để giải một phương trình đa thức bậc n. Mặc dù giới hạn dưới là gì? Và nó tăng trưởng như thế nào theo tiệm cận với n? Có lý do để tin rằng nó sẽ tăng theo cấp số nhân, vì chúng ta thường có thể tái sử dụng các hàm: ví dụ, chúng ta không cần rõ ràng căn bậc 4 vì nó có thể được biểu diễn dưới dạng căn bậc hai lồng nhau.

Vậy bạn nghĩ sao? Bạn có biết bất kỳ nghiên cứu nào cố gắng giải quyết vấn đề này không? Trong mọi trường hợp, tôi cũng đã tạo một bài đăng MSE cách đây một thời gian.