AB 上の K' と AC 上の L' を AK′=AL′=ADAK'=AL'=ADAK′=AL′=AD となるように取る。K' を通る AB への垂線と AD の交点を X とする。直角三角形 AK'X と ADB は A の角が共通で AK′=ADAK'=ADAK′=AD だから合同である。従って ADB の内心は AK'X の内心でもある。