File:Square_root_of_2_triangle.svg loading ...