有没有大神能对这个分形的结论做一个严谨证明呀

这个题感觉注意到了分形的性质代码非常好写，但是不太会证。题解区在写什么我也看不懂