in first video how OY=OX
In the construction an arc is drawn taking O as centre. Any point on this arc is equidistant from O. [Actually OX and OY are radii of the arc drawn. It is known that the radii of a circle are of equal length]
∴ OX = OY
in first video how OY=OX