they generate about 3,800kWh per year. We also use about 3,800kWh of electricity each year
Obviously, we can't use all the power produced over summer and we need to buy power in winter. So here's my question: How big a battery would we need in order to be completely self-sufficient?
O, god, it's going to be huge. You really can't do the off-grid thing unless you have enough power production to satiate you over any given 3-day moving window. Trying to store power from summer until winter is going to be too expensive, instead buy more panel.
This isn't even going into the fact batteries lose charge slowly. So any power generated in summer will be much diminished by winter, even if you have big enough batteries.