Angle Bisector Theorem
| Statements | Reasoning |
| Segment DC is perpendicular to line AB | Given |
| Segment CE is perpendicular to line FB | Given |
| Line H is the angle bisector of angle ABF | Given |
| Angle DBC is congruent to angle CBE | Line H is angle bisector |
| Line CB is congruent to Line CB | Reflexive property |
| Angle CDB is 90 degrees | Line CD is perpendicular to line AB |
| Angle CEB is 90 degrees | Line EC is perpendicular to line FG |
| Triangle BCD is congruent to triangle BEC | AAS |
| Segment CE is congruent to Segment CD | CPCTC |
| | |