Số lập phương

Trong số học, lập phương của một số n có nghĩa là nhân 3 lần giá trị của nó với nhau: n3 = n × n × n. Hay cũng có thể hiểu là lấy tích của nó với bình phương của nó: n3 = n × n2. Đây chính là công thức để tính thể tích cho một khối lập phương có chiều dài các cạnh là n. Lập phương là một hàm lẻ: (−n)3 = −(n3). Biểu đồ của hàm lập phương f: x → x3 (hoặc phương trình y = x3) được biết đến như là hình parabê hình khối. Bởi vì lập phương là một hàm số lẻ, đường cong này có một điểm đối xứng ở gốc, nhưng không có trục đối xứng. Lập phương của các số nguyên từ 0 đến 60 là:(dãy số A000578 trong bảng OEIS): Nói theo hình học, một số nguyên dương m là một số lập phương hoàn hảo nếu và chỉ khi nào có thể sắp xếp các khối hình khối rắn thành một khối rắn lớn hơn. Ví dụ, 27 khối nhỏ có thể được sắp xếp thành một khối lớn hơn với sự xuất hiện của một khối rubic lập phương, từ 3 × 3 × 3 = 27. Sự chênh lệch giữa lập phương của các số nguyên liên tiếp có thể được biểu diễn như sau: n3 − (n − 1)3 = 3(n − 1)n + 1. hoặc (n + 1)3 − n3 = 3(n + 1)n + 1. Không có số âm nào là số lập phương hoàn hảo, vì lập phương của một số âm là số âm. Ví dụ, (−4) × (−4) × (−4) = −64. Chữ số tận cùng của lập phương số có chữ số tận cùng là 0-9: 0 1 8 7 4 5 6 3 2 9 Tổng của lập phương n số đầu tiên bằng bình phương của tổng n số đầu tiên: 1 3 + 2 3 + ⋯ + n 3 = ( 1 + 2 + ⋯ + n ) 2 = ( n ( n + 1 ) 2 ) 2 = ( C n + 1 2 ) 2 {\displaystyle 1^{3}+2^{3}+\dots +n^{3}=(1+2+\dots +n)^{2}=\left({\frac {n(n+1)}{2}}\right)^{2}=(C_{n+1}^{2})^{2}} (1) Trong đó, C n + 1 2 {\displaystyle C_{n+1}^{2}} là tổ hợp chập 2 của n+1. Công thức của Charles Wheatstone (1854): n 3 = ( n 2 − n + 1 ) + ( n 2 − n + 1 + 2 ) + ( n 2 − n + 1 + 4 ) + ⋯ + ( n 2 + n − 1 ) ⏟ n  so le lien tiep . {\displaystyle n^{3}=\underbrace {\left(n^{2}-n+1\right)+\left(n^{2}-n+1+2\right)+\left(n^{2}-n+1+4\right)+\cdots +\left(n^{2}+n-1\right)} _{n{\text{ so le lien tiep}}}.} Để chứng minh công thức (1) chúng ta có thể dùng cách sau: ∑ k = 1 n k 3 = 1 + 8 + 27 + 64 + ⋯ + n 3 = 1 ⏟ 1 3 + 3 + 5 ⏟ 2 3 + 7 + 9 + 11 ⏟ 3 3 + 13 + 15 + 17 + 19 ⏟ 4 3 + ⋯ + ( n 2 − n + 1 ) + ⋯ + ( n 2 + n − 1 ) ⏟ n 3 = 1 ⏟ 1 2 + 3 ⏟ 2 2 + 5 ⏟ 3 2 + ⋯ + ( n 2 + n − 1 ) ⏟ ( n 2 + n 2 ) 2 = ( 1 + 2 + ⋯ + n ) 2 = ( ∑ k = 1 n k ) 2 . {\displaystyle {\begin{aligned}\sum _{k=1}^{n}k^{3}&=1+8+27+64+\cdots +n^{3}\\&=\underbrace {1} _{1^{3}}+\underbrace {3+5} _{2^{3}}+\underbrace {7+9+11} _{3^{3}}+\underbrace {13+15+17+19} _{4^{3}}+\cdots +\underbrace {\left(n^{2}-n+1\right)+\cdots +\left(n^{2}+n-1\right)} _{n^{3}}\\&=\underbrace {\underbrace {\underbrace {\underbrace {1} _{1^{2}}+3} _{2^{2}}+5} _{3^{2}}+\cdots +\left(n^{2}+n-1\right)} _{\left({\frac {n^{2}+n}{2}}\right)^{2}}\\&=(1+2+\cdots +n)^{2}\\&={\bigg (}\sum _{k=1}^{n}k{\bigg )}^{2}.\end{aligned}}} Tổng của n lập phương lẻ đầu tiên là số tam giác thứ 2n2 − 1: ∑ k = 1 n ( 2 k − 1 ) 3 = 2 n 4 − n 2 = C 2 n 2 2 {\displaystyle \sum _{k=1}^{n}(2k-1)^{3}=2n^{4}-n^{2}=C_{2n^{2}}^{2}} Trong đó, C 2 n 2 2 {\displaystyle C_{2n^{2}}^{2}} là tổ hợp chập 2 của 2n2. Mỗi số nguyên có thể viết thành tổng của chín (hoặc ít hơn) số lập phương nguyên dương. Giá trị chặn trên không thể giảm đi được bởi, ví dụ như 23 không thể viết thành tổng của ít hơn chín số lập phương: 23 = 23 + 23 + 13 + 13 + 13 + 13 + 13 + 13 + 13. Hiện tại đang có giả thuyết một số nguyên không đồng dư bằng ±4 modulo 9 có thể viết thành tổng của ba số lập phương vô hạn cách. Ví dụ, 6 = 2 3 + ( − 1 ) 3 + ( − 1 ) 3 {\displaystyle 6=2^{3}+(-1)^{3}+(-1)^{3}} . Các số nguyên đồng dư với ±4 modulo 9 không cần xét vì chúng không thể viết thành tổng của ba số lập phương. Số nguyên dương nhỏ nhất mà chưa tìm được tổng là 114. Vào tháng chín năm 2019, số nguyên dương nhỏ nhất đứng trước không tìm được tổng, số 42, thỏa mãn phương trình: 42 = ( − 80538738812075974 ) 3 + 80435758145817515 3 + 12602123297335631 3 . {\displaystyle 42=(-80538738812075974)^{3}+80435758145817515^{3}+12602123297335631^{3}.} Phương trình x3 + y3 = z3 không có nghiệm nguyên khác không (i.e. xyz ≠ 0). Thậm chí, nó còn không có nghiệm dạng số nguyên Eisenstein. Cả hai ý trên cũng đúng với phương trình x3 + y3 = 3z3. Cho hàm x ↦ x3: R → R. Chỉ có ba số bằng lập phương của chính mình: -1, 0, và 1. Nếu -1 <x <0 hoặc 1 <x, thì x3> x. Nếu x <-1 hoặc 0 <x <1, thì x3 <x. Tính chất nói trên cũng đúng với bất kỳ số mũ lẻ cao hơn (x5, x7,...) của số thực. Với những số phức, lập phương của một số thuần ảo là: i3 = −i. Các nhà toán học Lưỡng Hà đã tạo ra các viên nén hình nêm với các bàn để tính các khối lập phương và các khối lập phương theo thời kỳ Babylon (thế kỷ XX đến XVI TCN). Phương trình bậc ba được nhà toán học người Hy Lạp cổ là Diophantus biết đến. Anh hùng của Alexandria đã nghĩ ra một phương pháp tính toán cội nguồn của lập phương vào thế kỷ đầu tiên của Công Nguyên. Phương pháp giải phương trình bậc ba và phép khai căn bậc ba xuất hiện trong cửu chương toán thuật, công trình toán học Trung Quốc được biên soạn vào khoảng thế kỷ thứ II trước công nguyên, được Lưu Huy chú giải vào thế kỷ thứ III của Công nguyên. Nhà toán học người Ấn Độ, Aryabhata đã viết một lời giải thích về lập phương trong nghiên cứu của ông. Trong năm 2010 Alberto Zanoni đã tìm ra một thuật toán mới để tính toán lập phương của một số nguyên dài trong một phạm vi nhất định, nhanh hơn gấp đôi. ^ Huisman, Sander G. (27 Apr 2016). "Newer sums of three cubes". arΧiv:1604.07746 [math.NT].  ^ Hardy & Wright, Thm. 227 ^ Hardy & Wright, Thm. 232 ^ Cooke, Roger (ngày 8 tháng 11 năm 2012). The History of Mathematics. John Wiley & Sons. tr. 63. ISBN 978-1-118-46029-0. ^ Nemet-Nejat, Karen Rhea (1998). Daily Life in Ancient Mesopotamia. Greenwood Publishing Group. tr. 306. ISBN 978-0-313-29497-6. ^ Van der Waerden, Geometry and Algebra of Ancient Civilizations, chapter 4, Zurich 1983 ISBN 0-387-12159-5 ^ Smyly, J. Gilbart (1920). “Heron's Formula for Cube Root”. Hermathena. Trinity College Dublin. 19 (42): 64–67. JSTOR 23037103. ^ Crossley, John; W.-C. Lun, Anthony (1999). The Nine Chapters on the Mathematical Art: Companion and Commentary. Oxford University Press. tr. 176, 213. ISBN 978-0-19-853936-0. ^ http://www.springerlink.com/content/q1k57pr4853g1513/[liên kết hỏng]