Ta có: `ΔABC` vuông tại `A` ( $\widehat{A}$ `=` `90^o` )
`⇒` $\widehat{C}$ $<$ $\widehat{A}$
`⇒` $\widehat{CKB}$ $>$ $\widehat{A}$ ( tính chất )
`⇒` $\widehat{CKB}$ $>$ $\widehat{C}$
`⇒` $BC>BK$ ( tính chất )
Áp dụng định lý Pitago ta có:
`BK^2 = BA^2 + AK^2`
`⇒` $AB<BK$
Mà $BC>BK$ `(cmt)`
`⇒` $BC>BK>AB$