การเรียกร้อง #hat (AB) # ความยาวครึ่งวงกลมด้วยรัศมี # R #, #hat (AC) # ความยาวครึ่งวงกลมของรัศมี # r_1 # และ #hat (CB) # ความยาวครึ่งวงกลมด้วยรัศมี # r_2 #
เรารู้ว่า
#hat (AB) = lambda r #, #hat (AC) = lambda r_1 # และ #hat (CB) = lambda r_2 # แล้วก็
#hat (AB) / r = หมวก (AC) / r_1 = หมวก (CB) / r_2 # แต่
#hat (AB) / r = (หมวก (AC) + หมวก (CB)) / (r_1 + r_2) = (หมวก (AC) + หมวก (CB)) / r #
เพราะ … ถ้า
# n_1 / n_2 = m_1 / m_2 = lambda # แล้วก็
#lambda = (n_1pmm_1) / (n_2pmm_2) = (lambda n_2pm lambda m_2) / (n_2pmm_2) = lambda #
ดังนั้น
#hat (AB) = หมวก (AC) + หมวก (CB) #