在初中几何中“两相交线对角相等”有这个定义吗