Now, let the A-excircle of triangle ABC have the center and touch the side BC at a point X. Then,, and . But, being the A-excenter of triangle ABC, the point lies on the external angle bisector of the angle ABC, and thus . Hence, in the right-angled triangle, we have . Similarly, . Thus, . Hence, is equivalent to .
Ngayon, sabihin ng A-excircle ng tatsulok ABC ang sentro at hawakan sa gilid BC sa isang punto X. Pagkatapos,, At . Ngunit, ang pagiging A-excenter ng tatsulok ABC, ang point kasinungalingan sa panlabas na panggitnang guhit anggulo ng anggulo ABC, at sa gayon ay . Kaya, sa taluhaba tatsulok, Kami ay may . Katulad nito, . Sa gayon, . Samakatuwid, ay katumbas ng .