用反证法证明：已知x，y∈R，且x+y＞2，则x，y中至少有一个大于1．
证明：用反证法，
假设x，y均不大于1，即x≤1且y≤1，
则x+y≤2，这与已知条件x+y＞2矛盾，
∴x，y中至少有一个大于1，
即原命题得证．
京沪高速铁路于2008年4月18日开工，总长1318公里，是中国建设里程最长、投资最大、标准最高的高速铁路，计划于2011年6月通车。
