在网上搜索时，我遇到了以下公式，用于在给定源点P1 =（lat1，long1），距其的距离和方位的情况下计算目标点P2的GPS位置：
lat2 = math.asin（math.sin（lat1）* math.cos（d / R）+ math.cos（lat1）* math.sin（d / R）* math.cos（brng））
lon2 = lon1 + math.atan2（math.sin（brng）* math.sin（d / R）* math.cos（lat1），math.cos（d / R）-math.sin（lat1）* math.sin（lat2））
其中P2 =（lat2，lon2）。
我试图发展其背后的数学原理，但并不能真正正确地理解它
有人可以告诉我如何在数学上开发lat2和lon2吗？
tnx