Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

2.13: Вступ до доказів

Використовуйте два стовпці доказів, щоб стверджувати і довести обґрунтованість твердження шляхом написання формальних аргументів математичних тверджень. Також дізнайтеся про формати доказів абзаців та блок-діаграм.

Дві колонки Докази

Двоколонковий доказ - це один із поширених способів організації доказу в геометрії. Двоколонкові докази завжди мають два стовпці: один для тверджень і один з причин. Найкращий спосіб зрозуміти докази з двома стовпцями - прочитати приклади.

При написанні власного доказу з двох стовпців майте на увазі такі речі:

  • Пронумеруйте кожен крок.
  • Почніть з наданої інформації.
  • Висловлювання з тією ж причиною можна об'єднати в один крок. Це вирішувати вам.
  • Намалюйте картинку і позначте її заданою інформацією.
  • У вас повинна бути причина для КОЖНОГО твердження.
  • Порядок тверджень у доказі не завжди фіксується, але переконайтеся, що порядок має логічний сенс.
  • Причинами будуть визначення, постулати, властивості і раніше доведені теореми. «Giden» використовується лише як причина, якщо інформація у стовпці оператора була надана в задачі.
  • Використовуйте символи та абревіатури для слів у доказах. Наприклад, може використовуватися замість слова конгруентний. Ви також можете використовувати\ (\ кут) для слова кут.

Припустимо, вам кажуть, щоXYZ це прямий кут і щоYW бісекціїXYZ. Потім вас просять довестиXYWWYZ.

Приклад2.13.1

Напишіть докази з двох стовпців для наступного:

ЯкщоA,B,C, іD є точками на прямій, в заданому порядку, іAB=CD, тоAC=BD.

Рішення

Коли твердження дається таким чином, частина «якщо» - це дана, а частина «тоді» - це те, що ми намагаємося довести.

Завжди починайте з малювання картини того, що вам дано.

Покладіть точки в порядкуA,B,C,,D на лінії.

Ф-Д_С0Б0КФ 92С9ФЕ28800 БА 8Б 560ДА359 АЦ06С 5Ф4С4 БК9ДБ8А9Е3ЕФЕ2+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.1

Додайте дане,AB=CD.

Ф-д_С2А 1806254611 АФ 4120698 ФД8Б46А4ФД 2С557336 ААД 9C8F58C0AB+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.2

Намалюйте докази з двох стовпців і почніть з заданої інформації.

Заява Причина
1. A,B,C, іD є колінеарними, в такому порядку. 1. Враховується
2. AB=CD 2. Враховується
3. BC=BC 3. Рефлексивний PoE
4. AB+BC=BC+CD 4. Додаток PoE

5. AB+BC=AC

BC+CD=BD

5. Постулат додавання сегмента
6. AC=BD 6. Заміна або перехідний PoE

Приклад2.13.2

Напишіть докази з двох стовпців.

Дано:BF бісектиABC;ABDCBE

Доведіть:DBFEBF

F-D_3F8 ДБ750Б593C DEF 4Е 8667ФД82405Д4Б3СБ 482А07Б311DE5B378A30+зображення_крихіткий+зображення_крихіткий.PNGМалюнок\(\PageIndex{3}\)

Рішення

Спочатку нанесіть відповідну розмітку на малюнку. Нагадаємо, що бісекція означає «розрізати навпіл». Тому,mABF=mFBC.


F-д_С53АФ55Д7А322745826D215207C8222716692E1А0Б9ФЦ10Ф65Б718+зображення_крихіткий+зображення_крихіткий_крошечкий.PNG
Малюнок2.13.4
Заява Причина
1. BFбісекціїABC,ABDCBE 1. Враховується
2. mABF=mFBC 2. Визначення бісектриси кута
3. mABD=mCBE 3. Якщо кути є, то їх мірки рівні.

4. mABF=mABD+mDBF

mFBC=mEBF+mCBE

4. Постулат додавання кута
5. mABD+mDBF=mEBF+mCBE 5. Підміна PoE
6. mABD+mDBF=mEBF+mABD 6. Підміна PoE
7. mDBF=mEBF 7. Віднімання PoE
8. DBFEBF 8. Якщо міри рівні, то кути дорівнюють\ (\ cong.

Приклад2.13.3

Теорема прямого кута стверджує, що якщо два кути є прямими кутами, то кути є конгруентними. Доведіть цю теорему.

Щоб довести цю теорему, створіть власний малюнок і назвіть деякі кути так, щоб у вас були конкретні кути, про які можна говорити.

Дано:A іB є прямими кутами

Доведіть:AB

Рішення

Заява Причина
1. AіB є прямими кутами 1. Враховується
2. mA=90іmB=90 2. Визначення прямих кутів
3. mA=mB 3. Перехідний PoE
4. AB 4. кути мають = заходи

Будь-який раз, коли прямі кути згадуються в доказі, вам потрібно буде використовувати цю теорему, щоб сказати, що кути є конгруентними.

Приклад2.13.4

Теорема про однакові кутові добавки стверджує, що якщо два кути є додатковими до одного кута, то два кути є конгруентними. Доведіть цю теорему.

Задано:A і\ кут B є додатковими кутами. BіC є додатковими кутами.

Доведіть:AC

Рішення

Заява Причина

1. AіB є додатковими

BіC є додатковими

1. Враховується

2. \ (м\ кут A+м\ кут B = 180^ {\ circ}

\ (м\ кут B+м\ кут C = 180^ {\ circ}

2. Визначення додаткових кутів
3. mA+mB=mB+mC 3. Підміна PoE
4. mA=mC 4. Віднімання PoE
5. AC 5. кути мають = заходи

Приклад2.13.5

Теорема вертикальних кутів стверджує, що вертикальні кути є конгруентними. Доведіть цю теорему.

Задано: Лініїk іm перетинаються.

Доведіть:13

F-D_A48601A6F3B2 САД 7454719А7БА 6Д7СБ2Е755Б3854Д83БАЕ8Ф3АА+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.5

Рішення

Заява Причина
1. Лініїk іm перетин 1. Враховується

2. 1і2 є лінійною парою

\ кут 2 і3 є лінійною парою

2. Визначення лінійної пари

3. 1і2 є додатковими

2і3 є додатковими

3. Постулат лінійної пари

4. m1+m2=180

m2+m3=180

4. Визначення додаткових кутів
5. m1+m2=m2+m3 5. Підміна PoE
6. m1=m3 6. Віднімання PoE
7. 13 7. кути мають = заходи

Приклад2.13.6

14іC іF знаходяться під прямим кутом.

Які кути є конгруентними і чому?

Ф-Д_С1Е96Ф919536ДД8ДФ07Б0С96Ф91127C554C9АЦБ 470553431БД23D68+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.6

Рішення

За теоремою прямого кута,CF. Крім того,23 за тими ж кутами доповнює теорему тому, що14 і вони є лінійними парами з цими конгруентними кутами.

Рецензія

Заповніть пропуски в докази нижче.

  1. Дано:ABCDEF іGHIJKL

Доведіть:mABC+mGHI=mDEF+mJKL

Заява Причина
1. 1. Враховується

2. mABC=mDEF

mGHI=mJKL

2.
3. 3. Додаток PoE
4. mABC+mGHI=mDEF+mJKL 4.
  1. Дано:M є середньою точкою¯AN. Nє середньою точкою¯MB

Доведіть:AM=NB

Заява Причина
1. Враховується
2. Визначення середньої точки
3. AM=NB
  1. Дано:¯AC¯BD і14

Доведіть:23

F-д_36 ФАД5А56Е39Е8Е9Е0315Б90 А3311Е44 Е44 Е4Д 37Б1Ф4Е22ДФ1Д2728155+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.7
Заява Причина
1. \ (\ overline {AC}\ perp\ overline {BD},\ (\ кут 1\ cong\ кут 4 1.
2. m1=m4 2.
3. 3. \ (\ Perp лінії створюють прямі кути

4. mACB=90

mACD=90

4.

5. m1+m2=mACB

m3+m4=mACD

5.
6. 6. Заміна
7. m1+m2=m3+m4 7.
8. 8. Заміна
9. 9. Віднімання PoE
10. 23 10.
  1. Дано:MLNOLP

Доведіть:MLONLP

F-D_A02B797 БББД бед 430c194906FCED 340А5БД4А3А321Ф1AE91872B280+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.8
Заява Причина
1. 1.
2. 2. кути мають = заходи
3. 3. Постулат додавання кута
4. 4. Заміна
5. mMLO=mNLP 5.
6. 6. кути мають = заходи
  1. Дано:AE_EC_ іBE_ED_

Доведіть:13

Ф-Д_94Ф217649976Ф4А8Ф1078Д9ББ Б 76CFF39A1D4A118A506A28DF71050+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.9
Заява Причина
1. 1.
2. 2. лінії створюють прямі кути

3. mBED=90

mAEC=90

3.
4. 4. Постулат додавання кута
5. 5. Заміна
6. m2+m3=m1+m3 6.
7. 7. Віднімання PoE
8. 8. кути мають = заходи
  1. LВраховується: є додатковим доM іP є додатковим доO іLO

Доведіть:PM

Ф-Д_0Б4Д4Ф366Ф6Ф61КС07А6Д1ЦА84Е6 Бад С34318936С6А7919 FCE3D7BB1+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.10
Заява Причина
1. 1.
2. mL=mO 2.
3. 3. Визначення додаткових кутів
4. 4. Заміна
5. 5. Заміна
6. 6. Віднімання PoE
7. MP 7.
  1. Дано:14

Доведіть:23

Ф-Д_С1Е96Ф919536ДД8ДФ07Б0С96Ф91127C554C9АЦБ 470553431БД23D68+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.11
Заява Причина
1. 1.
2. m1=m4 2.
3. 3. Визначення лінійної пари

4. 1і2 є додатковими

3і4 є додатковими

4.
5. 5. Визначення додаткових кутів
6. m1+m2=m3+m4 6.
7. m1+m2=m3+m1 7.
8. m2=m3 8.
9. 23 9.
  1. Дано:C іF є прямими кутами

Доведіть:mC+mF=180

Ф-Д_С1Е96Ф919536ДД8ДФ07Б0С96Ф91127C554C9АЦБ 470553431БД23D68+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.12
Заява Причина
1. 1.
2. mC=90,\(mF=90 2.
3. 90+90=180 3.
4. mC+mF=180 4.
  1. Дано:lm

Доведіть:12

Ф-Д_СЕ5Ф73109 АЦ53Ф5ДД286Ф7726АЕД 3АА0140С001АК 46667139BA4050+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.13
Заява Причина
1. lm 1.
2. 1і2 є прямими кутами 2.
3. 3.
  1. Дано:m1=90

Доведіть:m2=90

Ф-Д_СЕ5Ф73109 АЦ53Ф5ДД286Ф7726АЕД 3АА0140С001АК 46667139BA4050+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.14
Заява Причина
1. 1.
2. 1і2 є лінійною парою 2.
3. 3. Постулат лінійної пари
4. 4. Визначення додаткових кутів
5. 5. Заміна
6. m2=90 6.
  1. Дано:lm

Доведіть:1 і2 є доповненнями

Ф-Д_19042 ДК 8336С54С2Ф514 А7ФЕ224 БА4Е011С3Ф68АФБ 52Д610 Беб 138+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.15
Заява Причина
1. 1.
2. 2. лінії створюють прямі кути
3. m1+m2=90 3.
4. 1і2 доповнюють 4.
  1. Дано:lm і26

Доведіть:65

Ф-Д_0А1Е84ФЦ5С3267С7ФД61С4636Д245ЕЕ72029Е0Е6971870Е44А0БФБ+зображення_крихіткий+зображення_крихіткий.PNG
Малюнок2.13.16
Заява Причина
1. 1.
2. m2=m6 2.
3. 52 3.
4. m5=m2 4.
5. m5=m6 5.

Огляд (Відповіді)

Щоб переглянути відповіді на огляд, відкрийте цей PDF-файл і знайдіть розділ 2.7.

Лексика

Термін Визначення
два стовпці докази Поширений спосіб організації доказу в геометрії. Два стовпці доказів завжди мають дві колонки- заяви і причини.
лінійна пара Два кути утворюють лінійну пару, якщо вони є додатковими і сусідніми.

Додаткові ресурси

Відео: Принципи доказів двох стовпців - Основні

Діяльність: Дві колонки Докази Дискусійні питання

Навчальні посібники: Докази Навчальний посібник

Практика: Вступ до доказів

Реальний світ: Дайте мені одну причину