Lưu Huy
Tên theo chữ viết gốc: 劉徽
Nhà toán học Trung Hoa thời Tào Ngụy, tác giả bản chú giải năm 263 CN cho Cửu chương toán thuật, biến một cuốn cẩm nang công thức tính toán thành một văn bản có luận chứng lô-gic, trong đó có chứng minh định lý Pythagoras (câu-cổ) bằng phép chia hình và một phương pháp đa giác cho số pi chính xác tới bốn chữ số thập phân.
Rất ít điều được ghi chép về cuộc đời riêng của Lưu Huy; ông được cho là hậu duệ của Hầu tước Tử Hương thời Đông Hán và đã sống, làm việc tại nước Tào Ngụy trong thời Tam Quốc của Trung Hoa, trên vùng đất nay thuộc Trung Quốc. Không có năm sinh hay năm mất nào được xác minh trong các nguồn tham khảo cho trang này, nên chỉ có sự kiện trước tác được ghi chép rõ nhất của ông được ghi niên đại ở đây.
Năm 263 CN, Lưu Huy hoàn thành bản chú giải cho Cửu chương toán thuật (Jiuzhang Suanshu), bộ sưu tập bài toán và quy trình tính toán kinh điển đã phục vụ toán học Trung Hoa suốt nhiều thế kỷ, giữ vai trò tương tự Elements của Euclid trong thế giới Hy Lạp. Trong khi bản Cửu chương gốc chỉ đưa ra thuật toán mà không giải thích, Lưu Huy bổ sung các chứng minh: ông đưa ra chứng minh bằng phép chia hình cho định lý câu-cổ (tam giác vuông) tương đương định lý Pythagoras, làm rõ cơ sở lô-gic của phương pháp mảng để giải hệ phương trình tuyến tính (tiền thân của phép khử Gauss) kể cả cách dùng que tính dương và âm, và nghiên cứu thể tích của hình chóp, hình nêm và các khối khác bằng cách cắt chúng thành những mảnh đơn giản hơn — một cách tiếp cận cùng tinh thần với nguyên lý Cavalieri sau này.
Kỹ thuật nổi tiếng nhất của Lưu Huy là thuật toán chia đôi đường tròn để tính số pi: bằng cách liên tục tăng gấp đôi số cạnh của đa giác nội tiếp đường tròn, bắt đầu từ lục giác và đạt tới đa giác 3072 cạnh, ông thu được giá trị gần đúng pi ≈ 3,1416, chính xác tới bốn chữ số thập phân, cùng một lập luận rõ ràng vì sao phương pháp hội tụ. Hải đảo toán kinh (Haidao Suanjing), tác phẩm thường được quy cho ông và về sau lưu hành riêng, dùng phương pháp tam giác đồng dạng để đo chiều cao và khoảng cách của các vật thể khó tiếp cận như núi và đảo.
Nơi làm việc: Nước Tào Ngụy, thời Tam Quốc, Trung Hoa
Trung Quốc