Công cụ này làm gì
Công cụ này tính hằng số toán học pi bằng một trong bốn đẳng thức arctang kiểu Machin với ba số hạng kinh điển. Mỗi đẳng thức biểu diễn pi/4 thành tổng có trọng số của ba số hạng arctang dạng \(a \cdot \arctan(1/b)\), trong đó mọi hệ số đều là số nguyên chính xác. Vì mỗi đối số \(1/b\) đều nhỏ nên arctang được tính hiệu quả bằng chuỗi lũy thừa Gregory (Maclaurin). Đây là toán học thuần túy, áp dụng được ở khắp mọi nơi mà không phụ thuộc vào bất kỳ giả định vùng miền nào.
Cách sử dụng
Chọn một công thức từ danh sách: Klingenstierna (1730), Strassnitzky (1844), Gauss (1863) hoặc Stormer (1896). Sau đó chọn số chữ số mong muốn về độ chính xác. Cả bốn công thức đều hội tụ về cùng một giá trị của pi; chúng chỉ khác nhau ở tốc độ ổn định của chuỗi arctang. Các công thức có mẫu số lớn (chẳng hạn 239 và 515) hội tụ nhanh hơn so với các mẫu số nhỏ của Strassnitzky. Lưu ý rằng bản dựng này dùng số dấu phẩy động độ chính xác kép (double), nên độ chính xác hiển thị bị giới hạn ở khoảng 15-16 chữ số có nghĩa, bất kể bạn yêu cầu bao nhiêu chữ số.
Giải thích công thức
Với các hệ số đã chọn, máy tính tính mỗi số hạng theo term_i = a_i * atanSeries(1/b_i), trong đó atanSeries(x) = x - x^3/3 + x^5/5 - x^7/7 + .... Đầy đủ hơn:
Chuỗi được cộng dồn cho đến khi số hạng tiếp theo nhỏ hơn ngưỡng dung sai (khoảng 10 mũ âm bằng số chữ số cộng thêm hai). Cuối cùng pi = 4 \times (term1 + term2 + term3). Hệ số âm chỉ đơn giản là trừ đi số hạng arctang tương ứng, và dấu được giữ nguyên chính xác như trong bảng.
Ví dụ minh họa
Sử dụng đẳng thức của Strassnitzky: \(\arctan(1/2) = 0.4636476090008061\), \(\arctan(1/5) = 0.1973955598498807\), \(\arctan(1/8) = 0.1243549945467614\). Tổng của chúng là \(0.7853981633974482\), nhân bốn cho ra \(4 \times 0.7853981633974482 = 3.141592653589793\), đúng bằng pi ở độ chính xác kép đầy đủ.
Câu hỏi thường gặp
Tại sao dùng đẳng thức arctang thay vì một chuỗi đơn giản hơn? Chuỗi Leibniz cơ bản cho pi/4 hội tụ cực kỳ chậm. Việc tách pi/4 thành các arctang của những đối số nhỏ giúp mỗi chuỗi hội tụ nhanh hơn rất nhiều.
Tại sao tôi không lấy được 50 chữ số chính xác? Phép tính độ chính xác kép tiêu chuẩn chỉ giữ được khoảng 15-16 chữ số thập phân có nghĩa. Một bản dựng thực sự có độ chính xác tùy ý sẽ phải dùng số học BigDecimal để đạt tới các mục tiêu lớn hơn.
Cả bốn công thức có cho ra cùng một kết quả không? Có. Chúng là những đẳng thức tương đương về mặt toán học cho pi; chỉ khác nhau ở tốc độ hội tụ.