命题A:黎曼假设为真。
命题B:命题C为假。
命题C:命题A与命题B中至少有一个为真。
先证明一个引理:
引理1:命题C为真。
证明:假设命题C为假,则其否命题“命题A与命题B均为假”为真,推得命题B为假。然后命题B的否命题“命题C为真”为真,推出矛盾。
然后正式开始证明:
使用反证法。假设命题A为假,则由引理1,命题B为真,推得命题C为假,矛盾。易证,命题A与命题C为真,命题B为假是唯一不存在矛盾的情况,故命题A为真,即黎曼假设为真。
Q.E.D
命题B:命题C为假。
命题C:命题A与命题B中至少有一个为真。
先证明一个引理:
引理1:命题C为真。
证明:假设命题C为假,则其否命题“命题A与命题B均为假”为真,推得命题B为假。然后命题B的否命题“命题C为真”为真,推出矛盾。
然后正式开始证明:
使用反证法。假设命题A为假,则由引理1,命题B为真,推得命题C为假,矛盾。易证,命题A与命题C为真,命题B为假是唯一不存在矛盾的情况,故命题A为真,即黎曼假设为真。
Q.E.D