现有硬币壹角、伍角和壹元三种,使用反证法证明四枚硬币中至少有两枚硬币的面值相