前帖说：“
对大三角形用正弦定理：
sin(s)/sin(t)=15√(13)/[21√(5)]。”

这一步应为
sin(s)/sin(t)=16√(13)/[24√(5)].

更正后可得 cot(α)=2/3。前帖是5/7。
从而cos(α)=2/√(13)。与樊教授cos(t)相等。

继续做下去可得正方形边长为√(13)。也没原来那么复杂。