证明:假设存在这样一个K,满足条件,则y=4/x,y=kx解方程组得A,B两点坐标为(2倍根号4/k,2倍根号4k),(-2倍根号4/k,-2倍根号4k),用3个坐标算出AB BC AB.
解方程AB²+BC²=AB²,得k=1,得证.