在HTML中引入外部JavaScript文件有几种方法，下面将详细介绍每种方法的使用。

方法一：使用`

```

上面的代码会将`ｓｃｒｉｐｔ.js`文件引入到HTML文档中。要注意的是，需要确保`ｓｃｒｉｐｔ.js`文件与HTML文档在相同的目录下，或者使用正确的相对路径指定文件的位置。

这种方法的优点是简单和易于理解，也容易维护。但是，要注意使用`

```

这样，脚本文件会在HTML文档解析完毕后被执行，不会阻塞页面的渲染。但是，要注意使用`defer`属性时，脚本文件的加载和解析仍然会阻塞后续脚本的加载和执行。

方法三：使用async属性异步加载脚本

为了进一步提高页面加载的性能，可以使用`async`属性异步加载脚本。这个属性告诉浏览器在脚本文件加载完毕后立即执行脚本，而不管HTML文档是否解析完毕。例如：

```html

```

这样，脚本文件会在加载完毕后立即执行，不会阻塞页面的渲染。并且，如果有多个脚本文件需要加载，它们会并行加载，并且在加载完毕后按照它们在HTML文档中的顺序执行。但是，要注意使用`async`属性时，脚本文件的执行可能会在HTML文档解析完毕之前开始，这可能会导致一些问题。

方法四：使用动态创建`

```

上面的代码会在页面加载完成后动态创建一个`<ｓｃｒｉｐｔ>`元素，并设置其`src`属性为`ｓｃｒｉｐｔ.js`，然后将它添加到页面的``元素中。这样，脚本文件会在页面加载完成后加载和执行。

这种方法的优点是可以在需要时动态加载脚本，并且可以在`<ｓｃｒｉｐｔ>`元素的`onload`事件中执行脚本。这样可以更好地控制脚本的加载和执行时机。

需要注意的是，在使用`<ｓｃｒｉｐｔ>`标签引入外部JavaScript文件时，可以将其放在``元素中或者在``元素中的任意位置。但是，一般推荐将脚本文件放在``元素的最下面，这样可以确保页面的其他内容都已经加载完毕。

总结起来，HTML中引入外部JavaScript文件的方法有四种：使用`<ｓｃｒｉｐｔ>`标签引入、使用`defer`属性延迟脚本的执行、使用`async`属性异步加载脚本、使用动态创建`<ｓｃｒｉｐｔ>`元素的方式加载脚本。每种方法都有自己的特点，可以根据实际需求选择适合的方法。