如图所示，在电磁铁的正上方用弹簧挂一条形磁铁，将开关闭合后，滑片P从a端到b端的滑动过程中，弹簧的长度会变（填“长”或“短”），这是因为电磁铁的磁性随着电流的增大而。