• 2022-06-01
    设[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]是正的素数,证明[tex=1.429x1.429]HYNAWZ/BC45wqayq4GRWUQ==[/tex]是无理数.
  • 证:设[tex=5.0x2.143]Kk7tnkGVIqNBhFzKWyZ/bLmF8s7uPtpaLJr6dGZ1gt+lm0obkzGvE51ObNz7JD71[/tex]为互素自然数,则[tex=6.286x2.5]V8opepfzKb3Vxe2W7Kxeez+nMUS9dXD065xPerwGcq5NIOJUH1nR6qMY51uzfSSrBYyPBqjNzCNEMWA8HxYukw==[/tex],素数[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]除尽[tex=0.929x1.214]gs04IHm+U6VHste2AjCsqw==[/tex],故[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]除尽[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex],[tex=10.071x1.429]6QLTsJoRP3pd4aIyweexZLz1CFKnVqNJtWVtJfbyFOHJAh6vnipLFmAbca2y+o0iqi/oyMivqzTfYjxRy4vgXQ==[/tex].类似得[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]除尽[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex].此与[tex=1.429x1.214]HCTRLtzxkeBZo1HKwKR3/g==[/tex]为互素自然数矛盾.

    内容

    • 0

      将下面论述符号化,并求所得复合命题的真值.[br][/br]      若 [tex=0.571x0.786]l57IXZOdm4C+U7oqJ3rVIQ==[/tex] 是无理数,则自然对数的底[tex=0.5x0.786]X0W0/ANSf45taW8iXDx3lw==[/tex] 也是无里数.只有 3 是偶数. 4 才是素数. [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex] 是无理数,仅当 [tex=1.429x1.429]cHqUU7bA2VbR0Azx4mfgRA==[/tex] 不是无理数. [tex=1.429x1.429]cHqUU7bA2VbR0Azx4mfgRA==[/tex] 是无理数.

    • 1

      证明[tex=1.429x1.429]Quj2jCsGbAgCIZI9kP93BQ==[/tex]是无理数.

    • 2

      将下面论述符号化,并求所得复合命题的真值:若[tex=0.571x0.786]N02a8LR+X7uadF7bDYMkPA==[/tex]是无理数,自然对数的底e也是无理数,只有3是偶数,4才是素数,[tex=1.429x1.429]Ejd1tpeaPlD+htjrZ7aKSQ==[/tex]是无理数,仅当[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]不是无理数,[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]是无理数.

    • 3

      利用费马小定理证明如果[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]是素数且[tex=2.429x1.357]P+bpUjVs1teTMyLLW3uuMotk2wBeNSTFKz/RJkjO68w=[/tex],则[tex=1.857x1.214]kxvQWSkoiS1kNi+1UDe4Yg==[/tex]是[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]模[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]的逆。

    • 4

      证明如果[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]是奇素数且[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]为不能被[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]整除的整数,则[tex=8.429x2.786]fLg8cKdIBgiV3qPWKexdVBKc/zR0b+ZKRQlOdAc2Cw4NaEIDGcxyxiMX7nF36XKVd9k7exx8mVqMl5QY3DlTN5lU8FgDVHAwL37/EwRjz8o=[/tex]