Если a^2/b^2 несократимо, оно не может быть целым числом, если только b=1. Любой простой делитель b должен был бы делить a.
Я даже не помню, где я оставил что-то о более простом доказательстве. Это работает для иррациональности на ЛЮБОМ неквадрате.
Вам следовало бы поместить заголовок в свой комментарий на моей странице обсуждения. Я почти не смог этого увидеть. DrHow ( обсуждение ) 11:41, 16 сентября 2020 г. (UTC)