Tekromancer on Nostr: For some reason, all night I dreamed it was critically important I find solutions for ...

For some reason, all night I dreamed it was critically important I find solutions for (a,b,c)∈ℤ such that a/b=b/(a+c). I have no idea why. I came back to this several times over the night.

Anyway, I just wrote it up in Python and got (2,4,6), (3,6,9), and (4,6,5) for (a,b,c)∈[2,10].

If this is some global dream we all had about keeping away the alien invaders, there ya go, solved in.