延长KP交圆于Q。易证KIC相似KBI，KI*KI=KC*KB=KP*KQ，三角形KIP相似于KQI，角QIK=90度，A I Q共线。角CPK=QBC=QAC=1/2角A,角IPC=90-1/2A, 角IPB=180-A-IPC=90-1/2A.
【 在 vergine 的大作中提到: 】
: https://static.mysmth.net/nForum/att/XiTiYanJiu/3312/230/large "单击此查看原图"](https://static.mysmth.net/nForum/att/XiTiYanJiu/3312/230)  
: --  
:

发自「今日水木 on iPhone 13 Pro」
--
修改:hound FROM 61.152.216.52
FROM 114.93.171.213