Terkait dengan ibadah haji, ada fakta "matematis" menakjubkan terkait dengan aktifitas tawaf  yang dalam ritualnya berupa kegiatan mengelilingi Kabah sebanyak 7 (tujuh) kali tersebut. Ternyata, rumus matematika keliling lingkaran yang selama ini kita kenal sangat berkaitan dengan aktifitas tawaf, dimana tawwaf dimaknai sebagai keliling atau diformulasikan sebagai Keliling (K) = Tawaf  (T).
Dalam ilmu matematika yang umum kita kenal, lingkaran merupakan himpunan titik pada sebuah bidang datar yang mempunyai jarak sama jika dihitung dari titik pusat atau porosnya. Rumus keliling lingkaran/tawaf yang kita kenal adalah 2 x π x r. Dimana nilai π adalah 22/7 dan r adalah jari-jari. Jika rumus diatas dioperasikan (dikalikan) maka akan menghasilkan formulasi  2r x 22/7 . Dimana 2r adalah diameter (d) atau 2r = d. Berikut formulasi lengkapnya,
K/T (Keliling/Tawaf) = 2 x π x r atau  K/T = 2  x 22/7 x r
K/T = 2r x 22/7Â
K/T =Â d x 22/7Â
Dari sini rumus kita operasikan dengan mengalikan silang sehingga akan menghasilkan turunan rumus sebagai berikut:
22d = 7 K/T
Tahukah anda, filosofi dari rumus turunan diatas identik dengan Alquran dan tawaf? Elemen rumus di ruas kiri 22d, merujuk pada surah Al-Hajj (haji) yang dalam Al-Qur'an posisinya berada di urutan ke-22 (duapuluh dua), sedangkan elemen rumus di ruas kanan 7 K/T, merujuk pada rukun tawaf yang jumlahnya harus 7 kali keliling atau secara lugas bisa dimaknai sebagai "Dalam ibadah haji (Q.S ke-22) terdapat rukun 7 kali Thawaf. Masha Allah! Wallahu a’lam bish-shawabi
Menghitung Total Langkah, Waku dan Jarak Tempuh untuk Menyempurnakan TawafÂ
Dari rumus keliling lingkaran diatas, kita juga bisa menghitung jarak tempuh dan juga jumlah seluruh langkah kaki jamaah untuk menyempurnakan prosesi Sa'i. Bahkan jika diketahui kecepatan stabilnya, waktu tempuhnyapun juga bisa diketahui.
Misalnya, jika jamaah melakukan tawaf di lantai dua Masjidil Haram yang rata-rata jaraknya ke titik Kabah sekitar 100 meter, maka jarak tempuh yang dilalui jamaah untuk mengelilingi ka'bah adalah 7 x rumus keliling lingkaran, yakniÂ
= 7 x (2 x π x r)
= 7 x (2 x 22/7 x 100)