Để tính được độ dài AB, ta sử dụng định lý Pitago trong tam giác vuông OMA:

OM^2 = OA^2 + AM^2
8^2 = OA^2 + (R - AB)^2
64 = OA^2 + (4 - AB)^2
64 = OA^2 + 16 - 8AB + AB^2
0 = OA^2 + AB^2 - 8AB - 48

Ta cũng có thể sử dụng định lý Pitago trong tam giác vuông OMB:

OM^2 = OB^2 + BM^2
8^2 = OB^2 + (R - AB)^2
64 = OB^2 + (4 - AB)^2
64 = OB^2 + 16 - 8AB + AB^2
0 = OB^2 + AB^2 - 8AB - 48

Từ hai phương trình trên, ta có hệ phương trình:

OA^2 + AB^2 - 8AB - 48 = 0
OB^2 + AB^2 - 8AB - 48 = 0

Giải hệ phương trình này, ta sẽ tìm được giá trị của AB.