Let a convex pentagon be given with the properties and . Furthermore, let be a point on the segment such that as well as are satisfied. Finally, let be the midpoint of the segment and the circumcenter of the triangle .
Prove: If , then holds.
Let a convex pentagon be given with the properties and . Furthermore, let be a point on the segment such that as well as are satisfied. Finally, let be the midpoint of the segment and the circumcenter of the triangle .
Prove: If , then holds.
Solution:
From the conditions it follows that .
Therefore is a parallelogram, whose two diagonals and bisect each other at .
Because of the point symmetry about , holds, and since is an isosceles triangle, holds. Thus is the angle bisector of . It follows that , so that it only remains to show that .
Let be the reflection point of about . Since , we then have
and is a cyclic quadrilateral. Therefore , and because is even a hexagon that is point-symmetric about , it further follows that . Thus , while on the other hand holds. Hence is a cyclic quadrilateral, and the claim follows from the inscribed angle theorem.