Yesterday I proved my first theorem! It's quite dumb and all, but it says that for any number of sides n, the polygon with most area you can inscribe in a circumference is a regular polygon. I haven't found a proof for anything like this, but I'd like to know whether somebody has proved it ever before.
I expect it to be proven, but if not, what could I do with the proof? Is there somewhere I can check for proofs to theorems online, maybe?