Constructie van een irrationale lengte