Show that the marked quadrilateral is a square



The sides of the quadrilateral are equal as they are all diameters of the small circle and by symmetries of the picture we know that the angles constructed by the sides are right angles.
Hence the marked quadrilateral is a square.