Given thatplanebisects and .
Therefore, by using the definition of midpoint, it can be said that .
That implies, .
As, , therefore by using the definition of perpendicular lines it can be noticed that .
In the triangles and , it can be noticed that by using the reflexive property.
That implies, .
Therefore, it can be seen that ,and .
Therefore, the triangles and are the congruent triangles by using the SAS postulate.