三平方の定理は"直角三角形は相似分割できる"ということと同値である。