上课用131 命题与证明

13.1--命题与证明-(共21张PPT)13.1--命题与证明-(共21张PPT)根据以前学过的图形的特性，试判断下列句子是否正确.1.如果两个角是对顶角,那么这两个角相等.2.两直线平行，同位角相等.3.同旁内角相等，两直线平行.4.平行四边形的四条边相等.5.直角都相等.温故知新根据以前学过的图形的特性，试判断下列句子是否正确.温故知新观察下面两个命题:(1)两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行；(2)两条直线被第三条直线所截，如果这两条直线平行，那么同位角相等.在这两个命题中，其中一个命题的条件和结论，与另一个命题的条件和结论有怎样的关系？请再举例说明两个具有这种关系的命题学习新知观察下面两个命题:在这两个命题中，其中一个命题的条件和结论，上课用131命题与证明上课用131命题与证明上课用131命题与证明

判断下列句子是否正确.(1)三角形的内角和是180度.(2)同位角相等.(3)同角的余角相等.(4)一个锐角与一个钝角的和是180度.

议一议判断下列句子是否正确.议一议证明：平行于同一条直线的两条直线平行。已知：如图所示，直线a，b，c，a∥c，b∥c.求证：a∥b.acb是真命题？假命题？例题讲解证明：平行于同一条直线的两条直线平行。已知：如图所示，直线a证明：如图所示，作直线d，分别与直线a，b，c相交.

∵a∥c(已知)，∴∠1=∠2(两直线平行，同位角相等).∵b∥c(已知)，∴∠2=∠3(两直线平行，同位角相等).∴∠1=∠3(等量代换).∴a∥b(同位角相等，两直线平行).即平行于同一条直线的两条直线平行.acbd321证明：如图所示，作直线d，分别与直线a，b，c相交.一般地，证明命题按如下步骤进行：(1)依据题意画图，将文字语言转换为符号(图形)语言；(2)根据图形写出已知、求证；(3)根据基本事实、已有定理等进行证明.一般地，证明命题按如下步骤进行：1.如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理。这两个定理叫做互逆定理，其中一个定理叫做另一个定理的逆定理.2.一个假命题的逆命题可以是真命题，甚至可以是定理.你能举出我们学过的一些互逆定理吗？1.如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理已知：如图所示，点O在直线AB上，OD，OE分别是∠AOC，∠BOC的平分线.求证：OD⊥OE.OBAEDC证明：∵OD平分∠AOC，OE平分∠BOC，∴∠COD=∠AOC，∠COE=∠BOC，∴∠COD+∠COE=(∠AOC+∠BOC)=×180°=90°，即∠DOE=90°，∴OD⊥OE.已知：如图所示，点O在直线AB上，OD，OE分别是∠AOC，课堂小结命题的组成每一个命题都是由条件和结论两部分组成的，条件是已知事项，结论是由已知事项推断出的事项.注意：对每一个讨论的命题，其条件和结论不一定只有一个.真命题、假命题、反例正确的命题称为真命题；错误的命题称为假命题；举一个例子，其具备命题的条件，而不具备命题的结论，这种例子称为反例.注意：要说明一个命题是假命题，通常举出反例来说明.课堂小结命题的组成每一个命题都是由条件和结论两部分组成的，条互逆命题与互逆定理一般来说，在两个命题中，如果第一个命题的条件是第二个命题的结论，而第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题。如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理，这两个定理叫做互逆定理，其中一个定理叫做另一个定理的逆定理.注意：任何一个命题都有逆命题，但任何一个定理不一定有逆定理.证明的一般步骤(1)画图；（2)写出已知、求证；(3)证明.注意：证明要做到有理有据.互逆命题与互逆定理一般来说，在两个命题中，如果第一个命题的条检测反馈1.下列命题的逆命题一定成立的是

(

)①对顶角相等；②同位角相等，两直线平行；③若a=b,则|a|=|b|；④若x=3,则x2-3x=0.A.①②③ B.①④ C.②④ D.②D解析:①对顶角相等,逆命题为:相等的角为对顶角,错误;②同位角相等,两直线平行,逆命题为:两直线平行,同位角相等,正确;③若a=b,则|a|=|b|,逆命题为:若|a|=|b|,则a=b,错误;④若x=3,则x2-3x=0,逆命题为:若x2-3x=0,则x=3,错误.故选D.检测反馈1.下列命题的逆命题一定成立的是 ()D解析:2.命题：①对顶角相等；②垂直于同一条直线的两直线平行；③相等的角是对顶角；④同位角相等.其中假命题有

(

)A.1个

B.2个

C.3个

D.4个C解析:对顶角相等,所以①为真命题;在同一平面内,垂直于同一条直线的两直线平行,所以②为假命题;相等的角不一定是对顶角,所以③为假命题;两直线平行,同位角相等,所以④为假命题.故选C.2.命题：①对顶角相等；②垂直于同一条直线的两直线平行；③相3.已知三条不同的直线a，b，c在同一平面内，下列四个命题：①如果a∥b，a⊥c，那么b⊥c；②如果b∥a，c∥a，那么b∥c；③如果b⊥a，c⊥a；那么b⊥c；④如果b⊥a，c⊥a，那么b∥c.其中真命题的是

.(填写所有真命题的序号)

①②④解析:分析所给命题是否为真命题,需要分析条件是否能推出结论,从而利用排除法得出答案.故填①②④.3.已知三条不同的直线a，b，c在同一平面内，下列四个命题：4.命题“如果n是整数,那么2n是偶数”的条件是，结论是

，这是

命题(填“真”或“假”).

n是整数2n是偶数真5.如图所示，直线AB和直线CD、直线BE和直线CF都被直线BC所截.在下面三个条件中，请你选择其中两个作为条件，剩下的一个作为结论，组成一个真命题并证明.①AB⊥BC，CD⊥BC，②BE∥CF，③∠1=∠2.解析:命题写成“如果…,那么…”的形式时,“如果”后面接的部分是条件,“那么”后面接的部分是结论.依此可写出命题“如果n是整数,那么2n是偶数”的条件和结论.根据偶数的定义可知该命题是真命题.4.命题“如果n是整数,那么2n是偶数”的条件是，结5.如图所示，直线AB和直线CD、直线BE和直线CF都被直线BC所截.在下面三个条件中，请你选择其中两个作为条件，剩下的一个作为结论，组成一个真命题并证明.①AB⊥BC，CD⊥BC，②BE∥CF，③∠1=∠2.AEBFCD125.如图所示，直线AB和直线CD、AEBFCD12解：(答案不唯一)已知：如图所示，AB⊥BC，CD⊥BC，BE∥CF.求证：∠1=∠2.证明：∵AB⊥BC，CD⊥BC，∴AB∥CD，∴∠ABC=∠DCB，又∵BE∥CF，∴∠EBC=∠FCB，∴∠ABC-∠EBC=∠DCB-∠FCB，∴∠1=∠2.AEBFCD12解：(答案不唯一)AEBFCD12上课用131命题与证明面向对象(OOD)基本概念抽象封装类对象面向对象(OOD)基本概念抽象22抽象所谓抽象就是舍弃被研究对象中个别的、非本质的、或与研究主题无关的次要特征，而抽取与研究有关的特征，形成对所研究对象正确的、简明扼要的认识。抽象所谓抽象就是舍弃被研究对象中个别的、非本质的、或与研究主23封装封装也称为信息隐藏，是指利用抽象数据类型将数据和基于数据的操作封装在一起，使其构成一个不可分割的独立实体，数据被保护在抽象数据的内部，尽可能隐藏内部细节，只保留一些外部接口使之与外部发生联系。封装封装也称为信息隐藏，是指利用抽象数据类型将数据和基于数据24对象客观世界是由一些具体的事物构成的，每个事物一般都有自己的一组静态特征和动态特征。把客观世界的这一事实映射到面向对象程序设计中，就把客观事物抽象成为了对象(object)。在面向对象程序设计中，对象具有如下特性：对象标识静态特征(属性)动态特征(方法)对象客观世界是由一些具体的事物构成的，每个事物一般都有自己的25类对象是对具体某个事物的抽象，而类则是对对象的抽象与归纳，即把具有相同特征的一组对象归纳成一类。分类所依据的原则就是抽象。类对象是对具体某个事物的抽象，而类则是对对象的抽象与归纳，即26JAVA中的类类是面向对象程序设计(OOD)的基础，是Java的核心和本质所在。在Java中，所有的语言元素都必须被封装在类中。Java程序是由一个个类定义组成的，编写Java程序的过程实际就是从现实世界中抽象出Java可实现的类并用合适的语句定义它们的过程，这个定义过程包括对类内各种属性和方法的定义，创建类的对象，也包括类间的各种关系和接口的定义。JAVA语言中的类实际包括两种：系统定义的类用户自己定义的类JAVA中的类类是面向对象程序设计(OOD)的基础，是Jav27系统定义的类JAVA系统定义好的类，根据实现的功能的不同，划分为不同的集合—包，所有的包合称为类库。要在程序中使用某个系统类，必须使用import语句引入该类所在的包。如：importjava.awt.*;importjava.applet.*;系统定义的类JAVA系统定义好的类，根据实现的功能的不同，划28用户自定义的类系统定义的类主要是实现一些常用的基本功能，但是一些具体的问题还是需要用户通过编写自己的类来解决。因此，JAVA程序设计的过程实际就是用户把客观世界的问题定义为自己的类来解决的过程。用户自定义的类系统定义的类主要是实现一些常用的基本功能，但是29定义一个简单的类一个简单的类peopleclasspeople{ Stringgender;floatheight; floatweight;}注意：类声明只是创建一个模板(或类型描述)，它并不会创建一个实际的对象，因此，上述代码不会生成任何people类型的对象实体。定义一个简单的类一个简单的类people30创建对象用前面定义的people类创建一个对象lilyJAVA中使用new关键字创建对象，对象的创建可以使用以下两种方式：peoplelily;lily=newpeople();peoplelily=newpeople();以上语句执行后，lily就是people的一个对象(实例)；它将具有“存储意义上”的真实性。创建对象用前面定义的people类创建一个对象lily31对象的初始化所谓对象的初始化就是为这个对象的数据成员赋初值。lily.gender=“girl”;lily.height=1.6f;lily.weight=45.0f;对象的初始化所谓对象的初始化就是为这个对象的数据成员赋初值。32使用对象当一个对象被创立后，这个对象就拥有了自己的数据成员和方法，我们可以通过引用对象的数据成员来使用对象。以前面创建的对象lily为例：System.out.println(“lilyisa：”+llily.gender);System.out.println(“lily身高：”+llily.heght+“m”);System.out.println(“lily体重：”+llily.weight+“kg”);使用对象当一个对象被创立后，这个对象就拥有了自己的数据成员和33使用对象对象的数据成员、对象的方法的引用方式如下：对象名.成员名

如:lily.height;对象名.方法名(参数表)

如:lily.run();使用对象对象的数据成员、对象的方法的引用方式如下：对象名.成34类的定义类的基本定义方法如下：

[修饰符]class类名[extends父类][implements接口名]{类成员变量声明类方法声明}类的定义类的基本定义方法如下：[修饰符]class类名351、关于类头—classclass关键字，在它的后面跟新定义的类的类名。父类名跟在extends关键字后面，用来说明当前类是哪个已经存在类的子类，存在继承关系—继承是类与类之间的一种非常重要的关系。1、关于类头—classclass关键字，在它的后面跟新定义361、关于类头—类的修饰符类的修饰符用于定义对该类的访问级别，通常有public、final、abstract等。1、关于类头—类的修饰符类的修饰符用于定义对该类的访问级别，371、关于类头—接口名接口名跟在implements关键字后面，用来说明当前类中实现了哪个接口定义的功能和方法。接口是Java语言用来实现多重继承的一种特殊机制，我们将在后面详细介绍它的使用方法。1、关于类头—接口名接口名跟在implements关键字后面382、关于类体类体的定义要包括类的具体内容，包括类的属性与方法。[修饰符]class类名[extends父类][implements接口名]{类成员变量声明类方法声明}2、关于类体类体的定义要包括类的具体内容，包括类的属性与方法39构造方法创建对象后，通常要为对象赋初值—即对象的初始化，为简化这一步操作，JAVA提供了一种特殊的方法—构造方法。构造方法创建对象后，通常要为对象赋初值—即对象的初始化，为简40构造方法实例classpeople{floatheight;floatweight;

people(floataheight,floataweight){height=aheight;weight=aweight;}}publicclasssample{publicstaticvoidmain(Stringargs[]){peoplelily=newpeople(1.60f,45.0f);System.out.println("lily'sheightis:"+lily.height+"m");System.out.println("lily'sweightis:"+lily.weight+"kg");}}构造方法实例classpeople41构造方法的特点构造方法的方法名与类名相同。不能对构造方法指定返回类型，系统指定了隐含返回类型。构造方法不能由编程人员显式地直接调用。在创建一个类的新对象的同时，系统会自动调用该类的构造方法为新对象初始化，构造方法总是和new运算符一起被调用。构造方法和普通方法一样，可以被重置—即一个类可以定义多个具有不同参数的构造方法。一个类可以不定义构造方法，但实际系统会为这个类定义一个缺省的构造方法，这个构造方法没有任何参数和语句。构造方法可以继承。构造方法的特点构造方法的方法名与类名相同。42构造方法的重置实例classpeople{floatheight;floatweight;Stringgender;

people(floataheight,floataweight){height=aheight;weight=aweight;}people(floataheight,floataweight,Stringagender){height=aheight;weight=aweight;gender=agender;}}publicclassgouzao{publicstaticvoidmain(Stringargs[]){peoplelily=newpeople(1.60f,45.0f);peoplejack=newpeople(1.70f,60.0f,"boy");System.out.println("lily'sheightis:"+lily.height+"m");System.out.println("lily'sweightis:"+lily.weight+"kg");System.out.println("jack'sheightis:"+jack.height+"m");System.out.println("jack'sweightis:"+jack.weight+"kg");System.out.println("jack'sweightisa"+jack.gender);}}构造方法的重置实例classpeople43构造方法的作用对象初始化引入更多的灵活度(变量赋值或更复杂的操作)构造方法的作用对象初始化44类的修饰符—访问控制缺省访问控制publicprotectedfinalabstract类的修饰符—访问控制缺省访问控制45类的修饰符—缺省访问控制缺省访问控制(无修饰符)，该类只能被同一个包中的类访问和引用，而不可以被其他包中的类使用，这种访问特性又称为包访问性。同样类内的变量和方法如果没有访问控制符来限定，也就具有包访问性。JAVA规定：同一个程序文件中的所有类属于一个包。类的修饰符—缺省访问控制缺省访问控制(无修饰符)，该类只能被46类的修饰符—publicpublic(公共的)，用public修饰的类称为公共类，公共类不但可以供它同一个包内的类使用，还可供其他包中的类使用。类的修饰符—publicpublic(公共的)，用publi47类的修饰符—protectedprotected(受保护的)，用protected修饰的类称为保护类，保护类的成员变量可以被三种类所引用：该类自身、与它在同一个包中的其它类、在其他包中的该类的子类。使用protected修饰符的主要作用是允许其他包中该类的子类来访问父类的特定属性。类的修饰符—protectedprotected(受保护的)48类的修饰符—finalfinal(最终的)，用final修饰的类称为最终类，最终类是不能被其他类继承的。例:finalclasssample{……}classs1extendssample//错误，sample为最终类，不能被继承。{……}×类的修饰符—finalfinal(最终的)，用final修饰49类的修饰符—abstractabstract(抽象的)，用abstract修饰的类称为抽象类—声明方法的存在而不去具体实现其功能的类，它用于要创建一个体现某些基本行为的类，并为该类声明方法，但不能在该类中实现该类的情况。[实例]不能使用abstract类创建对象。用abstract修饰的方法表示抽象方法,抽象方法没有方法体。抽象类可以没有抽象方法，但有抽象方法的类必须定义为抽象类。如果一个子类继承一个抽象类，子类又没有实现父类的所有抽象方法，那么子类也要定义为抽象类，否则编译会出错的。final和abstract不能同时修饰一个类。例：finalabstractsample{……}×类的修饰符—abstractabstract(抽象的)，用a50JAVA数据成员JAVA中的数据成员即常说的变量，为了方便区分，我们将类中描述研究对象静态特征的变量称为成员变量，将成员方法中定义的变量称为局部变量。数据成员的声明：(参见第二章)[修饰符]变量类型变量名[=变量初值];JAVA数据成员JAVA中的数据成员即常说的变量，为了方便区51数据成员的修饰符—访问控制publicprivateprotectedstaticfinal数据成员的修饰符—访问控制public52数据成员的修饰符—public公共的变量。数据成员的修饰符—public公共的变量。53数据成员的修饰符—private用private修饰的属性或方法只能被该类自身所访问和修改，而不能被任何其他类(包括该类的子类)，来获取和引用。例:classs1{privateinta;}classsample{……s1o=news1();s1.a=10;//错误。

……}×数据成员的修饰符—private用private修饰的属性或54数据成员的修饰符—protectedprotected成员可以被该类的成员以及其子类的成员访问，它还可以被同一个包内的其他类的成员访问。数据成员的修饰符—protectedprotected成员可55数据成员的修饰符—static通常情况下，类的成员必须通过它的类的对象访问，但是可以使用static创建一个成员，它能被它自己使用，而不必引用特定的实例。说明：声明为static的变量为全局变量。static变量被保存在类的公共存储单元中，而不是保存在该类某个对象的内存储区中，因此，该类的任何一个对象访问该变量得到的将是相同的值。例：classsp{staticintn=10;}publicclasssample{……

sp.n=sp.n+1;……}数据成员的修饰符—static通常情况下，类的成员必须通过它56静态初始化器静态初始化器是由关键字static引导的一对大括号括起的语句组。作用是初始化类的静态数据成员。例：staticinta;static{a=10;}静态初始化器静态初始化器是由关键字static引导的一对大括57数据成员的修饰符—final用final修饰的数据成员称为最终数据成员，其值在整个程序的执行过程中是不能改变的—标识符常量，最终数据成员可以在申明时进行初始化，也可通过构造方法进行赋值，但不能在程序的其他部分赋值。数据成员的修饰符—final用final修饰的数据成员称为最58JAVA成员方法JAVA中的成员方法与其他成员设计语言中的函数概念相等，也叫成员函数，是具有某种独立功能的程序模块。JAV中的方法包括：系统成员方法用户自定义成员方法JAVA成员方法JAVA中的成员方法与其他成员设计语言中的函59系统类成员方法如：publicvoidpaint(Graphicsg);System.out.print();系统类成员方法如：60方法的声明Java中声明方法的语法如下：[修饰符]返回值类型方法名(参数列表)throws例外名1,例外名2,…{方法体:局部变量声明;语句序列;}JAVA的成员方法用来规定类属性上的操作，实现类的内部功能的机制，同时也是类与外界进行交互的重要窗口。方法的声明Java中声明方法的语法如下：JAVA的成员方法用61一个简单的方法实例求两整数之和：intadd(inta,intb){intc;c=a+b;retuenc;}一个简单的方法实例求两整数之和：62方法的修饰符publicprivateprotectedfinalstaticabstractnative方法的修饰符public6313.1--命题与证明-(共21张PPT)13.1--命题与证明-(共21张PPT)根据以前学过的图形的特性，试判断下列句子是否正确.1.如果两个角是对顶角,那么这两个角相等.2.两直线平行，同位角相等.3.同旁内角相等，两直线平行.4.平行四边形的四条边相等.5.直角都相等.温故知新根据以前学过的图形的特性，试判断下列句子是否正确.温故知新观察下面两个命题:(1)两条直线被第三条直线所截，如果同位角相等，那么这两条直线平行；(2)两条直线被第三条直线所截，如果这两条直线平行，那么同位角相等.在这两个命题中，其中一个命题的条件和结论，与另一个命题的条件和结论有怎样的关系？请再举例说明两个具有这种关系的命题学习新知观察下面两个命题:在这两个命题中，其中一个命题的条件和结论，上课用131命题与证明上课用131命题与证明上课用131命题与证明

判断下列句子是否正确.(1)三角形的内角和是180度.(2)同位角相等.(3)同角的余角相等.(4)一个锐角与一个钝角的和是180度.

议一议判断下列句子是否正确.议一议证明：平行于同一条直线的两条直线平行。已知：如图所示，直线a，b，c，a∥c，b∥c.求证：a∥b.acb是真命题？假命题？例题讲解证明：平行于同一条直线的两条直线平行。已知：如图所示，直线a证明：如图所示，作直线d，分别与直线a，b，c相交.

∵a∥c(已知)，∴∠1=∠2(两直线平行，同位角相等).∵b∥c(已知)，∴∠2=∠3(两直线平行，同位角相等).∴∠1=∠3(等量代换).∴a∥b(同位角相等，两直线平行).即平行于同一条直线的两条直线平行.acbd321证明：如图所示，作直线d，分别与直线a，b，c相交.一般地，证明命题按如下步骤进行：(1)依据题意画图，将文字语言转换为符号(图形)语言；(2)根据图形写出已知、求证；(3)根据基本事实、已有定理等进行证明.一般地，证明命题按如下步骤进行：1.如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理。这两个定理叫做互逆定理，其中一个定理叫做另一个定理的逆定理.2.一个假命题的逆命题可以是真命题，甚至可以是定理.你能举出我们学过的一些互逆定理吗？1.如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理已知：如图所示，点O在直线AB上，OD，OE分别是∠AOC，∠BOC的平分线.求证：OD⊥OE.OBAEDC证明：∵OD平分∠AOC，OE平分∠BOC，∴∠COD=∠AOC，∠COE=∠BOC，∴∠COD+∠COE=(∠AOC+∠BOC)=×180°=90°，即∠DOE=90°，∴OD⊥OE.已知：如图所示，点O在直线AB上，OD，OE分别是∠AOC，课堂小结命题的组成每一个命题都是由条件和结论两部分组成的，条件是已知事项，结论是由已知事项推断出的事项.注意：对每一个讨论的命题，其条件和结论不一定只有一个.真命题、假命题、反例正确的命题称为真命题；错误的命题称为假命题；举一个例子，其具备命题的条件，而不具备命题的结论，这种例子称为反例.注意：要说明一个命题是假命题，通常举出反例来说明.课堂小结命题的组成每一个命题都是由条件和结论两部分组成的，条互逆命题与互逆定理一般来说，在两个命题中，如果第一个命题的条件是第二个命题的结论，而第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题。如果一个定理的逆命题是真命题，那么这个逆命题也就成了定理，这两个定理叫做互逆定理，其中一个定理叫做另一个定理的逆定理.注意：任何一个命题都有逆命题，但任何一个定理不一定有逆定理.证明的一般步骤(1)画图；（2)写出已知、求证；(3)证明.注意：证明要做到有理有据.互逆命题与互逆定理一般来说，在两个命题中，如果第一个命题的条检测反馈1.下列命题的逆命题一定成立的是

(

)①对顶角相等；②同位角相等，两直线平行；③若a=b,则|a|=|b|；④若x=3,则x2-3x=0.A.①②③ B.①④ C.②④ D.②D解析:①对顶角相等,逆命题为:相等的角为对顶角,错误;②同位角相等,两直线平行,逆命题为:两直线平行,同位角相等,正确;③若a=b,则|a|=|b|,逆命题为:若|a|=|b|,则a=b,错误;④若x=3,则x2-3x=0,逆命题为:若x2-3x=0,则x=3,错误.故选D.检测反馈1.下列命题的逆命题一定成立的是 ()D解析:2.命题：①对顶角相等；②垂直于同一条直线的两直线平行；③相等的角是对顶角；④同位角相等.其中假命题有

(

)A.1个

B.2个

C.3个

D.4个C解析:对顶角相等,所以①为真命题;在同一平面内,垂直于同一条直线的两直线平行,所以②为假命题;相等的角不一定是对顶角,所以③为假命题;两直线平行,同位角相等,所以④为假命题.故选C.2.命题：①对顶角相等；②垂直于同一条直线的两直线平行；③相3.已知三条不同的直线a，b，c在同一平面内，下列四个命题：①如果a∥b，a⊥c，那么b⊥c；②如果b∥a，c∥a，那么b∥c；③如果b⊥a，c⊥a；那么b⊥c；④如果b⊥a，c⊥a，那么b∥c.其中真命题的是

.(填写所有真命题的序号)

①②④解析:分析所给命题是否为真命题,需要分析条件是否能推出结论,从而利用排除法得出答案.故填①②④.3.已知三条不同的直线a，b，c在同一平面内，下列四个命题：4.命题“如果n是整数,那么2n是偶数”的条件是，结论是

，这是

命题(填“真”或“假”).

n是整数2n是偶数真5.如图所示，直线AB和直线CD、直线BE和直线CF都被直线BC所截.在下面三个条件中，请你选择其中两个作为条件，剩下的一个作为结论，组成一个真命题并证明.①AB⊥BC，CD⊥BC，②BE∥CF，③∠1=∠2.解析:命题写成“如果…,那么…”的形式时,“如果”后面接的部分是条件,“那么”后面接的部分是结论.依此可写出命题“如果n是整数,那么2n是偶数”的条件和结论.根据偶数的定义可知该命题是真命题.4.命题“如果n是整数,那么2n是偶数”的条件是，结5.如图所示，直线AB和直线CD、直线BE和直线CF都被直线BC所截.在下面三个条件中，请你选择其中两个作为条件，剩下的一个作为结论，组成一个真命题并证明.①AB⊥BC，CD⊥BC，②BE∥CF，③∠1=∠2.AEBFCD125.如图所示，直线AB和直线CD、AEBFCD12解：(答案不唯一)已知：如图所示，AB⊥BC，CD⊥BC，BE∥CF.求证：∠1=∠2.证明：∵AB⊥BC，CD⊥BC，∴AB∥CD，∴∠ABC=∠DCB，又∵BE∥CF，∴∠EBC=∠FCB，∴∠ABC-∠EBC=∠DCB-∠FCB，∴∠1=∠2.AEBFCD12解：(答案不唯一)AEBFCD12上课用131命题与证明面向对象(OOD)基本概念抽象封装类对象面向对象(OOD)基本概念抽象85抽象所谓抽象就是舍弃被研究对象中个别的、非本质的、或与研究主题无关的次要特征，而抽取与研究有关的特征，形成对所研究对象正确的、简明扼要的认识。抽象所谓抽象就是舍弃被研究对象中个别的、非本质的、或与研究主86封装封装也称为信息隐藏，是指利用抽象数据类型将数据和基于数据的操作封装在一起，使其构成一个不可分割的独立实体，数据被保护在抽象数据的内部，尽可能隐藏内部细节，只保留一些外部接口使之与外部发生联系。封装封装也称为信息隐藏，是指利用抽象数据类型将数据和基于数据87对象客观世界是由一些具体的事物构成的，每个事物一般都有自己的一组静态特征和动态特征。把客观世界的这一事实映射到面向对象程序设计中，就把客观事物抽象成为了对象(object)。在面向对象程序设计中，对象具有如下特性：对象标识静态特征(属性)动态特征(方法)对象客观世界是由一些具体的事物构成的，每个事物一般都有自己的88类对象是对具体某个事物的抽象，而类则是对对象的抽象与归纳，即把具有相同特征的一组对象归纳成一类。分类所依据的原则就是抽象。类对象是对具体某个事物的抽象，而类则是对对象的抽象与归纳，即89JAVA中的类类是面向对象程序设计(OOD)的基础，是Java的核心和本质所在。在Java中，所有的语言元素都必须被封装在类中。Java程序是由一个个类定义组成的，编写Java程序的过程实际就是从现实世界中抽象出Java可实现的类并用合适的语句定义它们的过程，这个定义过程包括对类内各种属性和方法的定义，创建类的对象，也包括类间的各种关系和接口的定义。JAVA语言中的类实际包括两种：系统定义的类用户自己定义的类JAVA中的类类是面向对象程序设计(OOD)的基础，是Jav90系统定义的类JAVA系统定义好的类，根据实现的功能的不同，划分为不同的集合—包，所有的包合称为类库。要在程序中使用某个系统类，必须使用import语句引入该类所在的包。如：importjava.awt.*;importjava.applet.*;系统定义的类JAVA系统定义好的类，根据实现的功能的不同，划91用户自定义的类系统定义的类主要是实现一些常用的基本功能，但是一些具体的问题还是需要用户通过编写自己的类来解决。因此，JAVA程序设计的过程实际就是用户把客观世界的问题定义为自己的类来解决的过程。用户自定义的类系统定义的类主要是实现一些常用的基本功能，但是92定义一个简单的类一个简单的类peopleclasspeople{ Stringgender;floatheight; floatweight;}注意：类声明只是创建一个模板(或类型描述)，它并不会创建一个实际的对象，因此，上述代码不会生成任何people类型的对象实体。定义一个简单的类一个简单的类people93创建对象用前面定义的people类创建一个对象lilyJAVA中使用new关键字创建对象，对象的创建可以使用以下两种方式：peoplelily;lily=newpeople();peoplelily=newpeople();以上语句执行后，lily就是people的一个对象(实例)；它将具有“存储意义上”的真实性。创建对象用前面定义的people类创建一个对象lily94对象的初始化所谓对象的初始化就是为这个对象的数据成员赋初值。lily.gender=“girl”;lily.height=1.6f;lily.weight=45.0f;对象的初始化所谓对象的初始化就是为这个对象的数据成员赋初值。95使用对象当一个对象被创立后，这个对象就拥有了自己的数据成员和方法，我们可以通过引用对象的数据成员来使用对象。以前面创建的对象lily为例：System.out.println(“lilyisa：”+llily.gender);System.out.println(“lily身高：”+llily.heght+“m”);System.out.println(“lily体重：”+llily.weight+“kg”);使用对象当一个对象被创立后，这个对象就拥有了自己的数据成员和96使用对象对象的数据成员、对象的方法的引用方式如下：对象名.成员名

如:lily.height;对象名.方法名(参数表)

如:lily.run();使用对象对象的数据成员、对象的方法的引用方式如下：对象名.成97类的定义类的基本定义方法如下：

[修饰符]class类名[extends父类][implements接口名]{类成员变量声明类方法声明}类的定义类的基本定义方法如下：[修饰符]class类名981、关于类头—classclass关键字，在它的后面跟新定义的类的类名。父类名跟在extends关键字后面，用来说明当前类是哪个已经存在类的子类，存在继承关系—继承是类与类之间的一种非常重要的关系。1、关于类头—classclass关键字，在它的后面跟新定义991、关于类头—类的修饰符类的修饰符用于定义对该类的访问级别，通常有public、final、abstract等。1、关于类头—类的修饰符类的修饰符用于定义对该类的访问级别，1001、关于类头—接口名接口名跟在implements关键字后面，用来说明当前类中实现了哪个接口定义的功能和方法。接口是Java语言用来实现多重继承的一种特殊机制，我们将在后面详细介绍它的使用方法。1、关于类头—接口名接口名跟在implements关键字后面1012、关于类体类体的定义要包括类的具体内容，包括类的属性与方法。[修饰符]class类名[extends父类][implements接口名]{类成员变量声明类方法声明}2、关于类体类体的定义要包括类的具体内容，包括类的属性与方法102构造方法创建对象后，通常要为对象赋初值—即对象的初始化，为简化这一步操作，JAVA提供了一种特殊的方法—构造方法。构造方法创建对象后，通常要为对象赋初值—即对象的初始化，为简103构造方法实例classpeople{floatheight;floatweight;

people(floataheight,floataweight){height=aheight;weight=aweight;}}publicclasssample{publicstaticvoidmain(Stringargs[]){peoplelily=newpeople(1.60f,45.0f);System.out.println("lily'sheightis:"+lily.height+"m");System.out.println("lily'sweightis:"+lily.weight+"kg");}}构造方法实例classpeople104构造方法的特点构造方法的方法名与类名相同。不能对构造方法指定返回类型，系统指定了隐含返回类型。构造方法不能由编程人员显式地直接调用。在创建一个类的新对象的同时，系统会自动调用该类的构造方法为新对象初始化，构造方法总是和new运算符一起被调用。构造方法和普通方法一样，可以被重置—即一个类可以定义多个具有不同参数的构造方法。一个类可以不定义构造方法，但实际系统会为这个类定义一个缺省的构造方法，这个构造方法没有任何参数和语句。构造方法可以继承。构造方法的特点构造方法的方法名与类名相同。105构造方法的重置实例classpeople{floatheight;floatweight;Stringgender;

people(floataheight,floataweight){height=aheight;weight=aweight;}people(floataheight,floataweight,Stringagender){height=aheight;weight=aweight;gender=agender;}}publicclassgouzao{publicstaticvoidmain(Stringargs[]){peoplelily=newpeople(1.60f,45.0f);peoplejack=newpeople(1.70f,60.0f,"boy");System.out.println("lily'sheightis:"+lily.height+"m");System.out.println("lily'sweightis:"+lily.weight+"kg");System.out.println("jack'sheightis:"+jack.height+"m");System.out.println("jack'sweightis:"+jack.weight+"kg");System.out.println("jack'sweightisa"+jack.gender);}}构造方法的重置实例classpeople106构造方法的作用对象初始化引入更多的灵活度(变量赋值或更复杂的操作)构造方法的作用对象初始化107类的修饰符—访问控制缺省访问控制publicprotectedfinalabstract类的修饰符—访问控制缺省访问控制108类的修饰符—缺省访问控制缺省访问控制(无修饰符)，该类只能被同一个包中的类访问和引用，而不可以被其他包中的类使用，这种访问特性又称为包访问性。同样类内的变量和方法如果没有访问控制符来限定，也就具有包访问性。JAVA规定：同一个程序文件中的所有类属于一个包。类的修饰符—缺省访问控制缺省访问控制(无修饰符)，该类只能被109类的修饰符—publicpublic(公共的)，用public修饰的类称为公共类，公共类不但可以供它同一个包内的类使用，还可供其他包中的类使用。类的修饰符—publicpublic(公共的)，用publi110类的修饰符—protectedprotected(受保护的)，用protected修饰的类称为保护类，保护类的成员变量可以被三种类所引用：该类自身、与它在同一个包中的其它类、在其他包中的该类的子类。使用protected修饰符的主要作用是允许其他包中该类的子类来访问父类的特定属性。类的修饰符—protectedprotected(受保护的)111类的修饰符—finalfinal(最终的)，用final修饰的类称为最终类，最终类是不能被其他类继承的。例:finalclasssample{……}classs1extendssample//错误，