{"version":9,"randomSeed":"e80a4dee55f6da6e443ca4e9e7c65273","graph":{"viewport":{"xmin":-2.106513224645269,"ymin":-7.6166193580656145,"xmax":12.28059903521955,"ymax":9.320965149197095}},"expressions":{"list":[{"type":"expression","id":"19","color":"#6042a6","latex":"R=8"},{"type":"expression","id":"20","color":"#000000","latex":"r=3","hidden":true},{"type":"expression","id":"21","color":"#c74440","latex":"\\left(x-R\\right)^{2}+y^{2}=r^{2}"},{"type":"folder","id":"49","title":"outer section: setup and expand","collapsed":true},{"type":"expression","id":"24","folderId":"49","color":"#6042a6","latex":"g_{o}\\left(y\\right)=R+\\sqrt{r^{2}-y^{2}}"},{"type":"expression","id":"26","folderId":"49","color":"#c74440","latex":"x=g_{o}'\\left(y\\right)"},{"type":"expression","id":"27","folderId":"49","color":"#2d70b3","latex":"x=-\\frac{y}{\\sqrt{r^{2}-y^{2}}}"},{"type":"expression","id":"22","folderId":"49","color":"#2d70b3","latex":"\\int_{-r}^{r}2\\pi g_{o}\\left(y\\right)\\sqrt{g_{o}'\\left(y\\right)^{2}+1}dy"},{"type":"expression","id":"25","folderId":"49","color":"#000000","latex":"\\int_{-r}^{r}2\\pi\\left(R+\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\left(-\\frac{y}{\\sqrt{r^{2}-y^{2}}}\\right)^{2}+1}dy"},{"type":"folder","id":"60","title":"outer section: pre-separation","collapsed":true},{"type":"expression","id":"28","folderId":"60","color":"#388c46","latex":"\\int_{-r}^{r}2\\pi\\left(R+\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\frac{y^{2}}{r^{2}-y^{2}}+1}dy"},{"type":"expression","id":"29","folderId":"60","color":"#6042a6","latex":"\\int_{-r}^{r}2\\pi\\left(R+\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\frac{r^{2}}{r^{2}-y^{2}}}dy"},{"type":"expression","id":"30","folderId":"60","color":"#000000","latex":"2\\pi\\int_{-r}^{r}\\frac{\\left(R+\\sqrt{r^{2}-y^{2}}\\right)r}{\\sqrt{r^{2}-y^{2}}}dy"},{"type":"expression","id":"31","folderId":"60","color":"#c74440","latex":"2\\pi\\int_{-r}^{r}\\frac{rR+r\\sqrt{r^{2}-y^{2}}}{\\sqrt{r^{2}-y^{2}}}dy"},{"type":"folder","id":"62","title":"outer section: post-separation","collapsed":true},{"type":"expression","id":"32","folderId":"62","color":"#2d70b3","latex":"2\\pi\\int_{-r}^{r}\\left(\\frac{rR}{\\sqrt{r^{2}-y^{2}}}+r\\right)dy"},{"type":"expression","id":"33","folderId":"62","color":"#388c46","latex":"2\\pi\\left(\\int_{-r}^{r}\\frac{rR}{\\sqrt{r^{2}-y^{2}}}dy+2r^{2}\\right)"},{"type":"expression","id":"34","folderId":"62","color":"#6042a6","latex":"2\\pi\\left(rR\\int_{-r}^{r}\\frac{1}{\\sqrt{r^{2}-y^{2}}}dy+2r^{2}\\right)"},{"type":"expression","id":"35","folderId":"62","color":"#000000","latex":"2\\pi\\left(R\\int_{-r}^{r}\\frac{1}{\\sqrt{1-\\left(\\frac{y}{r}\\right)^{2}}}dy+2r^{2}\\right)"},{"type":"expression","id":"36","folderId":"62","color":"#c74440","latex":"2\\pi\\left(Rr\\int_{-1}^{1}\\frac{1}{\\sqrt{1-u^{2}}}du+2r^{2}\\right)"},{"type":"folder","id":"64","title":"outer section: no more integrals","collapsed":true},{"type":"expression","id":"39","folderId":"64","color":"#388c46","latex":"2\\pi\\left(Rr\\left(\\arcsin\\left(1\\right)-\\arcsin\\left(-1\\right)\\right)+2r^{2}\\right)"},{"type":"expression","id":"40","folderId":"64","color":"#6042a6","latex":"2\\pi\\left(\\pi Rr+2r^{2}\\right)"},{"type":"expression","id":"41","folderId":"64","color":"#000000","latex":"2\\pi r\\left(\\pi R+2r\\right)"},{"type":"folder","id":"52","title":"inner section: setup and expand","collapsed":true},{"type":"expression","id":"53","folderId":"52","color":"#2d70b3","latex":"g_{i}\\left(y\\right)=R-\\sqrt{r^{2}-y^{2}}"},{"type":"expression","id":"54","folderId":"52","color":"#388c46","latex":"x=g_{i}'\\left(y\\right)"},{"type":"expression","id":"55","folderId":"52","color":"#6042a6","latex":"x=\\frac{y}{\\sqrt{r^{2}-y^{2}}}"},{"type":"expression","id":"65","folderId":"52","color":"#000000","latex":"\\int_{-r}^{r}2\\pi g_{i}\\left(y\\right)\\sqrt{g_{i}'\\left(y\\right)^{2}+1}dy"},{"type":"expression","id":"66","folderId":"52","color":"#c74440","latex":"\\int_{-r}^{r}2\\pi\\left(R-\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\left(\\frac{y}{\\sqrt{r^{2}-y^{2}}}\\right)^{2}+1}dy"},{"type":"folder","id":"69","title":"inner section: pre-separation","collapsed":true},{"type":"expression","id":"70","folderId":"69","color":"#6042a6","latex":"\\int_{-r}^{r}2\\pi\\left(R-\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\frac{y^{2}}{r^{2}-y^{2}}+1}dy"},{"type":"expression","id":"71","folderId":"69","color":"#000000","latex":"\\int_{-r}^{r}2\\pi\\left(R-\\sqrt{r^{2}-y^{2}}\\right)\\sqrt{\\frac{r^{2}}{r^{2}-y^{2}}}dy"},{"type":"expression","id":"72","folderId":"69","color":"#c74440","latex":"2\\pi\\int_{-r}^{r}\\frac{\\left(R-\\sqrt{r^{2}-y^{2}}\\right)r}{\\sqrt{r^{2}-y^{2}}}dy"},{"type":"expression","id":"73","folderId":"69","color":"#2d70b3","latex":"2\\pi\\int_{-r}^{r}\\frac{rR-r\\sqrt{r^{2}-y^{2}}}{\\sqrt{r^{2}-y^{2}}}dy"},{"type":"folder","id":"75","title":"outer section: post-separation","collapsed":true},{"type":"expression","id":"76","folderId":"75","color":"#6042a6","latex":"2\\pi\\int_{-r}^{r}\\left(\\frac{rR}{\\sqrt{r^{2}-y^{2}}}-r\\right)dy"},{"type":"expression","id":"77","folderId":"75","color":"#000000","latex":"2\\pi\\left(\\int_{-r}^{r}\\frac{rR}{\\sqrt{r^{2}-y^{2}}}dy-2r^{2}\\right)"},{"type":"expression","id":"79","folderId":"75","color":"#2d70b3","latex":"2\\pi\\left(rR\\int_{-r}^{r}\\frac{1}{\\sqrt{r^{2}-y^{2}}}dy-2r^{2}\\right)"},{"type":"text","id":"81","folderId":"75","text":"you get the idea; it's just a sign change; let's skip to the conclusion"},{"type":"expression","id":"82","folderId":"75","color":"#6042a6","latex":"2\\pi r\\left(\\pi R-2r\\right)"},{"type":"text","id":"83","text":"add results of inner and outer sections"},{"type":"expression","id":"84","color":"#000000","latex":"2\\pi r\\left(\\pi R+2r\\right)+2\\pi r\\left(\\pi R-2r\\right)"},{"type":"expression","id":"85","color":"#c74440","latex":"2\\pi r\\left(\\pi R+2r+\\pi R-2r\\right)"},{"type":"expression","id":"86","color":"#2d70b3","latex":"2\\pi r\\left(2\\pi R\\right)"},{"type":"expression","id":"87","color":"#388c46","latex":"4\\pi^{2}Rr"}]}}