2.13: Вступ до доказів
Використовуйте два стовпці доказів, щоб стверджувати і довести обґрунтованість твердження шляхом написання формальних аргументів математичних тверджень. Також дізнайтеся про формати доказів абзаців та блок-діаграм.
Дві колонки Докази
Двоколонковий доказ - це один із поширених способів організації доказу в геометрії. Двоколонкові докази завжди мають два стовпці: один для тверджень і один з причин. Найкращий спосіб зрозуміти докази з двома стовпцями - прочитати приклади.
При написанні власного доказу з двох стовпців майте на увазі такі речі:
- Пронумеруйте кожен крок.
- Почніть з наданої інформації.
- Висловлювання з тією ж причиною можна об'єднати в один крок. Це вирішувати вам.
- Намалюйте картинку і позначте її заданою інформацією.
- У вас повинна бути причина для КОЖНОГО твердження.
- Порядок тверджень у доказі не завжди фіксується, але переконайтеся, що порядок має логічний сенс.
- Причинами будуть визначення, постулати, властивості і раніше доведені теореми. «Giden» використовується лише як причина, якщо інформація у стовпці оператора була надана в задачі.
- Використовуйте символи та абревіатури для слів у доказах. Наприклад,≅ може використовуватися замість слова конгруентний. Ви також можете використовувати\ (\ кут) для слова кут.
Припустимо, вам кажуть, що∠XYZ це прямий кут і що→YW бісекції∠XYZ. Потім вас просять довести∠XYW≅∠WYZ.
Приклад2.13.1
Напишіть докази з двох стовпців для наступного:
ЯкщоA,B,C, іD є точками на прямій, в заданому порядку, іAB=CD, тоAC=BD.
Рішення
Коли твердження дається таким чином, частина «якщо» - це дана, а частина «тоді» - це те, що ми намагаємося довести.
Завжди починайте з малювання картини того, що вам дано.
Покладіть точки в порядкуA,B,C,,D на лінії.

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

Намалюйте докази з двох стовпців і почніть з заданої інформації.
Заява | Причина |
---|---|
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;∠ABD≅∠CBE
Доведіть:∠DBF≅∠EBF

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

Заява | Причина |
---|---|
1. →BFбісекції∠ABC,∠ABD≅∠CBE | 1. Враховується |
2. m∠ABF=m∠FBC | 2. Визначення бісектриси кута |
3. m∠ABD=m∠CBE | 3. Якщо кути є≅, то їх мірки рівні. |
4. m∠ABF=m∠ABD+m∠DBF m∠FBC=m∠EBF+m∠CBE |
4. Постулат додавання кута |
5. m∠ABD+m∠DBF=m∠EBF+m∠CBE | 5. Підміна PoE |
6. m∠ABD+m∠DBF=m∠EBF+m∠ABD | 6. Підміна PoE |
7. m∠DBF=m∠EBF | 7. Віднімання PoE |
8. ∠DBF≅∠EBF | 8. Якщо міри рівні, то кути дорівнюють\ (\ cong. |
Приклад2.13.3
Теорема прямого кута стверджує, що якщо два кути є прямими кутами, то кути є конгруентними. Доведіть цю теорему.
Щоб довести цю теорему, створіть власний малюнок і назвіть деякі кути так, щоб у вас були конкретні кути, про які можна говорити.
Дано:∠A і∠B є прямими кутами
Доведіть:∠A≅∠B
Рішення
Заява | Причина |
---|---|
1. ∠Aі∠B є прямими кутами | 1. Враховується |
2. m∠A=90∘іm∠B=90∘ | 2. Визначення прямих кутів |
3. m∠A=m∠B | 3. Перехідний PoE |
4. ∠A≅∠B | 4. ≅кути мають = заходи |
Будь-який раз, коли прямі кути згадуються в доказі, вам потрібно буде використовувати цю теорему, щоб сказати, що кути є конгруентними.
Приклад2.13.4
Теорема про однакові кутові добавки стверджує, що якщо два кути є додатковими до одного кута, то два кути є конгруентними. Доведіть цю теорему.
Задано:∠A і\ кут B є додатковими кутами. ∠Bі∠C є додатковими кутами.
Доведіть:∠A≅∠C
Рішення
Заява | Причина |
---|---|
1. ∠Aі∠B є додатковими ∠Bі∠C є додатковими |
1. Враховується |
2. \ (м\ кут A+м\ кут B = 180^ {\ circ} \ (м\ кут B+м\ кут C = 180^ {\ circ} |
2. Визначення додаткових кутів |
3. m∠A+m∠B=m∠B+m∠C | 3. Підміна PoE |
4. m∠A=m∠C | 4. Віднімання PoE |
5. ∠A≅∠C | 5. ≅кути мають = заходи |
Приклад2.13.5
Теорема вертикальних кутів стверджує, що вертикальні кути є конгруентними. Доведіть цю теорему.
Задано: Лініїk іm перетинаються.
Доведіть:∠1≅∠3

Рішення
Заява | Причина |
---|---|
1. Лініїk іm перетин | 1. Враховується |
2. ∠1і∠2 є лінійною парою \ кут 2 і∠3 є лінійною парою |
2. Визначення лінійної пари |
3. ∠1і∠2 є додатковими ∠2і∠3 є додатковими |
3. Постулат лінійної пари |
4. m∠1+m∠2=180∘ m∠2+m∠3=180∘ |
4. Визначення додаткових кутів |
5. m∠1+m∠2=m∠2+m∠3 | 5. Підміна PoE |
6. m∠1=m∠3 | 6. Віднімання PoE |
7. ∠1≅∠3 | 7. ≅кути мають = заходи |
Приклад2.13.6
∠1≅∠4і∠C і∠F знаходяться під прямим кутом.
Які кути є конгруентними і чому?

Рішення
За теоремою прямого кута,∠C≅∠F. Крім того,∠2≅∠3 за тими ж кутами доповнює теорему тому, що∠1≅∠4 і вони є лінійними парами з цими конгруентними кутами.
Рецензія
Заповніть пропуски в докази нижче.
- Дано:∠ABC≅∠DEF і∠GHI≅∠JKL
Доведіть:m∠ABC+m∠GHI=m∠DEF+m∠JKL
Заява | Причина |
---|---|
1. | 1. Враховується |
2. m∠ABC=m∠DEF m∠GHI=m∠JKL |
2. |
3. | 3. Додаток PoE |
4. m∠ABC+m∠GHI=m∠DEF+m∠JKL | 4. |
- Дано:M є середньою точкою¯AN. Nє середньою точкою¯MB
Доведіть:AM=NB
Заява | Причина |
---|---|
1. | Враховується |
2. | Визначення середньої точки |
3. AM=NB |
- Дано:¯AC⊥¯BD і∠1≅∠4
Доведіть:∠2≅∠3

Заява | Причина |
---|---|
1. \ (\ overline {AC}\ perp\ overline {BD},\ (\ кут 1\ cong\ кут 4 | 1. |
2. m∠1=m∠4 | 2. |
3. | 3. \ (\ Perp лінії створюють прямі кути |
4. m∠ACB=90∘ m∠ACD=90∘ |
4. |
5. m∠1+m∠2=m∠ACB m∠3+m∠4=m∠ACD |
5. |
6. | 6. Заміна |
7. m∠1+m∠2=m∠3+m∠4 | 7. |
8. | 8. Заміна |
9. | 9. Віднімання PoE |
10. ∠2≅∠3 | 10. |
- Дано:∠MLN≅∠OLP
Доведіть:∠MLO≅∠NLP

Заява | Причина |
---|---|
1. | 1. |
2. | 2. ≅кути мають = заходи |
3. | 3. Постулат додавання кута |
4. | 4. Заміна |
5. m∠MLO=m∠NLP | 5. |
6. | 6. ≅кути мають = заходи |
- Дано:AE_⊥EC_ іBE_⊥ED_
Доведіть:∠1≅∠3

Заява | Причина |
---|---|
1. | 1. |
2. | 2. ⊥лінії створюють прямі кути |
3. m∠BED=90∘ m∠AEC=90∘ |
3. |
4. | 4. Постулат додавання кута |
5. | 5. Заміна |
6. m∠2+m∠3=m∠1+m∠3 | 6. |
7. | 7. Віднімання PoE |
8. | 8. ≅кути мають = заходи |
- ∠LВраховується: є додатковим до∠M і∠P є додатковим до∠O і∠L≅∠O
Доведіть:∠P≅∠M

Заява | Причина |
---|---|
1. | 1. |
2. m∠L=m∠O | 2. |
3. | 3. Визначення додаткових кутів |
4. | 4. Заміна |
5. | 5. Заміна |
6. | 6. Віднімання PoE |
7. ∠M≅∠P | 7. |
- Дано:∠1≅∠4
Доведіть:∠2≅∠3

Заява | Причина |
---|---|
1. | 1. |
2. m∠1=m∠4 | 2. |
3. | 3. Визначення лінійної пари |
4. ∠1і∠2 є додатковими ∠3і∠4 є додатковими |
4. |
5. | 5. Визначення додаткових кутів |
6. m∠1+m∠2=m∠3+m∠4 | 6. |
7. m∠1+m∠2=m∠3+m∠1 | 7. |
8. m∠2=m∠3 | 8. |
9. ∠2≅∠3 | 9. |
- Дано:∠C і∠F є прямими кутами
Доведіть:m∠C+m∠F=180∘

Заява | Причина |
---|---|
1. | 1. |
2. m∠C=90∘,\(m∠F=90∘ | 2. |
3. 90∘+90∘=180∘ | 3. |
4. m∠C+m∠F=180∘ | 4. |
- Дано:l⊥m
Доведіть:∠1≅∠2

Заява | Причина |
---|---|
1. l⊥m | 1. |
2. ∠1і∠2 є прямими кутами | 2. |
3. | 3. |
- Дано:m∠1=90∘
Доведіть:m∠2=90∘

Заява | Причина |
---|---|
1. | 1. |
2. ∠1і∠2 є лінійною парою | 2. |
3. | 3. Постулат лінійної пари |
4. | 4. Визначення додаткових кутів |
5. | 5. Заміна |
6. m∠2=90∘ | 6. |
- Дано:l⊥m
Доведіть:∠1 і∠2 є доповненнями

Заява | Причина |
---|---|
1. | 1. |
2. | 2. ⊥лінії створюють прямі кути |
3. m∠1+m∠2=90∘ | 3. |
4. ∠1і∠2 доповнюють | 4. |
- Дано:l⊥m і∠2≅∠6
Доведіть:∠6≅∠5

Заява | Причина |
---|---|
1. | 1. |
2. m∠2=m∠6 | 2. |
3. ∠5≅∠2 | 3. |
4. m∠5=m∠2 | 4. |
5. m∠5=m∠6 | 5. |
Огляд (Відповіді)
Щоб переглянути відповіді на огляд, відкрийте цей PDF-файл і знайдіть розділ 2.7.
Лексика
Термін | Визначення |
---|---|
два стовпці докази | Поширений спосіб організації доказу в геометрії. Два стовпці доказів завжди мають дві колонки- заяви і причини. |
лінійна пара | Два кути утворюють лінійну пару, якщо вони є додатковими і сусідніми. |
Додаткові ресурси
Відео: Принципи доказів двох стовпців - Основні
Діяльність: Дві колонки Докази Дискусійні питання
Навчальні посібники: Докази Навчальний посібник
Практика: Вступ до доказів
Реальний світ: Дайте мені одну причину