But I have read that aircraft AC systems are 400 HZ rather than 50 or 60 because the higher frequency makes transformers more efficient. More efficient transformers can be built smaller and lighter without causing excessive losses.
Exactly right. To be more precise, the higher the AC frequency, the less iron is needed in the transformer core. Some aircraft systems have been 800 hz for this reason.