求证根6加根7大于2倍根2加根5,