直角三角形 ABC 中,$\angle C=90^{\circ}$,
內心 I 切三角形三邊於 P,Q,R,
設三邊長 $\overline{BC}=a$ , $\overline{CA}=b$ , $\overline{AB}=c$,
內心到三頂點距離 $\overline{IA}=x$ , $\overline{IB}=y$ , $\overline{IC}=z$,
內切圓半徑 $=\overline{CQ}=\overline{CR}=r$ ,求證:
$\overline{IA}\times\overline{IB}\times\overline{IC}=xyz=2cr^2$