底边正好是两段切线长之和。
设内切圆在ABABAB上的切点为TTT。由AAA、BBB处的直角三角形得AT=rcotA2AT=r\cot\frac A2AT=rcot2A、BT=rcotB2BT=r\cot\frac B2BT=rcot2B,相加即得所示公式。