姚志源的父亲叫姚学明，也就是姚明的爷爷，当时也没有那么复杂的想法，不像现在还得查字典，或者是上网查，当时没有，就是把爷爷名字中间的“学”字去掉，爷爷叫姚学明，孩子就叫姚明，很普通的一个名字