是的，一定是无理数。
用反证法易证。
设a为无理数，b为非0有理数，c=ab
假设c为有理数，则有a=c/b
右边c, b都为有理数，故c/b为有理数
因此左边a也只能为有理数，矛盾。
得证。
扩展资料：
无理数的发现：
公元前500年，毕达哥拉斯学派的弟子希伯索斯（Hippasus）发现了一个惊人的事实，一个正方形的对角线与其一边的长度是不可公度的（若正方形的边长为1，则对角线的长不是一个有理数），这一不可公度性与毕氏学派的“万物皆为数”（指有理数）的哲理大相径庭。
这一发现使该学派领导人惶恐，认为这将动摇他们在学术界的统治地位，于是极力封锁该真理的流传，希伯索斯被迫流亡他乡，不幸的是，在一条海船上还是遇到毕氏门徒。被毕氏门徒残忍地投入了水中杀害。科学史就这样拉开了序幕，却是一场悲剧。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024