①对角线相等且互相平分的四边形是矩形;②对角线平分一组对角的平行四边形是菱形;③对角线互相垂直的矩形是正方形;④对角线相等的菱形是正方形;其中是真命题的有( )个.
如图,矩形ABCD中,AB=8,BC=4.点E在边AB上,点F在边CD上,点G、H在对角线AC上.若四边形EGFH是菱形,则AE的长是
( )