આ પ્રમેય વિશે પ્રથમ માહિતી નાસિર અલ-દીન અલ-તુસી ના ગાણિતિક કાર્ય, તેરમી સદી પાછા ડેટિંગ માળખામાં તે પુરાવા સ્વરૂપ મળી આવ્યા હતા.