{"version":9,"randomSeed":"1fa4effc487dfb75a3d8d8bfa345d3ed","graph":{"viewport":{"xmin":-0.6732681516422161,"ymin":-0.17255572704972622,"xmax":2.7741246679110434,"ymax":2.136673863753365}},"expressions":{"list":[{"type":"folder","id":"11","title":"setup","collapsed":true},{"type":"text","id":"3","folderId":"11","text":"function"},{"type":"expression","id":"4","folderId":"11","color":"#388c46","latex":"f\\left(x\\right)=\\sin x"},{"type":"text","id":"6","folderId":"11","text":"bounds"},{"type":"expression","id":"7","folderId":"11","color":"#000000","latex":"a=0"},{"type":"expression","id":"8","folderId":"11","color":"#c74440","latex":"b=\\frac{\\pi}{2}","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"\\pi"}},{"type":"text","id":"36","folderId":"11","text":"difference between greater and lesser"},{"type":"expression","id":"37","folderId":"11","color":"#c74440","latex":"D\\left(w,z\\right)=\\max\\left(w,z\\right)-\\min\\left(w,z\\right)"},{"type":"folder","id":"75","title":"single-trapezoid bound","collapsed":true},{"type":"expression","id":"32","folderId":"75","color":"#388c46","latex":"A_{1}=\\left(b-a\\right)\\cdot\\min\\left(f\\left(a\\right),f\\left(b\\right)\\right)+\\frac{1}{2}\\left(b-a\\right)D\\left(f\\left(a\\right),f\\left(b\\right)\\right)"},{"type":"folder","id":"25","title":"true area","collapsed":true},{"type":"expression","id":"71","folderId":"25","color":"#388c46","latex":"A_{5}=\\int_{a}^{b}f\\left(x\\right)dx"},{"type":"folder","id":"77","title":"double-trapezoid intersection point","collapsed":true},{"type":"expression","id":"42","folderId":"77","color":"#000000","latex":"y=f'\\left(a\\right)\\left(x-a\\right)+f\\left(a\\right)","hidden":true},{"type":"expression","id":"46","folderId":"77","color":"#6042a6","latex":"y=f'\\left(b\\right)\\left(x-b\\right)+f\\left(b\\right)","hidden":true},{"type":"expression","id":"47","folderId":"77","color":"#6042a6","latex":"f'\\left(a\\right)x-y=af'\\left(a\\right)-f\\left(a\\right)"},{"type":"expression","id":"48","folderId":"77","color":"#6042a6","latex":"f'\\left(b\\right)x-y=bf'\\left(b\\right)-f\\left(b\\right)"},{"type":"text","id":"50","folderId":"77","text":"solution by Cramer's rule (again)"},{"type":"expression","id":"52","folderId":"77","color":"#6042a6","latex":"d=f'\\left(b\\right)-f'\\left(a\\right)"},{"type":"expression","id":"51","folderId":"77","color":"#388c46","latex":"p=\\frac{\\left(bf'\\left(b\\right)-f\\left(b\\right)\\right)-\\left(af'\\left(a\\right)-f\\left(a\\right)\\right)}{d}"},{"type":"expression","id":"53","folderId":"77","color":"#000000","latex":"q=\\frac{f'\\left(a\\right)\\left(bf'\\left(b\\right)-f\\left(b\\right)\\right)-f'\\left(b\\right)\\left(af'\\left(a\\right)-f\\left(a\\right)\\right)}{d}"},{"type":"expression","id":"54","folderId":"77","color":"#6042a6","latex":"\\left(p,q\\right)"},{"type":"folder","id":"79","title":"double-trapezoid area","collapsed":true},{"type":"expression","id":"57","folderId":"79","color":"#388c46","latex":"A_{2}=\\left(p-a\\right)\\min\\left(f\\left(a\\right),q\\right)+\\frac{1}{2}\\left(p-a\\right)D\\left(f\\left(a\\right),q\\right)"},{"type":"expression","id":"58","folderId":"79","color":"#6042a6","latex":"A_{3}=\\left(b-p\\right)\\min\\left(f\\left(b\\right),q\\right)+\\frac{1}{2}\\left(b-p\\right)D\\left(f\\left(b\\right),q\\right)"},{"type":"expression","id":"59","folderId":"79","color":"#000000","latex":"A_{4}=A_{2}+A_{3}"},{"type":"folder","id":"13","title":"display","collapsed":true},{"type":"text","id":"18","folderId":"13","text":"bounds"},{"type":"expression","id":"14","folderId":"13","color":"#2d70b3","latex":"x=a\\left\\{yf\\left(x\\right)\\ge0\\right\\}\\left\\{\\left|y\\right|<\\left|f\\left(x\\right)\\right|\\right\\}"},{"type":"expression","id":"15","folderId":"13","color":"#2d70b3","latex":"x=b\\left\\{yf\\left(x\\right)\\ge0\\right\\}\\left\\{\\left|y\\right|<\\left|f\\left(x\\right)\\right|\\right\\}"},{"type":"text","id":"20","folderId":"13","text":"true area"},{"type":"expression","id":"16","folderId":"13","color":"#2d70b3","latex":"a\\le x\\left\\{b\\ge x\\right\\}\\left\\{yf\\left(x\\right)\\ge0\\right\\}\\left\\{\\left|y\\right|<\\left|f\\left(x\\right)\\right|\\right\\}","lines":false,"fillOpacity":"0.2"},{"type":"expression","id":"67","folderId":"13","color":"#000000","latex":"\\left(\\frac{b-a}{2},\\frac{1}{3}f\\left(\\frac{b-a}{2}\\right)\\right)","showLabel":true,"label":"ST bound: ${A_1}","labelSize":"2","labelOrientation":"right","suppressTextOutline":true},{"type":"expression","id":"68","folderId":"13","color":"#000000","latex":"\\left(\\frac{b-a}{2},\\frac{2}{3}f\\left(\\frac{b-a}{2}\\right)\\right)","showLabel":true,"label":"True area: ${A_5}","labelSize":"2","labelOrientation":"right","suppressTextOutline":true},{"type":"expression","id":"72","folderId":"13","color":"#000000","latex":"\\left(\\frac{b-a}{2},f\\left(\\frac{b-a}{2}\\right)\\right)","showLabel":true,"label":"DT bound: ${A_4}","labelSize":"2","labelOrientation":"right","suppressTextOutline":true},{"type":"text","id":"22","folderId":"13","text":"single trapezoid bound"},{"type":"expression","id":"31","folderId":"13","color":"#c74440","latex":"y-f\\left(a\\right)=\\left(\\frac{f\\left(b\\right)-f\\left(a\\right)}{b-a}\\right)\\cdot\\left(x-a\\right)\\left\\{a\\le x\\right\\}\\left\\{b\\ge x\\right\\}"},{"type":"expression","id":"23","folderId":"13","color":"#c74440","latex":"yf\\left(x\\right)\\ge0\\left\\{y-f\\left(a\\right)\\le\\frac{f\\left(b\\right)-f\\left(a\\right)}{b-a}\\left(x-a\\right)\\right\\}\\left\\{a\\le x\\right\\}\\left\\{b\\ge x\\right\\}","fillOpacity":"0.2"},{"type":"text","id":"63","folderId":"13","text":"dual-trapezoid bound"},{"type":"expression","id":"64","folderId":"13","color":"#6042a6","latex":"yf\\left(x\\right)\\ge0\\left\\{y-f\\left(a\\right)\\le f'\\left(a\\right)\\left(x-a\\right)\\right\\}\\left\\{a\\le x\\right\\}\\left\\{p\\ge x\\right\\}","fillOpacity":"0.2"},{"type":"expression","id":"66","folderId":"13","color":"#6042a6","latex":"yf\\left(x\\right)\\ge0\\left\\{y-f\\left(b\\right)\\le f'\\left(b\\right)\\left(x-b\\right)\\right\\}\\left\\{p\\le x\\right\\}\\left\\{b\\ge x\\right\\}","lines":true,"fillOpacity":"0.2"}]}}