共回答了22个问题采纳率:95.5%

命题1:对任意R中元素c都有 c*0=0.——定义为性质(9)

证明:

对任意R中元素c都有 c*(0+0)=c*0+c*0,——性质(8)

但是0+0=0,——性质(3)

所以 c*0=c*0+c*0.

设c*0=d∈R,那么有 d=d+d.

由(4),d+(-d)=d+d+(-d),左端=0(由(4)),右端=d+0(由(2)和(4)),所以

0=d+0=d,也即c*0=0.

命题2:对任意R中元素c都有 c*(-1)=-c.——定义为性质(10)

证明:

c+c*(-1)

=c*1+c*(-1)——性质(7)

=c*(1+(-1))——性质(8)

=c*0——性质(4)

=0——性质(9)

因此 c*(-1)=-c.——性质(4)

对任意R中元素a,b都有-b+a∈R,于是(-b+a)*0=0

0 = (-b+a)*0 ——性质(9)

= (-b+a)*(1+(-1))——性质(4)

= (-b+a)*1+(-b+a)*(-1)——性质(8)

= 1*(-b+a)+(-1)*(-b+a)——性质(5)

= 1*(-b)+1*a+(-1)*(-b)+(-1)*a——性质(8)

= (-b)*1+a*1+(-b)*(-1)+a*(-1)——性质(5)

= -b+a+b+(-a)

上面等式最左端和最右端同时左加b,得到

b = b+(-b)+a+b+(-a)

= 0+a+b+(-a)——性质(2)(4)

= a+b+(-a)——性质(3)

上面等式最左端和最右端同时右加a,得到

b+a = a+b+(-a)+a

= a+b+0 ——性质(2)(4)

=a+b ——性质(3)

因此结论成立.

1年前

7

c语言证明加法交换律,与环定义相关的问题证明交换环定义为:集合R上定义加法和乘法,使得R中任何元素满足:(1)加法交换律 (2)加法结合律(3...相关推荐

  1. joseph环c语言课程设计,Joseph环课程设计.doc

    Joseph环课程设计 目 录 1.需求分析说明 1.Joseph环的总体功能要求 2. 各功能模块的功能描述 3. 需要测试的数据 2.概要设计说明 1. 程序流程图 2. 模块调用图 3.详细设计 ...

  2. 数据结构源码笔记(C语言):B树的相关运算算法

    //B树的相关运算算法#include<stdio.h> #include<malloc.h>#define MAXM 10//定义B树最大的阶数 typedef int Ke ...

  3. C语言基础知识之基本数据类型相关的总结

    上次我总结到C语言的词法符号时提及过C语言的32个关键字,但并未详细介绍过现在我就来详细的介绍下32个关键字的一部分.在介绍关键词之前我们要明确这32个关键词在C语言中的地位,可以这样形容吧,这32个 ...

  4. Algorithm:C++语言实现之贪心法算法相关问题

    Algorithm:C++语言实现之贪心法算法相关问题 目录 一.贪心法 一.贪心法 1.LIS的算法分析

  5. Algorithm:C++语言实现之内排序、外排序相关算法(插入排序 、锦标赛排序、归并排序)

    Algorithm:C++语言实现之内排序.外排序相关算法(插入排序 .锦标赛排序.归并排序) 目录 一.内排序 1.插入排序 2.锦标赛排序 3.归并排序 二.外排序 1.过程 一.内排序 1.插入 ...

  6. c语言函数调用参数调用的太少,浅谈C语言函数调用参数压栈的相关问题

    参数入栈的顺序 以前在面试中被人问到这样的问题,函数调用的时候,参数入栈的顺序是从左向右,还是从右向左.参数的入栈顺序主要看调用方式,一般来说,__cdecl 和__stdcall 都是参数从右到左入 ...

  7. 65 SD配置-交货凭证配置-定义相关项目类别的拣配相关

    业务背景:定义相关项目类别的拣配相关 事务码:0184 SPRO路径:SPRO->后勤执行->装运->拣配->定义相关项目类别 第1步,SPRO进入 第2步,输入参数并保存 配 ...

  8. 刁肥宅手笔:纯C语言实现链式队列的相关操作

    先上图,以图服人: 图一 程序运行截图1 图二 程序运行截图2 上代码: 头文件LinkQueue.h: /*LinkQueue.h*/#ifndef LINKQUEUE_H_INCLUDED #de ...

  9. 两个向量叉乘(定义是类似多项式相乘再求和)和点乘(定义是对应位置的坐标相乘再求和)的定义和证明,以及和四元数乘法的联系和区别

    向量叉乘: 两个向量的坐标量积又叫做向量积,用于计算法向量. 游戏内应用: 用于判断物体在自身的左右方位. 还有应用于图形学里,对环境光照于自身顶点或者片元的法向量的夹角来判断光漫反射的强弱. 用于相 ...

最新文章

  1. SpringMVC注解驱动标签做了什么操作
  2. python多继承顺序_Python多继承以及MRO顺序的使用
  3. android获取3g或wifi流量信息,Android代碼----android獲取3G或wifi流量信息
  4. SharePoint 2007有性能问题? 先试试这篇.
  5. (秒杀项目) 4.2 用户登录和注册
  6. c语言打印100以内质数,C语言 · 打印1~100间的质数(素数)
  7. 3097-小鑫爱数学
  8. Python爬虫入门4:使用IE浏览器获取网站访问的http信息
  9. 男人必备!泡妞全攻略
  10. IP数据报首部的格式identification
  11. Python爬虫数据存储不同格式在excel表中通用代码
  12. Windows DNS服务器策略
  13. 【嵌入式】STM32实现SPI双机通信的一些细节(2)片选总结
  14. OPENWRT 插件单独编译-无需编译整个固件
  15. .Net、C# 汉字转拼音,简体繁体转换方法
  16. 学计算机的心理300字,心理作文300字10篇
  17. shouldoverrideurlloading为什么有时候不走_心理学:为什么很多看似不般配的人,往往都能走到最后?...
  18. import和form ... import
  19. 互联网程序员行话(黑话)--------哈哈
  20. 04-什么是阶梯式加压测试?

热门文章

  1. python agg函数_个人对Pandas中agg、apply和transform函数的理解
  2. 【福慧双修-这是不是最短路?】
  3. 关于ARM的一些笔记
  4. 用计算机的笔来画来画画说课稿,电脑画画教案设计
  5. Ubuntu中彻底卸载Docker
  6. 前端HTML5视频_Less-张晓飞-专题视频课程
  7. linux查看.so导出函数
  8. 解读华为云GaussDB(for Influx):数据直方图
  9. sv中program和module区别
  10. Angular2 网站 SEO 攻略