DERIVE for Windows version 5.00 DfW file saved on 17 Dec 2000 <ALTURAATRIANGULO(m, n, p, q, r, s):=n(q - s) + m(p - r) + y(s - q) + x(r - p) = 0 ALTURABTRIANGULO(m, n, p, q, r, s):=ALTURAATRIANGULO(p, q, r, s, m, n) ALTURACTRIANGULO(m, n, p, q, r, s):=ALTURAATRIANGULO(r, s, m, n, p, q) AREATRIANGULOV(a, b, c):=1/2ABS(DET([a1, a2, 1; b1, b2, 1; c1, c2, 1])) BARICENTROTRIANGULO(m, n, p, q, r, s):=[(r + p + m)/3, (s + q + n)/3] CIRCUNCENTROTRIANGULO(m, n, p, q, r, s):=[1/2(q(- s^2 - r^2 + qs) + p^2s - n(- s^2 - r^2 + q^2 + p^2) + n^2(q - s) + m^2(q - s))/(- qr + ps + n(r - p) + m(q - s)), - 1/2(q^2r - p(r^2 + s^2) + p^2r + n^2(p - r) - m(- s^2 - r^2 + q^2 + p^2) + m^2(p - r))/(- qr + ps + n(r - p) + m(q - s))] DISTANCIA(a, b, m, n, p):=ABS(p + nb + ma)(m^2 + n^2)^(- 1/2) DISTANCIAV(v, m, n, p):=ABS(p + nv2 + mv1)(m^2 + n^2)^(- 1/2) HOMOTETICODEVRESPECTOPRAZONK(u, v, p, q, k):=[p, q] + k[u - p, v - q] HOMOTETICODEVRESPECTOPRAZONKV(v, p, k):=p + k(v - p) INTERSECCIONRECTAS(, , , , , ):=[(߷ - )/( - ߷), ( - )/( - ߷)] INTERSECDIAGCUADR(m, n, p, q, r, s, t, u):=[(m(p(s - u) + t(q - s)) - r(qt - pu + n(p - t)))/(- st + ru - qr + ps + n(t - p) + m(q - u)), (s(pu - qt) - n(- ru + q(r - t) + pu) + ms(q - u))/(- st + ru - qr + ps + n(t - p) + m(q - u))] INVERSODEVRESPECTOPPOTENCIAK(u, v, p, q, k):=[p, q] + (kABS([u - p, v - q])^(-2))[u - p, v - q] INVERSODEVRESPECTOPPOTENCIAKV(v, p, k):=p + (kABS(v - p)^(-2))(v - p) MACROALTURASTRIANGULO(m, n, p, q, r, s):=[[m, n; p, q; r, s; m, n], [ALTURAATRIANGULO(m, n, p, q, r, s), ALTURABTRIANGULO(m, n, p, q, r, s), ALTURACTRIANGULO(m, n, p, q, r, s)]] MACROMEDIANASTRIANGULO(m, n, p, q, r, s):=[[m, n; p, q; r, s; m, n], [MEDIANAATRIANGULO(m, n, p, q, r, s), MEDIANABTRIANGULO(m, n, p, q, r, s), MEDIANACTRIANGULO(m, n, p, q, r, s)]] MACROMEDIATRICESTRIANGULO(m, n, p, q, r, s):=[[m, n; p, q; r, s; m, n], [MEDIATRIZATRIANGULO(m, n, p, q, r, s), MEDIATRIZBTRIANGULO(m, n, p, q, r, s), MEDIATRIZCTRIANGULO(m, n, p, q, r, s)]] MACRORECTAEULERTRIANGULO(m, n, p, q, r, s):=[[m, n; p, q; r, s; m, n], RECTAEULERTRIANGULO(m, n, p, q, r, s)] MEDIANAATRIANGULO(m, n, p, q, r, s):=RECTAPORDOSPUNTOS(m, n, (p + r)/2, (q + s)/2) MEDIANABTRIANGULO(m, n, p, q, r, s):=MEDIANAATRIANGULO(p, q, r, s, m, n) MEDIANACTRIANGULO(m, n, p, q, r, s):=MEDIANAATRIANGULO(r, s, m, n, p, q) MEDIATRIZ(a, b, c, d):=d^2 + c^2 - b^2 - a^2 + 2y(b - d) + 2x(a - c) = 0 MEDIATRIZATRIANGULO(m, n, p, q, r, s):=MEDIATRIZ(p, q, r, s) MEDIATRIZBTRIANGULO(m, n, p, q, r, s):=MEDIATRIZATRIANGULO(p, q, m, n, r, s) MEDIATRIZCTRIANGULO(m, n, p, q, r, s):=MEDIATRIZATRIANGULO(r, s, m, n, p, q) MEDIATRIZV(a, b):=(b - a)1(x - ((a + b)/2)1) + (b - a)2(y - ((a + b)/2)2) = 0 NORMALUNITARIA(a, b, m, n, p):=IF(p + nb + ma > 0, - (1(m^2 + n^2)^(- 1/2))[m, n], (1(m^2 + n^2)^(- 1/2))[m, n]) NORMALUNITARIAV(v, m, n, p):=IF(p + nv2 + mv1 > 0, - (1(m^2 + n^2)^(- 1/2))[m, n], (1(m^2 + n^2)^(- 1/2))[m, n]) ORTOCENTROTRIANGULO(m, n, p, q, r, s):=[- (m(rs - pq + n(p - r)) + (qs + pr - n(q + s) + n^2)(q - s))/(- qr + ps + n(r - p) + m(q - s)), (- qrs + p(qs - r^2) + p^2r + n(rs - pq) + m(r^2 - p^2 + n(q - s)) + m^2(p - r))/(- qr + ps + n(r - p) + m(q - s))] PMEDIO(a, b, c, d):=[(a + c)/2, (b + d)/2] PUNTOMEDIOV(a, b):=(a + b)/2 RECTACARTAPUNTOPENDIENTE(m, n, p):=IF(n 0, SOLVE(p + ny + mx = 0, y), SOLVE(p + ny + mx = 0, x)) RECTAEULERTRIANGULO(m, n, p, q, r, s):=[BARICENTROTRIANGULO(m, n, p, q, r, s), ORTOCENTROTRIANGULO(m, n, p, q, r, s), CIRCUNCENTROTRIANGULO(m, n, p, q, r, s)] RECTAPARALELA(m, n, p, a, b):=m(x - a) + n(y - b) = 0 RECTAPARALELAV(m, n, p, v):=m(x - v1) + n(y - v2) = 0 RECTAPENDIENTEARECTACART(a, b, m):=IF(m = , x = a, b - ma - y + mx = 0) RECTAPENDIENTEARECTACARTV(a, m):=IF(m = , x = a1, a2 - ma1 - y + mx = 0) RECTAPERPENDICULAR(m, n, p, a, b):=n(x - a) - m(y - b) = 0 RECTAPERPENDICULARV(m, n, p, v):=n(x - v1) - m(y - v2) = 0 RECTAPORDOSPUNTOS(a, b, c, d):=- bc + ad + y(c - a) + x(b - d) = 0 RECTAPORDOSPUNTOSV(u, v):=- u2v1 + u1v2 + y(v1 - u1) + x(u2 - v2) = 0 ROTACION(v, p, ang):=p + [(v1 - p1)COS(ang) - (v2 - p2)SIN(ang), (v1 - p1)SIN(ang) + (v2 - p2)COS(ang)] SIMETRICO(a, b, m, n, p):=[a, b] + 2DISTANCIA(a, b, m, n, p)NORMALUNITARIA(a, b, m, n, p) SIMETRICODEPUNTORESPECTOPUNTO(a, b, p, q):=2[p, q] - [a, b] SIMETRICODEPUNTORESPECTOPUNTOV(v, p):=2p - v SIMETRICOPUNTORESPECTORECTA(a, b, m, n, p):=[(- 2pm - 2bmn + a(n^2 - m^2))/(m^2 + n^2), (- 2pn - 2amn + b(m^2 - n^2))/(m^2 + n^2)] SIMETRICOPUNTORESPECTORECTAV(v, m, n, p):=[(- 2pm - 2v2mn + v1(n^2 - m^2))/(m^2 + n^2), (- 2pn - 2v1mn + v2(m^2 - n^2))/(m^2 + n^2)] SIMETRICOV(v, m, n, p):=v + 2DISTANCIAV(v, m, n, p)NORMALUNITARIAV(v, m, n, p) A:=[u, v] B:=[-1, 0] C:=[1, 0] ang:= hCross:=APPROX(54545454545454541/100000000000000000) vCross:=APPROX(90909090909090917/100000000000000000) := := := := := := CExpnObj8 UserLOAD("FuncionesBasicas.mth")8$0UserPMEDIO(1,2,3,4)CTextObj<h{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f3\fs24 Un problema curios de Juan Bosco Romero. \par Un tri\'e1ngulo cualquiera ABC. Se proyecta un punto de a sobre b y sobre c. \par Se pide el lugar de los puntos en los que las dos diagonales del cuadril\'e1tero que as\'ed se obtiene se cortan. \par \par Tomamos como tri\'e1ngulo general A(u,v) B(-1,0) C(1,0). El punto sobre BC ser\'e1 (t,0). \par } {\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f3\fs24 \par } 8UserA:=[u,v]8User B:=[-1,0]8UserC:=[1,0]8*6UserRECTAPORDOSPUNTOSV(A,B)@BNSimp(#6)v*x-y*(u+1)+v=08ZfUserRECTAPORDOSPUNTOSV(A,C)@r~Simp(#8) v*x+y*(1-u)-v=08User "RECTAPERPENDICULAR(v,-(1+u),0,t,0)  Simp(#10)~jtx? -x*(u+1)-v*y+t*(u+1)=08`User RECTAPERPENDICULAR(v,1-u,0,t,0)  Simp(#12)Mbp? x*(1-u)-v*y+t*(u-1)=08User,INTERSECCIONRECTAS(v,-u-1,v,-u-1,-v,t*(u+1))@> Simp(#14){Gz??[(t*(u+1)^2-v^2)/(u^2+2*u+v^2+1),v*(t+1)*(u+1)/(u^2+2*u+v^2+1)]8JVUser+INTERSECCIONRECTAS(v,1-u,-v,1-u,-v,t*(u-1))b@ Simp(#16){Gz??[(t*(u-1)^2+v^2)/(u^2-2*u+v^2+1),v*(t-1)*(u-1)/(u^2-2*u+v^2+1)]|{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f3\fs24 Estas son las proyecciones de (t,0) sobre los lados. \par Ahora tomamos las intersecciones de las diagonales. \par } 8 UserRECTAPORDOSPUNTOSV(A,[t,0])8 Simp(#18){Gzt?v*x+y*(t-u)-t*v=08 UserRECTAPORDOSPUNTOSV([(t*(u+1)^2-v^2)/(u^2+2*u+v^2+1),v*(t+1)*(u+1)/(u^2+2*u+v^2+1)],[(t*(u-1)^2+v^2)/(u^2-2*u+v^2+1),v*(t-1)*(u-1)/(u^2-2*u+v^2+1)])8 Simp(#20)p= ף?2*v*x*(u*(u^2+v^2-1)-t*(u^2-v^2-1))/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1))-2*v^2*y*(2*t*u-u^2-v^2-1)/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1))+2*v*(t^2*(u+1)*(u-1)-t*u*(u^2+v^2-1)-v^2)/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1))=08*UserINTERSECCIONRECTAS(v,t-u,-t,2*v*(u*(u^2+v^2-1)-t*(u^2-v^2-1))/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1)),-2*v^2*(2*t*u-u^2-v^2-1)/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1)),2*v*(t^2*(u+1)*(u-1)-t*u*(u^2+v^2-1)-v^2)/((u^2+2*u+v^2+1)*(u^2-2*u+v^2+1)))8 Simp(#22)Q? [(t^3*(u+1)*(u-1)-t^2*u*(2*u^2+v^2+2*v-2)+t*(u^4+u^2*(v^2+v-1)+v*(v^2-v+1))+u*v^2)/(t^2*(u^2-v^2-1)-2*t*u*(u^2+v^2-1)+u^4+u^2*(2*v^2-1)+v^2*(v^2+1)),-(t^2*(u^2*(v-1)+v^2-v+1)+t*u*(1-v)*(u^2+v^2-1)-v^3)/(t^2*(u^2-v^2-1)-2*t*u*(u^2+v^2-1)+u^4+u^2*(2*v^2-1)+v^2*(v^2+1))]{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f3\fs24 Esto ya nos da las coordenadas param\'e9tricas del lugar pedido, que parece bastante complicado. Podemos experimentar, poniendo u=0.5, v=2, por ejemplo \par }  xFSimp(Sub(#23))h|?5?Q[(12*t^3+52*t^2-117*t-32)/(76*t^2+52*t-349),2*(26*t^2-13*t-64)/(76*t^2+52*t-349)]8RUser[[-1,0],[1,0],[0.5,2],[-1,0]]{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f3\fs24 Aparece una curva enrevesada pero que parece tener tres as\'edntotas, una en direcci\'f3n de Ox, pero las otras dos en direcciones curiosas \par } CDispOleObj$Q CDispItem ࡱ>   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Root EntryFQOle CONTENTS_ CompObj{ F5Imagen (Mapa de bits independiente del dispositivo ) StaticDib9q      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~BM_ (ol_ CONTENTS]{\rtf1\ansi\deff0\deftab720{\fonttbl{\f0\fswiss MS Sans Serif;}{\f1\froman\fcharset2 Symbol;}{\f2\fswiss\fprq2 System;}{\f3\fmodern\fcharset2 DfW5 Printer;}{\f4\fmodern\fcharset2 DfW5 Printer;}} {\colortbl\red0\green0\blue0;} \deflang1034\pard\plain\f4\fs24 Da la impresi\'f3n, por la imagen del experimento, que el lugar consiste en una recta y una c\'f3nica. \par PROBLEMA: Determinar si esto es as\'ed o no. \par } $