Complete the missing parts of the paragraph proof. Draw a perpendicular from P to AB. Label the intersection C. We are given tha
t PA = PB, so PA ≅ PB by the definition of . We know that angles PCA and PCB are right angles by the definition of . PC ≅ PC by the . So, triangle ACP is congruent to triangle BCP by HL, and AC ≅ BC by . Since PC is perpendicular to and bisects AB, P is on the perpendicular bisector of AB by the definition of perpendicular bisector.
<span>1) We are given that PA = PB, so PA ≅ PB by the definition of the radius.
</span>When you draw a perpendicular to a segment AB, you take the compass, point it at A and draw an arc of size AB, then you do the same pointing the compass on B. Point P will be one of the intersections of those two arcs. Therefore PA and PB correspond to the radii of the arcs, which were taken both equal to AB, therefore they are congruent.
2) We know that angles PCA and PCB are right angles by the definition of perpendicular.
Perpendicularity is the relation between two lines that meet at a right angle. Since we know that PC is perpendicular to AB by construction, ∠PCA and ∠PCB are right angles.
3) PC ≅ PC by the reflexive property congruence.
The reflexive property congruence states that any shape is congruent to itself.
4) So, triangle ACP is congruent to triangle BCP by HL, and AC ≅ BC by CPCTC (corresponding parts of congruent triangles are congruent).
CPCTC states that if two triangles are congruent, then all of the corresponding sides and angles are congruent. Since ΔACP ≡ ΔBCP, then the corresponding sides AC and BC are congruent.
5) Since PC is perpendicular to and bisects AB, P is on the perpendicular bisector of AB by the definition of the perpendicular bisector.
<span>The perpendicular bisector of a segment is a line that cuts the segment into two equal parts (bisector) and that forms with the segment a right angle (perpendicular). Any point on the perpendicular bisector has the same distance from the segment's extremities. PC has exactly the characteristics of a perpendicular bisector of AB. </span>
