Suppose that N intersects each of H and K trivially. Let , and let . Then . Also, (by normality). Therefore the product is in N. But N intersects H trivially, so is the identity. Thus is in the centre of H. Similarly is in the centre of K. That's enough to show that N is abelian.