Rational and irrational numbers/Pythagorean triple in unit interval/Exercise/Solution