ajax怎么引用js文件

想使用ajax实现局部页面刷新。

在网上找不到ajax的js文件，怎么实现么。

<script src="jquery-1.12.4/jquery-1.12.4.js"></script>

$("button").click(function(){
    $.ajax({url:"demo_test.txt",success:function(result){
        $("#div1").html(result);
    }});
});