I like the infinite triangles construct. Once A and C can be constructed from a,b,c, the theorem can be proven by proving A^2 +c^2 = C^2 with expanding/reducing the equation to 4a^2b^2c^2 - 2a^2b^2c^2 = 2a^2b^2c^2, which is true. No sin rule required.