Can someone help me out on these geometry questions? ASAP!!!
Write formal proofs the HL Theorm.

Question 2
1) [tex]\overline{PR} \perp\overline{QS}, \overline{PQ} \cong \overline{PS}[/tex] (given)
2) [tex]\overline{PR} \cong \overline{PR}[/tex] (reflexive property)
3) [tex]\angle PRQ, \angle PRS[/tex] are right angles (perpendicular lines form right angles)
4) [tex]\triangle PRQ, \triangle PRS[/tex] are right triangles (a triangle with a right angle is a right triangle)
5) [tex]\triangle PRQ \cong \triangle PRS[/tex] (HL)
Question 3
1) [tex]\angle C[/tex] is a right angle, [tex]\overline{AC} \cong \overline{AE}, \overline{DE} \perp \overline{AB}[/tex] (given)
2) [tex]\angle DEA[/tex] is a right angle (perpendicular lines form right angles)
3) [tex]\triangle ACD, \triangle DAE[/tex] are right triangles (a triangle with a right triangle is a right angle)
4) [tex]\overline{AD} \cong \overline{AD}[/tex] (reflexive property)
5) [tex]\triangle ACD \cong \triangle AED[/tex] (HL)
6) [tex]\angle CAD \cong \angle DAE[/tex] (CPCTC)
7) [tex]\overline{AD}[/tex] bisects [tex]\angle BAC[/tex] (if a segment splits an angle into two congruent parts, it is an angle bisector)