Здравствуйте, Аноним, Вы писали:

А>

Мы попросили людей разных профессий ответить на этот вопрос.

Тополог.
— Ну здесь все просто. Прямая делит пространство на два подмножества, являсь их общей границей. Две прямые -- на четыре подмножества. Эллипс лежит полностью в одном из них, причем при "непрерывном" перемещении прямых точка пересечения образует границу множества, в котором лежит овал, а значит эта граница этого множества топологически эквивалентна окружности, внутри которой и лежит эллипс -- суть та же окружность.
— А как же прямой угол, расстояние?
— Расстояния и углы нас не интересуют. Научитесь ставить правильные вопросы.

Философ.
— Я провел мысленный эксперимент. Допустим, мы пометили яйцо сбоку красной точкой и положили его так, чтобы оно касалось одновременно стенки и пола. Если мы теперь будем вращать его так, чтобы оно продолжало касаться и стенки, и, конечно же, пола, и так, чтобы красная точка всегда находилась слева, то она удивительнейшим образом будет описывать кривую, весьма напоминающую дугу окружности. Из этого можно сделать вывод, что человек в своем познании окружающего мира...
— Простите, а яйцо у Вас строго овальной формы?
— Вы знаете, молодой человек, Вы затронули весьма интересную философскую проблему. Вот Вы знаете, например, что в своих трудах Декарт...
— Э-э-э... Спасибо.

Алгебраист.
— Ну это несложно. Если радиусы a и b, точка касания (x,y), то x^2/a^2+y^2/b^2=1, и, "идя вдоль эллипса" (т.е. дифференцируя это тождество), получаем xdx/a^2+ydy/b^2=0 или ydy/b^2=-xdx/a^2, а угол наклона касательной dy/dx=-b^2/a^2*x/y. В другой точке (s,t) наклон dt/ds=-dx/dy (чтобы касательные были перпендикулярны). Т.е. -b^2/a^2*s/t=a^2/b^2*y/x или b^4/a^4*s^2/t^2=a^4/b^4*y^2/x^2. При этом обе лежат на эллипсе, т.е. t^2=b^2(1-s^2/a^2). Значит, b^2/a^2*s^2/(a^2-s^2)=a^2/b^2*(a^2-x^2)/x^2. Выражаем s^2 через x^2. s^2=a^6*(a^2-x^2)/((b^4-a^4)*x^2+a^6), t^2=b^6*x^2/((b^4-a^4)*x^2+a^6). Точка (x,y) -- прямая y-b^2/a^2*x/y*(u-x), точка (s,t) -- прямая t-b^2/a^2*s/t*(u-s), пересечение в точке, где y-b^2/a^2*x/y*(u-x)=t-b^2/a^2*s/t*(u-s) или t=y-b^2/a^2*[x/y*(u-x)-s/t*(u-s)]=y-b^2/a^2*[(x/y+a^4/b^4*y/x)*u-(x^2/y+a^4/b^4*y/x*s)], u=[a^2/b^2*(y-t)+(x/y*x+a^4/b^4*y/x*s)]/(x/y+a^4/b^4*y/x), вторая координата v=y-b^2/a^2*x/y*(u-x)=y-b^2/a^2*x*[a^2/b^2*(1-t/y)+a^4/b^4*(s/x-1)]/(x/y+a^4/b^4*y/x)=[a^4/b^4*y^2/x+t*x/y-a^2/b^2*(s-x)]/(x/y+a^4/b^4*y/x). Возводим обе координаты в квадрат и складываем (квадрат расстояния до центра): {[a^2/b^2*(y-t)+(x/y*x+a^4/b^4*y/x*s)]/(x/y+a^4/b^4*y/x)}^2+{[a^4/b^4*y^2/x+t*x/y-a^2/b^2*(s-x)]/(x/y+a^4/b^4*y/x)}^2={[a^2/b^2*(y-t)+(x^2/y+a^4/b^4*y/x*s)]^2+[a^4/b^4*y^2/x+t*x/y-a^2/b^2*(s-x)]^2}/(x/y+a^4/b^4*y/x)^2={a^4/b^4*(y-t)^2+2a^2/b^2*(y-t)*x/y*x+2a^2/b^2*(y-t)*a^4/b^4*y/x*s+x^4/y^2+2x^2/y*a^4/b^4*y/x*s+a^8/b^8*y^2/x^2*s^2+a^8/b^8*y^4/x^2+t^2*x^2/y^2+a^4/b^4*(s-x)^2+2a^4/b^4*y^2/x*t*x/y-2a^4/b^4*y^2/x*a^2/b^2*(s-x)-t*x/y*a^2/b^2*(s-x)}/(x/y+a^4/b^4*y/x)^2 теперь подставляем выражения для s^2 и t^2 ={a^4/b^4*(y^2+b^6*x^2/((b^4-a^4)*x^2+a^6)-2yt)+2a^2/b^2*(y-t)*x^2/y+2a^6/b^6*(y-t)*y/x*s+x^4/y^2+2x^2/y*a^4/b^4*y/x*s+a^14/b^8*y^2/x^2*(a^2-x^2)/((b^4-a^4)*x^2+a^6)+a^8/b^8*y^4/x^2+t^2*x^2/y^2+a^4/b^4*(s-x)^2+2a^4/b^4*y*t-2a^6/b^6*y^2/x*(s-x)-t*x/y*a^2/b^2*(s-x)}/(x/y+a^4/b^4*y/x)^2={a^4/b^4*(y^2*((b^4-a^4)*x^2+a^6)+b^6*x^2-2yt*((b^4-a^4)*x^2+a^6))+2a^2/b^2*(y-t)*x^2/y*((b^4-a^4)*x^2+a^6)+2a^6/b^6*(y-t)*y/x*s*((b^4-a^4)*x^2+a^6)+x^4/y^2*((b^4-a^4)*x^2+a^6)+2x^2/y*a^4/b^4*y/x*s*((b^4-a^4)*x^2+a^6)+a^14/b^8*y^2/x^2*(a^2-x^2)+a^8/b^8*y^4/x^2*((b^4-a^4)*x^2+a^6)+t^2*x^2/y^2*((b^4-a^4)*x^2+a^6)+a^4/b^4*(s-x)^2*((b^4-a^4)*x^2+a^6)+2a^4/b^4*y*t*((b^4-a^4)*x^2+a^6)-2a^6/b^6*y^2/x*(s-x)*((b^4-a^4)*x^2+a^6)-t*x/y*a^2/b^2*(s-x)*((b^4-a^4)*x^2+a^6)}/(x/y+a^4/b^4*y/x)^2/((b^4-a^4)*x^2+a^6) сейчас... я знак последний равенства потерял... ага, нашел ={a^4*y^2*x^2-a^8/b^4*y^2*x^2+a^10/b^4*y^2+a^4*b^2*x^2-a^4/b^4*2yt*b^4*x^2+a^4/b^4*2yt*a^4*x^2-a^4/b^4*2yt*a^6+2a^2/b^2*(1-t/y)*x^2*(b^4-a^4)*x^2+2a^2/b^2*(1-t/y)*x^2*a^6+2a^6/b^6*(y-t)*y/x*s*(b^4-a^4)*x^2+2a^6/b^6*(y-t)*y/x*s*a^6+x^4/y^2*(b^4-a^4)*x^2+x^4/y^2*a^6+2x^2/y*a^4/b^4*y/x*s*(b^4-a^4)*x^2+2x^2/y*a^4/b^4*y/x*s*a^6+a^14/b^8*y^2/x^2*a^2-a^14/b^8*y^2/x^2*x^2+a^8/b^8*y^4/x^2*b^4*x^2-a^8/b^8*y^4/x^2*a^4*x^2+a^8/b^8*y^4/x^2*a^6+t^2*x^4/y^2*b^4-t^2*x^4/y^2*a^4+t^2*x^2/y^2*a^6+a^4/b^4*(s-x)^2*(b^4-a^4)*x^2+a^4/b^4*(s-x)^2*a^6+2a^4/b^4*y*t*(b^4-a^4)*x^2+2a^4/b^4*y*t*a^6-2a^6/b^6*y^2/x*(s-x)*(b^4-a^4)*x^2-2a^6/b^6*y^2/x*(s-x)*a^6-t*x/y*a^2/b^2*(s-x)*(b^4-a^4)*x^2-t*x/y*a^2/b^2*(s-x)*a^6}/(x/y+a^4/b^4*y/x)^2/((b^4-a^4)*x^2+a^6)={a^4*y^2*x^2-a^8/b^4*y^2*x^2+a^10/b^4*y^2+a^4*b^2*x^2-a^4/b^4*2yt*b^4*x^2+a^4/b^4*2yt*a^4*x^2-a^4/b^4*2yt*a^6+2a^2/b^2*(1-t/y)*x^2*(b^4-a^4)*x^2+2a^2/b^2*(1-t/y)*x^2*a^6+2a^6/b^6*(y-t)*y/x*s*(b^4-a^4)*x^2+2a^6/b^6*(y-t)*y/x*s*a^6+x^4/y^2*(b^4-a^4)*x^2+x^4/y^2*a^6+2x^2/y*a^4/b^4*y/x*s*(b^4-a^4)*x^2+2x^2/y*a^4/b^4*y/x*s*a^6+a^14/b^8*y^2/x^2*a^2-a^14/b^8*y^2/x^2*x^2+a^8/b^8*y^4/x^2*b^4*x^2-a^8/b^8*y^4/x^2*a^4*x^2+a^8/b^8*y^4/x^2*a^6+t^2*x^4/y^2*b^4-t^2*x^4/y^2*a^4+t^2*x^2/y^2*a^6+a^4/b^4*(s-x)^2*(b^4-a^4)*x^2+a^4/b^4*(s-x)^2*a^6+2a^4/b^4*y*t*(b^4-a^4)*x^2+2a^4/b^4*y*t*a^6-2a^6/b^6*y^2/x*(s-x)*(b^4-a^4)*x^2-2a^6/b^6*y^2/x*(s-x)*a^6-t*x/y*a^2/b^2*(s-x)*(b^4-a^4)*x^2-t*x/y*a^2/b^2*(s-x)*a^6}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) я вот никак не пойму, на 31 странице Уайлс делает какой-то нестандартный переход, который может быть в общем случае неверным... так сокрашаем здесь тоже ={a^4*x^2*y^2-a^8/b^4*x^2*y^2+a^10/b^4*y^2+a^4*b^2*x^2+b^4*x^6/y^2-a^4*x^6/y^2+a^6*x^4/y^2+a^16/b^8*y^2/x^2-a^14/b^8*y^2+a^8/b^4*y^4-a^12/b^8*y^4+a^14/b^8*y^4/x^2+b^6*x^4/y^2+a^12/b^4-a^10/b^4*x^2+a^4*x^4-a^8/b^4*x^4+a^10/b^4*x^2-a^4/b^4*2y*b^4*x^2*t+a^4/b^4*2y*a^4*x^2*t-a^4/b^4*2y*a^6*t+(2a^4-2a^8/b^4)*x^2*y*t+2a^10/b^4*y*t+2a^2/b^2*x^2/y*b^4*x^2*(y-t)-2a^2/b^2*x^2/y*a^4*x^2*(y-t)+2a^2/b^2*x^2/y*a^6*(y-t)+2a^6/b^6*y/x*s*(b^4-a^4)*x^2*(y-t)+2a^6/b^6*y/x*s*a^6*(y-t)+2x^2/y*a^4/b^4*y/x*b^4*x^2*s-2x^2/y*a^4/b^4*y/x*a^4*x^2*s+a^10/b^4*2x*s-[a^4/b^4*(b^4-a^4)*x^2+a^4/b^4*a^6]*2x*s-(2a^6/b^2-2a^10/b^6)*x*y^2*(s-x)-2a^6/b^6*y^2/x*a^6*(s-x)-x/y*a^2/b^2*(b^4-a^4)*x^2*(s-x)*t-x/y*a^2/b^2*a^6*(s-x)*t}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2)={a^4*x^2*y^2-a^8/b^4*x^2*y^2+a^10/b^4*y^2+a^4*b^2*x^2+b^4*x^6/y^2-a^4*x^6/y^2+a^6*x^4/y^2+a^16/b^8*y^2/x^2-a^14/b^8*y^2+a^8/b^4*y^4-a^12/b^8*y^4+a^14/b^8*y^4/x^2+b^6*x^4/y^2+a^12/b^4-a^10/b^4*x^2+a^4*x^4-a^8/b^4*x^4+a^10/b^4*x^2-a^4/b^4*2y*b^4*x^2*t+a^4/b^4*2y*a^4*x^2*t-a^4/b^4*2y*a^6*t+(2a^4-2a^8/b^4)*x^2*y*t+2a^10/b^4*y*t+2a^2/b^2*x^2/y*b^4*x^2*(y-t)-2a^2/b^2*x^2/y*a^4*x^2*(y-t)+2a^2/b^2*x^2/y*a^6*(y-t)+2a^6/b^6*y/x*s*(b^4-a^4)*x^2*(y-t)+2a^6/b^6*y/x*s*a^6*(y-t)+2x^2/y*a^4/b^4*y/x*b^4*x^2*s-2x^2/y*a^4/b^4*y/x*a^4*x^2*s+a^10/b^4*2x*s-[a^4/b^4*(b^4-a^4)*x^2+a^4/b^4*a^6]*2x*s-(2a^6/b^2-2a^10/b^6)*x*y^2*(s-x)-2a^6/b^6*y^2/x*a^6*(s-x)-x/y*a^2/b^2*(b^4-a^4)*x^2*(s-x)*t-x/y*a^2/b^2*a^6*(s-x)*t}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) похоже где-то ошибка... никто не видит пока?.. ={+(b^4-a^4)*x^4/y^2(x^2+y^2)+2a^4x^2(x^2+y^2)-2a^8/b^4x^2(x^2+y^2)+a^8/b^4*y^2(x^2+y^2)-a^12/b^8*y^2(x^2+y^2)+a^6(x^4/y^2+x^2)+2a^10/b^4(x^2+y^2)+a^14/b^8*(y^4/x^2+y^2)-b^4*x^4+b^6*x^4/y^2-a^4*x^2*y^2+a^4*b^2*x^2+a^6*x^2+a^8/b^4*x^4-a^10/b^4*y^2-2a^10/b^4*x^2+a^12/b^8*y^2*x^2+a^12/b^4-2a^14/b^8*y^2+a^16/b^8*y^2/x^2-a^4*2y*x^2*t+a^8/b^4*2y*x^2*t-a^10/b^4*2y*t+(2a^4-2a^8/b^4)*x^2*y*t+2a^10/b^4*y*t+2a^2/b^2*x^2/y*b^4*x^2*(y-t)-2a^2/b^2*x^2/y*a^4*x^2*(y-t)+2a^2/b^2*x^2/y*a^6*(y-t)+2a^6/b^6*y/x*s*(b^4-a^4)*x^2*(y-t)+2a^6/b^6*y/x*s*a^6*(y-t)+2x^2/y*a^4/b^4*y/x*b^4*x^2*s-2x^2/y*a^4/b^4*y/x*a^4*x^2*s+a^10/b^4*2x*s-[a^4/b^4*(b^4-a^4)*x^2+a^4/b^4*a^6]*2x*s-(2a^6/b^2-2a^10/b^6)*x*y^2*(s-x)-2a^6/b^6*y^2/x*a^6*(s-x)-x/y*a^2/b^2*(b^4-a^4)*x^2*(s-x)*t-x/y*a^2/b^2*a^6*(s-x)*t}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) там где *t очень многое сокращается... ={+(b^4-a^4)*x^4/y^2(x^2+y^2)+2a^4x^2(x^2+y^2)-2a^8/b^4x^2(x^2+y^2)+a^8/b^4*y^2(x^2+y^2)-a^12/b^8*y^2(x^2+y^2)+a^6(x^4/y^2+x^2)+2a^10/b^4(x^2+y^2)+a^14/b^8*(y^4/x^2+y^2)-b^4*x^4+b^6*x^4/y^2+2a^2b^2*x^4-a^4*x^2*y^2+a^4*b^2*x^2+a^6*x^2-2a^6/b^2*x^4+2a^6/b^2*x^2*y^2+a^8/b^4*x^4+2a^8/b^2*x^2-a^10/b^4*y^2-2a^10/b^4*x^2-2a^10/b^6*x^2*y^2+a^12/b^8*y^2*x^2+a^12/b^4+2a^12/b^6*y^2-2a^14/b^8*y^2+a^16/b^8*y^2/x^2-2a^2b^2*x^4*t/y+2a^6/b^2*x^4*t/y-2a^8/b^2*x^2*t/y-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st+2a^4*x^3*s-2a^4*x^3*s+2a^6/b^2*y^2*x*s-2a^6/b^2*x*y^2*s-2a^8/b^4*x^3*s+2a^8/b^4*x^3*s+2a^10/b^4*x*s-2a^10/b^4*x*s-2a^10/b^6*y^2*x*s+2a^10/b^6*x*y^2*s+2a^12/b^6*y^2/x*s-2a^12/b^6*y^2/x*s-a^2*b^2*x^3/y*st+a^2*b^2*x^4*t/y+a^6/b^2*x^3/y*st-a^6/b^2*x^4x/y*t-a^8/b^2*x/y*st+a^8/b^2*x^2/y*t}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) три раза я порывался бросить все это, но так и не сумел... кстати, многое сокращается ={+(b^4-a^4)*x^4/y^2(x^2+y^2)+2a^4x^2(x^2+y^2)-2a^8/b^4x^2(x^2+y^2)+a^8/b^4*y^2(x^2+y^2)-a^12/b^8*y^2(x^2+y^2)+a^6(x^4/y^2+x^2)+2a^10/b^4(x^2+y^2)+a^14/b^8*(y^4/x^2+y^2)-b^4*x^4+b^6*x^4/y^2+2a^2b^2*x^4-a^4*x^2*y^2+a^4*b^2*x^2+a^6*x^2-2a^6/b^2*x^4+2a^6/b^2*x^2*y^2+a^8/b^4*x^4+2a^8/b^2*x^2-a^10/b^4*y^2-2a^10/b^4*x^2-2a^10/b^6*x^2*y^2+a^12/b^8*y^2*x^2+a^12/b^4+2a^12/b^6*y^2-2a^14/b^8*y^2+a^16/b^8*y^2/x^2-2a^2b^2*x^4*t/y+a^2*b^2*x^4*t/y+2a^6/b^2*x^4*t/y-a^6/b^2*x^4*t/y-2a^8/b^2*x^2*t/y+a^8/b^2*x^2*t/y-a^2*b^2*x^3/y*st+a^6/b^2*x^3/y*st-2a^6/b^2*y*x*st-a^8/b^2*x/y*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2)={+(b^4-a^4)*x^4/y^2(x^2+y^2)+2a^4x^2(x^2+y^2)-2a^8/b^4x^2(x^2+y^2)+a^8/b^4*y^2(x^2+y^2)-a^12/b^8*y^2(x^2+y^2)+a^6(x^4/y^2+x^2)+2a^10/b^4(x^2+y^2)+a^14/b^8*(y^4/x^2+y^2)-b^4*x^4+b^6*x^4/y^2+2a^2b^2*x^4-a^4*x^2*y^2+a^4*b^2*x^2+a^6*x^2-2a^6/b^2*x^4+2a^6/b^2*x^2*y^2+a^8/b^4*x^4+2a^8/b^2*x^2-a^10/b^4*y^2-2a^10/b^4*x^2-2a^10/b^6*x^2*y^2+a^12/b^8*y^2*x^2+a^12/b^4+2a^12/b^6*y^2-2a^14/b^8*y^2+a^16/b^8*y^2/x^2-a^2b^2*x^4*t/y+a^6/b^2*x^4*t/y-a^8/b^2*x^2*t/y-a^2*b^2*x^3*st/y+a^6/b^2*x^3*st/y-a^8/b^2*x/y*st-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) ччерт, не то вынес за скобку, ща поправим ={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2+b^4*x^6/y^2+2a^2b^2*x^4-a^2b^4x^4/y^2+a^4*x^2*y^2+a^4*x^4-a^4*x^6/y^2-a^4*b^2*x^2+a^4b^2x^4/y^2-a^6b^2x^2/y^2+2a^6x^4/y^2-2a^6/b^2*x^4+2a^6/b^2*x^2*y^2-a^8x^2/y^2-a^8/b^2y^2+4a^8/b^2*x^2-a^8/b^4*x^4+a^8/b^4y^4-a^8/b^4x^2y^2-2a^10/b^2+2a^10/b^4*x^2-2a^10/b^6*x^2*y^2-a^12/b^4+3a^12/b^6*y^2-a^12/b^8*y^4+a^14/b^8*y^4/x^2-a^14/b^6y^2/x^2-a^2b^2*x^4*t/y+a^6/b^2*x^4*t/y-a^8/b^2*x^2*t/y-a^2*b^2*x^3*st/y+a^6/b^2*x^3*st/y-a^8/b^2*x/y*st-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) заметим, что x^2/a^2+y^2/b^2=1 или y^2/b^2=1-x^2/a^2 ={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2+a^2(a^2+b^2)*x^6/y^2-a^2b^2x^6/y^2-4a^6x^4/y^2+3a^8x^2/y^2-2a^8/b^2*x^4/y^2-a^8/b^4x^2y^2-2a^10/b^2+2a^10/b^2*x^2/y^2-3a^10/b^4*x^2-2a^12/b^4+3a^12/b^4+a^14/b^8*y^4/x^2-a^14/b^6y^2/x^2-a^2b^2*x^4*t/y+a^6/b^2*x^4*t/y-a^8/b^2*x^2*t/y-a^2*b^2*x^3*st/y+a^6/b^2*x^3*st/y-a^8/b^2*x/y*st-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2)={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2-2a^6x^4/y^2+4a^8x^2/y^2-2a^10/y^2-a^2b^2*x^4*t/y+a^6/b^2*x^4*t/y-a^8/b^2*x^2*t/y-a^2*b^2*x^3*st/y+a^6/b^2*x^3*st/y-a^8/b^2*x/y*st-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2)={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2-2a^6x^4/y^2+4a^8x^2/y^2-2a^10/y^2+(a^4-b^4)a^2/b^2*x^4*t/y-a^8/b^2*x^2*t/y-a^2*b^2*x^3*st/y+a^6/b^2*x^3*st/y-a^8/b^2*x/y*st-2a^6/b^2*y*x*st+2a^10/b^6*y*x*st-2a^12/b^6*y/x*st}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) далее, xs=-a^4/b^4*ty ={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2-2a^6x^4/y^2+4a^8x^2/y^2-2a^10/y^2+(a^4-b^4)a^2/b^2*x^4*t/y-a^8/b^2*x^2*t/y+a^6/b^6*(b^4*x^2-a^4*x^2+a^6)*t^2+2a^10/b^10*(b^4*x^2-a^4*x^2+a^6)*y^2/x^2*t^2}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) а t^2=b^6*x^2/((b^4-a^4)*x^2+a^6) ={+(b^4-a^4)*x^4/y^2(a^2+b^2)+2a^4x^2(a^2+b^2)-2a^8/b^4x^2(a^2+b^2)+a^8/b^4*y^2(a^2+b^2)-a^12/b^8*y^2(a^2+b^2)+a^6(a^2+b^2)x^2/y^2+2a^10/b^4(a^2+b^2)+a^14/b^8*(a^2+b^2)y^2/x^2-a^4b^2*x^4/y^2+a^6b^2*x^2/y^2+(a^4-b^4)a^2/b^2*x^4*t/y-a^8/b^2*x^2*t/y}/(x^4/y^2*b^4-x^4/y^2*a^4+2x^2*a^4-a^8/b^4*2x^2+a^8/b^4*y^2-a^12/b^8*y^2+x^2/y^2*a^6+2a^10/b^4+a^14/b^8*y^2/x^2) ЧЧЧЧЕРТ, где-то ошибка, Я ВАМ ГОВОРИЛ!.. Какой я осел! С длинными ушами! Тут можно проще. Ну конечно, не надо было раскрывать эти скобки, чтобы потом опять собирать все под скобку. Так, сначала. u=[a^2/b^2*(xy^2+b^4/a^4*sx^2)+x^3+a^4/b^4*y^2*s]/(x^2+a^4/b^4*y^2)=[a^2/b^2*(x(b^2-b^2/a^2*x^2)+b^4/a^4*sx^2)+x^3+a^4/b^4*(b^2-b^2/a^2*x^2)*s]/(x^2+a^4/b^4*y^2)=[a^2/b^2*(b^2x-b^2/a^2*x^3+b^4/a^4*sx^2)+x^3+a^4/b^4*b^2*s-a^4/b^4*b^2/a^2*x^2*s]/(x^2+a^4/b^4*y^2) как здесь все удачно сокращается! Вы следите за мной, молодой человек? Вы следите за мной! я теперь делаю медленно, специально для Вас =[a^2/b^2*b^2x-a^2/b^2*b^2/a^2*x^3+a^2/b^2*b^4/a^4*sx^2+x^3+a^4/b^4*b^2*s-a^4/b^4*b^2/a^2*x^2*s]/(x^2+a^4/b^4*y^2)=[a^2x+a^4/b^2*s+b^2/a^2x^2*s-a^2/b^2x^2*s]/(x^2+a^4/b^4*y^2) v=[a^4/b^4*y^3+t*x^2-a^2/b^2*xy(s-x)]/(x^2+a^4/b^4*y^2)=[a^4/b^4y*b^2-a^4/b^4y*b^2/a^2*x^2+t*x^2-a^2/b^2y*xs+a^2/b^2y*x^2]/(x^2+a^4/b^4*y^2)=[a^4/b^2y-a^2/b^2x^2y+t*x^2-a^2/b^2y*xs+a^2/b^2y*x^2]/(x^2+a^4/b^4*y^2)=[a^4/b^2y-a^2/b^2x^2y+t*x^2+a^6/b^6y^2t+a^2/b^2y*x^2]/(x^2+a^4/b^4*y^2)=[a^4/b^2y-a^2/b^2(a^2-a^2/b^2y^2)y+t*(a^2-a^2/b^2y^2)+a^6/b^6y^2t+a^2/b^2y*(a^2-a^2/b^2y^2)]/(x^2+a^4/b^4*y^2)=[a^4/b^2y-a^2/b^2a^2y+a^2/b^2a^2/b^2y^3+t*a^2-t*a^2/b^2y^2+a^6/b^6y^2t+a^2/b^2y*a^2-a^2/b^2y*a^2/b^2y^2]/(x^2+a^4/b^4*y^2) или нет, пожалуй он прав... Уайлс, разумеется =[a^4/b^2y+a^2t-a^2/b^2y^2t+a^6/b^6y^2t]/(x^2+a^4/b^4*y^2) x^2+a^4/b^4*y^2=a^2-a^2/b^2y^2+a^4/b^4y^2=a^2(1-y^2/b^2+a^2/b^4y^2) u=[x+a^2/b^2*s+b^2/a^4x^2*s-1/b^2x^2*s]/(1-y^2/b^2+a^2/b^4y^2) v=[a^2/b^2y+t-1/b^2y^2t+a^4/b^6y^2t]/(1-y^2/b^2+a^2/b^4y^2) u^2+v^2={[x+a^2/b^2*s+b^2/a^4x^2*s-1/b^2x^2*s]^2+[a^2/b^2y+t-1/b^2y^2t+a^4/b^6y^2t]^2}/(1-y^2/b^2+a^2/b^4y^2)^2={x^2+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2xa^2/b^2s+2xb^2/a^4x^2s-2x/b^2x^2s+2a^2/b^2sb^2/a^4x^2s-2a^2/b^2s/b^2x^2s-2/a^4x^4s^2+a^4/b^4y^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^2/b^2ya^4/b^6y^2t+2x^2/a^2ta^4/b^6y^2t}/(1-y^2/b^2+a^2/b^4y^2)^2={x^2+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+2a^2/a^4x^2s^2-2a^2/b^4x^2s^2-2/a^4x^4s^2+a^4/b^4y^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^6/b^8y^3t+2a^2/b^6x^2y^2t^2}/(x^2/a^2+a^2/b^4y^2)^2 вам не кажется, мой юный друг, что мы уже катастрофически близки к разгадке?.. ={x^2+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+2a^2/a^4x^2s^2-2a^2/b^4x^2s^2-2/a^4x^4s^2+a^4/b^4y^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^6/b^8y^3t+2a^2/b^6x^2y^2t^2}/(x^2/a^2+a^2/b^4y^2)^2={x^2+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+2a^2/a^4x^2s^2-2a^2/b^4x^2s^2-2/a^4x^4s^2+a^4/b^4y^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^6/b^8y^3t+2a^2/b^6x^2y^2t^2}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={x^4/a^2+1/b^2y^2x^2+a^4/b^4y^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2a^2/a^4x^2s^2-2a^2/b^4x^2s^2-2/a^4x^4s^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^6/b^8y^3t+2a^2/b^6x^2y^2t^2}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={x^2+a^4/b^4*s^2+b^4/a^8x^4*s^2+1/b^4x^4*s^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+2a^2/a^4x^2s^2-2a^2/b^4x^2s^2-2/a^4x^4s^2+a^4/b^4y^2+x^4/a^4t^2+a^8/b^12y^4t^2+2/b^2yx^2t+2a^6/b^8y^3t+2a^2/b^6x^2y^2t^2}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={+a^4/b^2+a^6/b^4+3x^2-a^2/b^2x^2-2a^4/b^4x^2+b^4/a^6x^4-2/a^2x^4+a^2/b^4x^4-a^6/b^6t^2+a^8/b^8t^2-2/b^2x^2t^2+2a^2/b^4x^2t^2+2a^4/b^6x^2t^2-2a^6/b^8x^2t^2-b^2/a^6x^4t^2+1/a^4x^4t^2+2/a^2/b^2x^4t^2-2/b^4x^4t^2-a^2/b^6x^4t^2+a^4/b^8x^4t^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s+2/b^2yx^2t+2a^6/b^8y^3t}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={+a^4/b^2+a^6/b^4+2x^2-2a^4/b^4x^2-b^2/a^4x^4-1/a^2x^4-1/b^2x^4+a^2/b^4x^4+x^2-a^2/b^2x^2+b^4/a^6x^4-b^2/a^4x^4-1/a^2x^4+1/b^2x^4+a^6/b^6t^2-a^8/b^8t^2-2/b^6t^2((b^4-a^4)*x^2+a^6)+2a^2/b^8t^2((b^4-a^4)*x^2+a^6)-b^2/a^6x^4t^2+1/a^4x^4t^2+2/a^2/b^2x^4t^2-2/b^4x^4t^2-a^2/b^6x^4t^2+a^4/b^8x^4t^2+2a^2/b^2xs+2b^2/a^4x^3s-2/b^2x^3s-2a^2/b^2xs-2b^2/a^4x^3s+2/b^2x^3s}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={x^4/a^4(a^2+b^2)+2/b^4x^2y^2(a^2+b^2)+a^4/b^8y^4(a^2+b^2)-x^2+a^2/b^2x^2+b^4/a^6x^4-b^2/a^4x^4-1/a^2x^4+1/b^2x^4+a^6/b^6t^2-a^8/b^8t^2-b^2/a^6x^4t^2+1/a^4x^4t^2+2/a^2/b^2x^4t^2-2/b^4x^4t^2-a^2/b^6x^4t^2+a^4/b^8x^4t^2}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={x^4/a^4(a^2+b^2)+2/b^4x^2y^2(a^2+b^2)+a^4/b^8y^4(a^2+b^2)+(-(b^4-a^4)x^4+(b^4-a^4)a^2/b^2x^4+(b^4-a^4)b^4/a^6x^6-(b^4-a^4)b^2/a^4x^6-(b^4-a^4)/a^2x^6+(b^4-a^4)/b^2x^6-a^6x^2+a^8/b^2x^2+b^4x^4-a^2b^2x^4-a^4x^4+a^6/b^2x^4+a^6x^2-a^8/b^2x^2-b^8/a^6x^6+b^6/a^4x^6+2b^4/a^2x^6-2b^2*x^6-a^2x^6+a^4/b^2x^6)/((b^4-a^4)*x^2+a^6)}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={x^4/a^4(a^2+b^2)+2/b^4x^2y^2(a^2+b^2)+a^4/b^8y^4(a^2+b^2)+(0)/((b^4-a^4)*x^2+a^6)={x^4/a^4(a^2+b^2)+2/b^4x^2y^2(a^2+b^2)+a^4/b^8y^4(a^2+b^2)+(0)/((b^4-a^4)*x^2+a^6)}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)={(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)(a^2+b^2)}/(x^4/a^4+2/b^4x^2y^2+a^4/b^8y^4)=a^2+b^2. Таким образом, расстояние постоянно и равно a^2+b^2.

Геометр.
— Элементарно.


Ученик старшего класса средней школы.
Если касательные перпендикулярны, то их углы наклона t и -1/t. Пусть радиусы эллипса r (по горизонтали) и 1 (по вертикали). Сожмем по горизонтали в r раз, получим окружность и две касательные с углами наклона rt и -r/t, а отрезки, соединяющие центр окружности и точки касания имеют наклоны -1/rt и t/r. Значит точки касания -rt/srqt(1+r^2t^2),1/srqt(1+r^2t^2) и r/sqrt(r^2+t^2),t/sqrt(r^2+t^2), а прямые задаются уравнениями rtx+sqrt(1+r^2t^2) и -r/tx+sqrt(1+r^2/t^2), пересечение в точке (t+1/t)rx=sqrt(1+r^2/t^2)-sqrt(1+r^2t^2),(t+1/t)y=t*sqrt(1+r^2/t^2)+1/t*sqrt(1+r^2t^2). Остается только заметить, что сумма (t+1/t)^2((rx)^2+y^2)=1+r^2/t^2+1+r^2t^2+t^2+r^2+1/t^2+r^2=(r^2+1)(1/t^2+2+t^2)=(1+r^2)(1+1/t)^2, т.е., растягивая назад, точка (x,y) переходит в (rx,y) и расстояние до начала координат равно 1+r^2 -- не зависит от t.