>>535
正17角形は作図可能だから√を使って一応解けるはずでは?