Trig Problem 12 - Pythagorean relations with irrational lengths

Rate Mr. X