Существует ли прямоугольный треугольник с острым углом 30 градусов, стороны которого выражаются целыми числами

Рассмотрим прямоугольный треугольник  АВС у которого угол С=90 градусов, А=30 градусов. В прямоугольном треугольнике катет, лежащий против угла в 30 градусов равен половине гипотенузы. Тогда пусть ВС=х (х- целое число), АВ Соответственно 2х AC=√(AB^2-BC^2)= √((2x^2)-x^2)= √(4х^2-x^2)= √3x^2=x√3 А так как √3 число иррациональное то при целом значении х, сторона АС не может выражаться целым числом. Значит, такого треугольника не существует (извините написано топорно)