Proof 1

P is on the
perpendicu
lar bisector
of segment
AB.

PA=PB,
<PDA and
<PDB are
right
angles by
definition.

Triangle
PDA is
congruent
to Triangle
PDB by
SAS

PA=PB

Proof 2

PA=PB

PADB is a
rhombus by
construction.

<PEA=<PEB

PADB is a
parallelogra
m (rhombus
is a special
case of a
parallelogra
m).

<PEA+<PEB=
180, by
supplementary
angles

The
diagonals of
a
parallelogra
m bisect
each other,
and AE=EB.

<PEA=<PEB=
90

Triangle PAE
is congruent
to Triangle
PEB by SSS.

Segment PE is
the
perpendicular
bisector of
segment AB
by definition.