过点C作x轴的垂线，垂足为E；作y轴的垂线，垂足为F则：OF=CE=y1；OE=x1=k/y1那么在Rt△COE中：斜边OC＞CE=y1根据三角形两边之和大于第三边有：CE+OE＞OC即，y1+(k/y1)＞OC所以，y1＜OC＜y1+(k/y1)后面一个同理可证！
