第二十届“希望杯”一道解答题的探源及解法分析

题目1（第20届希望杯初二决赛第22题）如图1，一次函数y=-√3x＋√3的图像与x轴、y轴分别交于点A、B，以线段AB为直角边在第一象限内作Rt△ABC，且使∠ABC=30°。