SOLUTION: Complete the formal proof of the following theorem. The bisectors of two adjacent supplementary angles form a right angle. There is a line and three rays. There are six labeled

Question 1191303: Complete the formal proof of the following theorem.
The bisectors of two adjacent supplementary angles form a right angle.
There is a line and three rays. There are six labeled points and four labeled angles.
Line A D is horizontal. B is on this line and between A and D.
Ray B C goes up and to the right.
Ray B F goes up and to the right. Point F is below and to the right of point C.
Ray B E goes up and to the left.
Angle A B E is labeled 1 and is marked with one arc.
Angle C B E is labeled 2 and is marked with one arc.
Angle C B F is labeled 3 and is marked with two arcs.
Angle D B F is labeled 4 and is marked with two arcs.
Given:
∠ABC is supplementary to ∠CBD.
BE bisects ∠ABC.
BF bisects ∠CBD.
Prove: ∠EBF is a right angle.
Statements Reasons
1.
---Select---
1. Given
2.
---Select---
2. The sum of the measures of supplementary ∠s is 180°.
3. m∠ABC = m∠1 + m∠2;
---Select---
3.
---Select---
4.
---Select---
4. Substitution
5.
BE bisects ∠ABC;

BF bisects ∠CBD.
5.
---Select---
6.
---Select---
6. If a ray bisects an ∠, then two ∠s of = measure are formed.
7. m∠2 + m∠2 + m∠3 + m∠3 = 180° 7.
---Select---
8.
2 · m∠2 + 2 · m∠3 = 180°
8. Combine like terms.
9. m∠2 + m∠3 = 90° 9.
---Select---
10.
---Select---
10. Angle-Addition Postulate
11.
---Select---
11. Substitution
12.
---Select---
12.
---Select---

Answer by CPhill(1959) (Show Source): You can put this solution on YOUR website!
Here's the completed two-column proof:
**Given:**
∠ABC is supplementary to ∠CBD.
BE bisects ∠ABC.
BF bisects ∠CBD.
**Prove:**
∠EBF is a right angle.
| Statements | Reasons |
|---|---|
| 1. ∠ABC is supplementary to ∠CBD. | 1. Given |
| 2. m∠ABC + m∠CBD = 180° | 2. The sum of the measures of supplementary ∠s is 180°. |
| 3. m∠ABC = m∠1 + m∠2; m∠CBD = m∠3 + m∠4 | 3. Angle-Addition Postulate |
| 4. m∠1 + m∠2 + m∠3 + m∠4 = 180° | 4. Substitution |
| 5. BE bisects ∠ABC; BF bisects ∠CBD. | 5. Given |
| 6. m∠1 = m∠2; m∠3 = m∠4 | 6. If a ray bisects an ∠, then two ∠s of = measure are formed. |
| 7. m∠2 + m∠2 + m∠3 + m∠3 = 180° | 7. Substitution |
| 8. 2 · m∠2 + 2 · m∠3 = 180° | 8. Combine like terms. |
| 9. m∠2 + m∠3 = 90° | 9. Division Property of Equality |
| 10. m∠EBF = m∠2 + m∠3 | 10. Angle-Addition Postulate |
| 11. m∠EBF = 90° | 11. Substitution |
| 12. ∠EBF is a right angle. | 12. Definition of a right angle |

RELATED QUESTIONS
Prove that the bisector of two adjacent supplementary angles include a right... (answered by MathLover1)

Two adjacent angles of a parallelogram are bisected. How many degrees are in the angle... (answered by jsmallt9)

Prove that the diagonals of a rhombus are perpendicular bisectors of one another. (Formal (answered by richard1234)

Use Ceva's Theorem to prove that the external bisectors of two angles of a triangle and... (answered by venugopalramana)

"The three angle bisectors of the sides of a triangle are concurrent. (Angle Bisector... (answered by richwmiller)

The following angles are supplementary angles. Determine the measures of adjacent angle... (answered by solver91311)

Directions: Set up and complete a proof of the statement. If a triangle is isosceles,... (answered by Nate)

Write a formal proof of the corollary. The opposite angles of a parallelogram are... (answered by midwood_trail)

I need help proving this theorem using a formal proof. If two inscribed angles... (answered by stanbon)