现有环境：
windows 10 64位
android studio arctic fox | 2020.3.1 Patch 3

遇到的问题：
无论如何修改androidstudio代理不起作用。最后发现是gradle.properties文件没有修改。

设置代理：
一般情况下， 第一次设置代理：
android studio --> 菜单“file” --> 菜单“settings…”

代理地址：mirrors.neusoft.edu.cn:80

注意事项：
设置完成后：这个代理地址，分别在项目的gradle.properties文件和grandle工具目录下的gradle.properties文件起作用。类似下图：

grandle工具目录：

grandle工具目录，可以设置的，我的电脑在D:\java\grandle。

若想再次修改代理地址，请检查这两个gradle.properties文件。应该把文件中的类似以下行删除。

systemProp.http.proxyHost=127.0.0.1
systemProp.http.proxyPort=8580
systemProp.https.proxyHost=127.0.0.1
systemProp.https.proxyPort=8580

然后，在settings…界面重新设入新的代理地址。确认后，点击AS主界面的"Sync Project Whit Grandle Files"工具栏按钮，同步所需要的库。

如有不足，请指正。

完毕。