天干
甲
乙
丙
丁
戊
己
庚
辛
壬
癸
4
5
6
7
8
9
0
1
2
3
地支
子
丑
寅
卯
辰
已
午
未
申
酉
戌
亥
10
11
12
算法如下:先用年份的尾数查出天干,再用年份除以12的余数查出地支.如2014年,尾数4为甲,2014除以12余数为10,10为午,那么2014年就是甲午年.则2023年是( )
求证: .
证明:∵(已知)
( ),
∴( ),
∴ ▲ ▲ (同位角相等,两直线平行),
∴ ▲ (两直线平行,同位角相等)
又∵(已知),
∴(等量代换).
因为EF∥AD,所以∠2= ,
又因为∠1=∠2,所以∠1=∠3,
所以AB∥ ,
所以∠BAC+ =180°,
因为∠BAC=70°,所以∠AGD= .
如图,点在的延长线上,请从①;②;③中,选取两个作为题设,第三个作为结论,组成一个命题,判断其真假,并证明.
小明的做法如下:选取①②作为题设,③作为结论.即“如果 , , 那么”是一个真命题.
证明:
(Ⅰ)
Ⅱ (Ⅱ)
(等量代换)
以③作为结论的命题是:如图,已知 , , 求证: