【院試解答】東京大学大学院 情報理工学系 数学 2019年度 第2問

utokyo-ist-math-2019-2.svg

<svg height="296.67pt" viewBox="0 0 164.79 98.89" width="494.37pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"><clipPath id="a"><path d="m75 15h1v83.773438h-1zm0 0"/></clipPath><symbol id="b" overflow="visible"><path d="m7.171875-3.375c0-2.03125-1.5-3.640625-3.3125-3.640625-1.78125 0-3.296875 1.59375-3.296875 3.640625s1.53125 3.59375 3.296875 3.59375c1.8125 0 3.3125-1.578125 3.3125-3.59375zm-3.296875 3.328125c-.953125 0-2.296875-.875-2.296875-3.46875 0-2.578125 1.453125-3.25 2.28125-3.25.875 0 2.296875.703125 2.296875 3.25 0 2.640625-1.375 3.46875-2.28125 3.46875zm0 0"/></symbol><symbol id="c" overflow="visible"><path d="m2.234375-3.515625v-2.578125c0-.21875 0-.34375.21875-.375.09375-.015625.390625-.015625.578125-.015625.90625 0 2.015625.03125 2.015625 1.484375 0 .6875-.234375 1.484375-1.71875 1.484375zm2.09375.125c.96875-.234375 1.75-.84375 1.75-1.609375 0-.96875-1.140625-1.796875-2.609375-1.796875h-3.125v.3125h.25c.765625 0 .78125.109375.78125.46875v5.234375c0 .359375-.015625.46875-.78125.46875h-.25v.3125c.359375-.03125 1.0625-.03125 1.453125-.03125s1.09375 0 1.453125.03125v-.3125h-.234375c-.765625 0-.78125-.109375-.78125-.46875v-2.515625h1.140625c.15625 0 .578125 0 .921875.34375.375.359375.375.65625.375 1.328125 0 .65625 0 1.046875.421875 1.421875.40625.359375.953125.421875 1.25.421875.765625 0 .9375-.8125.9375-1.09375 0-.0625 0-.171875-.125-.171875-.109375 0-.109375.09375-.125.15625-.046875.71875-.40625.890625-.65625.890625-.484375 0-.5625-.5-.703125-1.4375l-.125-.796875c-.1875-.625-.671875-.953125-1.21875-1.15625zm0 0"/></symbol><symbol id="d" overflow="visible"><path d="m1.109375-2.515625c.0625-1.46875.90625-1.71875 1.234375-1.71875 1.03125 0 1.125 1.34375 1.125 1.71875zm0 .21875h2.765625c.21875 0 .25 0 .25-.21875 0-.984375-.53125-1.9375-1.78125-1.9375-1.15625 0-2.0625 1.015625-2.0625 2.265625 0 1.328125 1.046875 2.296875 2.1875 2.296875 1.21875 0 1.65625-1.109375 1.65625-1.296875 0-.09375-.078125-.109375-.125-.109375-.09375 0-.109375.046875-.125.125-.359375 1.03125-1.25 1.03125-1.34375 1.03125-.5 0-.90625-.296875-1.125-.671875-.296875-.46875-.296875-1.125-.296875-1.484375zm0 0"/></symbol><symbol id="e" overflow="visible"><path d="m2.234375-6.015625c0-.359375.03125-.46875.828125-.46875h.25v-.3125c-.34375.03125-1.125.03125-1.515625.03125s-1.171875 0-1.515625-.03125v.3125h.25c.796875 0 .828125.109375.828125.46875v5.234375c0 .359375-.03125.46875-.828125.46875h-.25v.3125c.34375-.03125 1.125-.03125 1.515625-.03125s1.171875 0 1.515625.03125v-.3125h-.25c-.796875 0-.828125-.109375-.828125-.46875zm0 0"/></symbol><symbol id="f" overflow="visible"><path d="m1.09375-3.421875v2.671875c0 .4375-.109375.4375-.78125.4375v.3125c.359375-.015625.859375-.03125 1.125-.03125s.78125.015625 1.125.03125v-.3125c-.671875 0-.78125 0-.78125-.4375v-1.84375c0-1.03125.703125-1.59375 1.34375-1.59375.625 0 .734375.546875.734375 1.109375v2.328125c0 .4375-.109375.4375-.78125.4375v.3125c.359375-.015625.859375-.03125 1.125-.03125s.78125.015625 1.125.03125v-.3125c-.671875 0-.78125 0-.78125-.4375v-1.84375c0-1.03125.703125-1.59375 1.34375-1.59375.625 0 .734375.546875.734375 1.109375v2.328125c0 .4375-.109375.4375-.765625.4375v.3125c.34375-.015625.84375-.03125 1.125-.03125.25 0 .765625.015625 1.109375.03125v-.3125c-.515625 0-.765625 0-.78125-.296875v-1.90625c0-.84375 0-1.15625-.3125-1.515625-.125-.171875-.453125-.375-1.03125-.375-.84375 0-1.28125.609375-1.453125.984375-.140625-.875-.875-.984375-1.328125-.984375-.71875 0-1.1875.4375-1.46875 1.046875v-1.046875l-1.40625.109375v.3125c.703125 0 .78125.078125.78125.5625zm0 0"/></symbol><symbol id="g" overflow="visible"><path d="m1.765625-4.40625-1.390625.109375v.3125c.640625 0 .734375.0625.734375.546875v2.6875c0 .4375-.109375.4375-.78125.4375v.3125c.3125-.015625.859375-.03125 1.09375-.03125.34375 0 .703125.015625 1.03125.03125v-.3125c-.65625 0-.6875-.046875-.6875-.4375zm.03125-1.71875c0-.328125-.25-.53125-.515625-.53125-.3125 0-.53125.265625-.53125.53125s.21875.515625.53125.515625c.265625 0 .515625-.203125.515625-.515625zm0 0"/></symbol><symbol id="h" overflow="visible"><path d="m7.5625-6.921875c0-.03125-.015625-.09375-.109375-.09375-.03125 0-.03125.015625-.140625.125l-.703125.765625c-.09375-.140625-.546875-.890625-1.65625-.890625-2.21875 0-4.453125 2.203125-4.453125 4.5 0 1.65625 1.171875 2.734375 2.6875 2.734375.875 0 1.625-.390625 2.15625-.859375.921875-.8125 1.09375-1.71875 1.09375-1.75 0-.09375-.09375-.09375-.125-.09375-.046875 0-.109375.015625-.125.09375-.09375.296875-.3125 1-1 1.578125-.6875.546875-1.3125.71875-1.828125.71875-.90625 0-1.953125-.515625-1.953125-2.0625 0-.578125.203125-2.1875 1.203125-3.34375.609375-.703125 1.546875-1.203125 2.421875-1.203125 1.015625 0 1.609375.765625 1.609375 1.921875 0 .390625-.03125.40625-.03125.5s.109375.09375.15625.09375c.125 0 .125-.015625.171875-.1875zm0 0"/></symbol><symbol id="i" overflow="visible"><path d="m3.734375-6.109375c.0625-.234375.09375-.34375.28125-.375h.609375c.703125 0 1.796875 0 1.796875.984375 0 .328125-.15625 1.015625-.546875 1.40625-.25.265625-.78125.578125-1.671875.578125h-1.125zm1.4375 2.71875c1-.21875 2.1875-.90625 2.1875-1.921875 0-.84375-.90625-1.484375-2.203125-1.484375h-2.84375c-.1875 0-.28125 0-.28125.203125 0 .109375.09375.109375.28125.109375.015625 0 .203125 0 .375.015625s.265625.03125.265625.15625c0 .046875 0 .078125-.03125.1875l-1.34375 5.34375c-.09375.390625-.109375.46875-.90625.46875-.171875 0-.265625 0-.265625.203125 0 .109375.125.109375.140625.109375.28125 0 .96875-.03125 1.25-.03125s.984375.03125 1.265625.03125c.078125 0 .203125 0 .203125-.203125 0-.109375-.09375-.109375-.28125-.109375-.359375 0-.640625 0-.640625-.171875 0-.0625.015625-.109375.03125-.171875l.65625-2.640625h1.171875c.90625 0 1.09375.5625 1.09375.90625 0 .15625-.078125.453125-.140625.6875-.0625.28125-.15625.640625-.15625.84375 0 1.078125 1.1875 1.078125 1.3125 1.078125.859375 0 1.203125-1 1.203125-1.140625 0-.125-.109375-.125-.125-.125-.078125 0-.109375.078125-.125.140625-.25.734375-.671875.90625-.90625.90625-.328125 0-.390625-.21875-.390625-.609375 0-.3125.046875-.8125.09375-1.125.015625-.140625.03125-.328125.03125-.46875 0-.765625-.65625-1.078125-.921875-1.1875zm0 0"/></symbol><symbol id="j" overflow="visible"><path d="m5.140625-6.796875c0-.015625 0-.109375-.140625-.109375s-1.09375.09375-1.25.109375c-.09375.015625-.140625.0625-.140625.1875s.078125.125.234375.125c.46875 0 .5.0625.5.171875l-.03125.1875-.59375 2.359375c-.1875-.359375-.46875-.640625-.921875-.640625-1.171875 0-2.40625 1.46875-2.40625 2.921875 0 .9375.5625 1.59375 1.328125 1.59375.203125 0 .703125-.046875 1.296875-.75.078125.421875.421875.75.90625.75.34375 0 .578125-.234375.734375-.546875.171875-.359375.296875-.96875.296875-.984375 0-.09375-.09375-.09375-.109375-.09375-.109375 0-.109375.03125-.140625.171875-.171875.640625-.359375 1.234375-.765625 1.234375-.265625 0-.296875-.265625-.296875-.453125 0-.25.015625-.3125.0625-.484375zm-2.078125 5.609375c-.046875.1875-.046875.203125-.203125.375-.4375.546875-.84375.703125-1.125.703125-.484375 0-.625-.546875-.625-.9375 0-.5.3125-1.71875.546875-2.171875.296875-.59375.75-.96875 1.15625-.96875.640625 0 .78125.828125.78125.890625 0 .046875-.015625.109375-.03125.15625zm0 0"/></symbol><symbol id="k" overflow="visible"><path d="m2.328125-4.4375c0-.1875 0-.1875-.203125-.1875-.453125.4375-1.078125.4375-1.359375.4375v.25c.15625 0 .625 0 1-.1875v3.546875c0 .234375 0 .328125-.6875.328125h-.265625v.25c.125 0 .984375-.03125 1.234375-.03125.21875 0 1.09375.03125 1.25.03125v-.25h-.265625c-.703125 0-.703125-.09375-.703125-.328125zm0 0"/></symbol><symbol id="l" overflow="visible"><path d="m3.515625-1.265625h-.234375c-.015625.15625-.09375.5625-.1875.625-.046875.046875-.578125.046875-.6875.046875h-1.28125c.734375-.640625.984375-.84375 1.390625-1.171875.515625-.40625 1-.84375 1-1.5 0-.84375-.734375-1.359375-1.625-1.359375-.859375 0-1.453125.609375-1.453125 1.25 0 .34375.296875.390625.375.390625.15625 0 .359375-.125.359375-.375 0-.125-.046875-.375-.40625-.375.21875-.484375.6875-.640625 1.015625-.640625.703125 0 1.0625.546875 1.0625 1.109375 0 .609375-.4375 1.078125-.65625 1.328125l-1.671875 1.671875c-.078125.0625-.078125.078125-.078125.265625h2.875zm0 0"/></symbol><symbol id="m" overflow="visible"><path d="m1.90625-2.328125c.546875 0 .9375.375.9375 1.125 0 .859375-.515625 1.125-.90625 1.125-.28125 0-.90625-.078125-1.1875-.5.328125 0 .40625-.234375.40625-.390625 0-.21875-.171875-.375-.390625-.375-.1875 0-.390625.125-.390625.40625 0 .65625.71875 1.078125 1.5625 1.078125.96875 0 1.640625-.65625 1.640625-1.34375 0-.546875-.4375-1.09375-1.203125-1.25.71875-.265625.984375-.78125.984375-1.21875 0-.546875-.625-.953125-1.40625-.953125-.765625 0-1.359375.375-1.359375.9375 0 .234375.15625.359375.359375.359375.21875 0 .359375-.15625.359375-.34375 0-.203125-.140625-.359375-.359375-.375.25-.296875.71875-.375.984375-.375.3125 0 .75.15625.75.75 0 .296875-.09375.625-.28125.828125-.21875.265625-.421875.28125-.765625.3125-.171875.015625-.1875.015625-.21875.015625-.015625 0-.078125.015625-.078125.09375 0 .09375.0625.09375.1875.09375zm0 0"/></symbol><symbol id="n" overflow="visible"><path d="m3.6875-1.140625v-.25h-.78125v-3.109375c0-.140625 0-.203125-.140625-.203125-.09375 0-.125 0-.1875.109375l-2.3125 3.203125v.25h2.0625v.5625c0 .25 0 .328125-.578125.328125h-.1875v.25c.359375-.015625.796875-.03125 1.046875-.03125.265625 0 .703125.015625 1.0625.03125v-.25h-.1875c-.578125 0-.578125-.078125-.578125-.328125v-.5625zm-1.3125-2.796875v2.546875h-1.84375zm0 0"/></symbol><symbol id="o" overflow="visible"><path d="m6.5625-2.296875c.171875 0 .34375 0 .34375-.1875 0-.203125-.171875-.203125-.34375-.203125h-5.390625c-.171875 0-.34375 0-.34375.203125 0 .1875.171875.1875.34375.1875zm0 0"/></symbol><use x="78.741656" xlink:href="#b" y="66.746951"/><path d="m-70.867111.00075348h139.740351" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".3985" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m146.003906 70.261719-3.183594-1.589844 1.191407 1.589844-1.191407 1.59375"/><g><use x="149.518461" xlink:href="#c" y="73.662139"/><use x="156.842598" xlink:href="#d" y="73.662139"/></g><g clip-path="url(#a)"><path d="m.00042741-28.347827v83.047103" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".3985" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/></g><path d="m75.226562 13.640625-1.59375 3.183594 1.59375-1.191407 1.589844 1.191407"/><g><use x="69.283708" xlink:href="#e" y="10.126106"/><use x="72.876625" xlink:href="#f" y="10.126106"/></g><path d="m-56.692821.00075348v28.34466852h113.386497v-28.34466852zm0 0" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".79701" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m-56.692821.00075348h54.104016" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".79701" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m75.226562 70.261719-4.140624-2.070313 1.554687 2.070313-1.554687 2.070312"/><use x="59.93662" xlink:href="#h" y="80.776073"/><use x="67.048557" xlink:href="#k" y="82.268172"/><path d="m56.693676.00075348v11.58114552" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".79701" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m131.847656 56.105469-2.070312 4.140625 2.070312-1.550782 2.070313 1.550782"/><use x="135.562246" xlink:href="#h" y="58.760129"/><use x="142.674183" xlink:href="#l" y="60.252228"/><path d="m56.693676 28.345422h-54.104016" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".79701" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m75.226562 41.953125 4.140626 2.066406-1.554688-2.066406 1.554688-2.070313"/><use x="78.940402" xlink:href="#h" y="36.745184"/><use x="86.052339" xlink:href="#m" y="38.237283"/><path d="m-56.692821 28.345422v-11.581146" fill="none" stroke="#000" stroke-miterlimit="10" stroke-width=".79701" transform="matrix(.998727 0 0 -.998727 75.226136 70.262471)"/><path d="m18.605469 56.105469 2.070312-4.136719-2.070312 1.550781-2.070313-1.550781"/><use x="3.314776" xlink:href="#h" y="58.760129"/><use x="10.426713" xlink:href="#n" y="60.252228"/><use x="128.031843" xlink:href="#i" y="80.577327"/><use x="10.919085" xlink:href="#o" y="80.577327"/><use x="18.658223" xlink:href="#i" y="80.577327"/><use x="63.767738" xlink:href="#g" y="52.377263"/><use x="66.532215" xlink:href="#j" y="52.377263"/></svg>