三平方の定理のある証明で使われる図