Perhitungan waktu

Berikut merupakan contoh dari penghitungan awal waktu Salat Asar di wilayah DKI Jakarta pada tanggal 31 Januari 2020 dengan data diketahui adalah

• lintang (φ) = -6,167 (6°10' LS)
• bujur (λ) = 106,833 (106°50')
• zona waktu (Z) = UTC+7 (WIB)
• deklinasi matahari (δ) = -18,5341 atau -18°32'02,76"^[a]
• perata waktu (Δt) = 0,225362 atau 0°13'31,30"^[a]
• waktu zenit atau transit matahari (${\displaystyle T_{\mathsf {Zenit}}}$) = 12,103162 atau 12°06'11,38"^[a]
• waktu ihtiyat (WI) = 2 menit
• perhitungan awal waktu Asar berdasarkan kesepakatan ulama mazhab Syafi'i yakni panjang bayangan benda sama dengan tinggi benda sebenarnya.

Data-data tersebut kemudian digunakan untuk menghitung awal waktu Salat Asar. Namun sebelum menghitung awal waktu Asar, perlu diketahui waktu ketika posisi matahari dapat membentuk panjang bayangan benda sama dengan tinggi benda sebenarnya dengan menggunakan rumus perhitungan berikut:^[7]

${\displaystyle A(n)={1 \over 15}\arccos \left({\sin({\mbox{arccot}}(n+\tan |(\delta -\phi )|))-(\sin(\phi )\times \sin(\delta )) \over \cos(\phi )\times \cos(\delta )}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({\sin({\mbox{arccot}}(1+\tan |(-18.5341-(-6.167))|))-(\sin(-6.167)\times \sin(-18.5341)) \over \cos(-6.167)\times \cos(-18.5341)}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({\sin({\mbox{arccot}}(1+\tan(12.3671)))-((-0.1074)\times (-0.317869)) \over 0.9942\times 0.948135}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({\sin({\mbox{arccot}}(1+0.219262))-(0.034139) \over 0.942636}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({\sin({\mbox{arccot}}(1.219262))-(0.034139) \over 0.942636}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({\sin(39.349131))-(0.034588) \over 0.942636}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({(0.634044)-(0.034588) \over 0.942636}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos \left({0.599456 \over 0.942636}\right)}$

${\displaystyle A(1)={1 \over 15}\arccos(0.635936)}$

${\displaystyle A(1)={1 \over 15}\times 50.510560=3.367370}$ yang bila dikonversi ke derajat, menit, dan detik menghasilkan 3°22'02,53".

Dengan hasil tersebut, maka awal waktu Salat Asar dapat dihitung seperti

${\displaystyle T_{\mathsf {Asar}}=T_{\mathsf {Zenit}}+T(A(1))}$

${\displaystyle T_{\mathsf {Asar}}=12.103162+3.367370}$

${\displaystyle T_{\mathsf {Asar}}=15.470532}$ yang bila dikonversikan ke derajat, menit, dan detik menghasilkan 15°28'13,92".

Setelah memperoleh hasil perhitungan tersebut, waktu ihtiyat sebanyak 2 menit (0°02'00") ditambahkan guna kehati-hatian. Oleh karenanya, diperoleh hasil akhir yaitu 15°30'13,92" yang dibulatkan menjadi 15.30. Dengan demikian, dapat disimpulkan bahwa awal waktu Salat Asar di DKI Jakarta pada tanggal 31 Januari 2020 adalah pukul 15.30 WIB. ^[b]