

Store








CTK Exchange
Bractals
Member since Jun903

Jul0803, 07:16 AM (EST) 

"Cut Triangle in Half"

Hi, I came up with the following construction for the given problem. It checks out with Sketchpad. See what you think. Bractals PROBLEM: Given an arbitrary point and triangle. Construct a line through the point that divides the triangle into two polygons of equal area. NOTATION: ^ denotes set intersection. Let X' denote the midpoint of the side of the triangle opposite the vertex X. If X and Y are distinct points, let L(XY) denote the line determined by points X and Y, R(XY) denote the ray starting at point X and passing through point Y, S(XY) denote the line segment determined by points X and Y, and P(Z,XY) denote the line through point Z and parallel to L(XY). L(YX) = L(XY), R(YX) != R(XY), S(YX) = S(XY) S(XY) = R(XY) ^ R(YX) CONSTRUCTION SCHEMA: CIR(XYZ,r) : For fixed points Y and Z and fixed length r  construct point X such that Y lies on S(XZ) and XY = r. CONSTRUCTION: If ( the point lies on L(XX') for some triangle vertex X ) { L(XX') is the desired line. } else { Let P be the given point and G the centroid of the triangle. Label the triangle ABC such that R(GP) intersects S(CB'). Construct point R such that R = P(P,AB) ^ L(AC). Construct point S such that S = P(B',BR) ^ L(AB). If ( P lies on the triangle ) { L(PS) is the desired line. } else { Construct point T as the midpoint of S(AS). CIR(QRP,PR). CIR(DAT,PQ). Construct a semicircle with diameter S(DT) on the opposite side of S(DT) from vertex C. Construct a line through vertex A, perpendicular to S(DT), intersecting semicircle DT at point E. If ( P is outside the triangle ) { CIR(FTA,TE). L(PF) is the desired line. } else { Construct point H such that EH = AT and H lies on S(AT). CIR(KTH,AH). L(PK) is the desired line. } } } 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 


Vladimir
Member since Jun2203

Jul1103, 02:43 PM (EST) 

1. "RE: Cut Triangle in Half"
In response to message #0

LAST EDITED ON Jul1703 AT 07:43 PM (EST) I am having trouble reading your construction, so I checked only the part when the area bisector point P is on the triangle. That's just me, but you did not offer any proof of your construction, a serius defficiency, otherwise I like it. So let's prove the first part of the construction now:Construct the triangle area bisector through a given point P on the triangle circumference: Connect the point P with the opposite vertex (B in our case). Draw a line parallel to this line (BP) through the median heel (M_{b}) on the same triangle side as the point P. The line intersects the triangle at another point S. PS is the triangle area bisector. See the attached drawing. Proof: Denote x = SB/AB, y = PC/AC. Since the lines BP and SM_{b} are parallel, DABP and DASM_{b} are similar. Consequently, (1  y)/(1/2) = 1/(1  x) or y = 1  1/{2(1  x)} Consider yellow DASP and magenta DSBP. Their altitudes to the line AS or SB are the same. Therefore, their areas A(Y) and A(M) (for yellow and magenta) are in the ratio of their bases AS and SB: A(Y)/A(M) = (1  x)/x Consider yellow & magenta DPAB and cyan DCPB. Again, their altitudes to the line PA or CP are the same. Therefore, their areas A(Y) + A(M) and A(C) (for yellow + magenta and cyan) are in the ratio of their bases PA and CP: (A(Y) + A(M))/A(C) = (1  y)/y Let's calculate the area A(M) + A(C): A(M) + A(C) = A(Y).x/(1  x) + (A(Y) + A(M)).y/(1  y) = = A(Y).x/(1  x) + {A(Y) + A(Y).x/(1  x)}.y/(1  y) = = A(Y).(x + y  xy)/(1  x)/(1  y) Substituting y = 1  1/{2(1x)} we get A(M) + A(C) = A(Y) and the line PS is indeed the triangle area bisector. Q.E.D.

Attachments
https://www.cuttheknot.org/htdocs/dcforum/User_files/3f0e673c6fff5696.gif

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 



Bractals
Member since Jun903

Jul1203, 11:10 AM (EST) 

2. "RE: Cut Triangle in Half"
In response to message #1

Hi Vladimir, I will give you an analysis of my construction if you first tell me how you got your figure ( looks like it came from Sketchpad ) into a gif format. Using your figure ( with B' as the midpoint of AC  don't know how to do subscripts ) here is an easier proof for this case: Triangles BAP and SAB' are similar. Therefore, AS/AB' = AB/AP. AS*AP = AB*AB' = AB*AC/2 AS*AP*sin(<SAP)/2 = (AB*AC*sin(<BAC)/2)/2 Area(SAP) = Area(BAC)/2 Bractals


Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Vladimir
Member since Jun2203

Jul1203, 10:10 PM (EST) 

3. "RE: Cut Triangle in Half"
In response to message #2

It's a deal. There are many graphics programs and simple drawings like the triangle I do with the Windows Paint. That gives me a bitmap. Likewise, there are many graphics format converters, even as shareware. I use Adobe Photoshop (not shareware!). Simply copy the bitmap into Photoshop and export is as a GIF. If I want a transparent GIF (i.e., one color in the picture selected as transparent), I usually have to do it twice  the Photoshop does not let me do it in one step. First, I export as a normal GIF. Then I load this GIF file and export it as a transparent GIF. To use subscripts, indexes, and greek symbols, you have to type your message as a kind of HTML code. For example, the triangle symbol is the capital greek delta: <font face="symbol">D</font>ABC, but you have to use rectangular parenthesis  DABC. Partial derivative is <font face="symbol">¶</font>P/<font face="symbol">¶</font>x  ¶P/¶x. See the Windows accessory/system tool Character Map. Likewise, subscripts or superscripts are x<sub>i</sub> or x<sup>5</sup>  x_{i} or x^{5}. See the HTML reference help to the right of the window wher you type. It has some pitfalls: If you use <CODE> ... </CODE> and do not use line breaks, the message text does not wrap. The <ENTER> key or the HTML code <BR> do the line breaks. I admit that your proof is simpler, you should have included it the first time. I guess I was stubbornly looking for some triangles with the same altitudes. When trying to read your construction, I encountered things like constructing a point that already existed, constructing a circle for no other purpose than to double a line segment and than using its length somewhere else, etc. Regards, Vladimir 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul1303, 09:54 AM (EST) 

5. "RE: Cut Triangle in Half"
In response to message #3

Hi Vladimir, Please help me out. I created a squarebracketed html file and a gif file (7KB). When I copied the html file into the post and did a preview everything looked okay except one place. Source: "...end of line.#1#Start next line..." Preview: "...end of line.#2#Start next line..." where #1# = {cr}{cr}{lsb}/br{rsb} #2# = {lsb}P>{cr} where {cr} = carriage return {lsb} = left square bracket {rsb} = right square bracket When I tried to attach the gif file: 1) I "Click here to choose your file" 2) I browsed my disk for the gif file 3) I selected it and clicked upload 4) It'said it uploaded the file 5) It said the name would be placed in the Attachment box 6) It lied. Any help would be appreciated. Bractals


Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul1503, 12:39 PM (EST) 

12. "RE: Cut Triangle in Half"
In response to message #3

Hi Vladimir, Thanks for the Information. I hope the figure comes through OK.
Analysis of the construction:
Let the line through point P cut the sides AB and AC at points X and Y respectively.
Let c = AB, b = AC, x = AX, and y = AY. For the area of DXAY to be onehalf the area of DBAC we need xy = bc/2 (*).
In the figure I show two cases: P_{1} inside the triangle and P_{2} outside the triangle.
DXAY ~ DP_{1}R_{1}Y ~ DP_{2}R_{2}Y. Therefore,
AX / AY = R_{1}P_{1} / R_{1}Y = R_{2}P_{2} / R_{2}Y
AX / AY = R_{1}P_{1} / (AY  AR_{1}) = R_{2}P_{2} / (AR_{2}  AY)
x/y = u_{1}/ (y  v_{1}) = u_{2}/ (v_{2}  y) ,
where v = AR and u = RP with u < 0 if P is on the opposite side of line AC from the vertex B.
Therefore, x/y = u/(y  v) (**).
Eliminating y from (*) and (**) we get
2vx^{2}  bcx + bcu = 0.
Solving for x we get
x = w ± sqrt(w^{2}  2uw) , where w = bc/(4v).
By labeling the triangle so that P lies in the yellow area (see the figure), we guarantee that w^{2}  2uw > 0 and that X lies between B and C' if we use the plus sign ( I will let you verify this ). Hence,
x = w + sqrt(w^{2}  2uw)
By letting t^{2} = (2u)w we have
x = w + sqrt(w^{2} + t^{2} ) for P outside the triangle and
x = w + sqrt(w^{2}  t^{2} ) for P inside the triangle.
I think you should be able to follow the construction from this. I hope my first attempt with HTML worked.
Bractals


Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Golland
guest

Jul1503, 03:17 PM (EST) 

13. "RE: Cut Triangle in Half"
In response to message #12

Hi Bractals, I do not quite understand your construction: according to the
figure the points P1 and P2 are on the same line, but the solution has x ( the length of AX ) different for P1 and P2. Maybe it is the second solution for points P1 ( as we discussed ) but P1 outside of the "deltoid" but still inside the triangle has only one solution. Also the points in close proximity of centroid G clearly have 3
lines that cut area of the ABC in 2 equal parts. The "deltoid" inside the ABC : is it a triangle? How does your solution accounts for "deltoid" existance?
G 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul1503, 06:56 PM (EST) 

14. "RE: Cut Triangle in Half"
In response to message #13

Hi Golland, In calculating the x = w + sqrt(...) value one must use the u2,v2 values and for the x = w  sqrt(...) value one must use the u1,v1 values. With respect to the deltoid, consider the following figure ( unlabeled  but consider the triangles labeled as in my previous figure ). In the upper left corner the yellow area represents all the points P satisfying the inequality c/2 < x < c, where the x is the w + sqrt(...) value. In the upper right corner the blue area represents all the points P satisfying the same inequality c/2 < x < c, where the x is the w  sqrt(...) value. When you overlay these figures you get the middle one with the small dark triangle representing points P which have two different lines cutting sides AB/AC as solutions. About this dark triangle. The "side", which is not along a median of triangle ABC, is not a straight line. It is a hyperbolic arc concaved in towards the centroid. The equation for this arc is u = bc/(8v); which comes from setting the radicand equal to zero. When you add in the points for the lines that cut sides AB/BC and AC/BC you add two more small triangles making up the deltoid. After going through this further analysis  I want to modify my conjecture on the deltoid. All points in the interior have three solutions, all points in the exterior have one solution, and all points on the boundary have two solutions ( except for the deltoid vertices which have only one solution ). This can be seen by noting that a line cutting sides AB/BC can intersect the small dark triangle in my figure. I hope this puts the problem to rest. Bractals 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Golland
guest

Jul1603, 10:54 AM (EST) 

15. "RE: Cut Triangle in Half"
In response to message #14

Hello Bractals, Thanks for the reply. I am still impressed. There are 2 additional problems that have to be resolved before we stop beating this horse: 1) draw a line perpendicular to this one that divides each area in half again; 2) draw a line that divides PERIMETER of the triangle in half. Thanks.
G. 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul1603, 03:09 PM (EST) 

16. "RE: Cut Triangle in Half"
In response to message #15

Hi Golland, This deltoid problem, like Dracula, keeps coming back from the dead. The following figure shows the deltoid for an equilateral triangle ABC ( not really  the arcs are circular ). Where G is the centroid and X* is the midpoint of the median through vertex X. ***************************************************** My final conjecture (until next week  haha) about the number of line solutions for a point: 3  The centroid G and the interior of the "triangles" A*B*G, B*C*G, and C*A*G 2  Arcs A*B*, B*C*, and C*A* excluding the endpoints 1  All other points ***************************************************** See if you can find 3 solution lines for any point on the open line segment (A*G). As for your two problems, let me think about them. With respect to the area problem, would you agree that solving the problem for an equilateral triangle is enough? Will be gone for a week. Bractals 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Vladimir
Member since Jun2203

Jul1703, 06:52 PM (EST) 

17. "RE: Cut Triangle in Half"
In response to message #12

LAST EDITED ON Jul2303 AT 05:02 PM (EST) Hi, BractalsI can follow your construction now. Your analysis is an excellent post. I am also presenting my (independent) analysis. It melts down to the same thing  solving a quadratic equation. Draw a line from a point Q outside the DABC such that it cuts the triangle area in half. The extended medians of a triangle divide the plane outside the triangle into 6 segments (see the attached drawing). If the point Q is on one of the extended medians, the problem is solved. Suppose the point Q is between the extended medians m_{a} and m_{b}. Put the origin of the xy coordinate system into the triangle vertex C and the yaxis along the side a (i.e., through the vertex B). If the triangle ABC is labeled counterclockwise, the ycoordinate of the vertex B is positive. If the triangle DABC is labeled clockwise, the ycoordinate of the vertex B is negative. In that case, reflect both the DABC and the point Q in the xaxis, reducing the problem to the former case. Select the unit length a = CB = 1. The line cutting the triangle area in half intersect the triangle in 2 points: P (on the triangle side a = CB) and S (on the triangle side b = CA). The equation of the line QP is y  y_{P} = (y_{Q}  y_{P}) / (x_{Q}  x_{P}) * (x  x_{P}) = (y_{Q}  y_{P}) / x_{Q} * x because x_{P} = 0. Since the points Q, P, S are colinear (on a line), we have the following equation for their coordinates: (1) y_{S}  y_{P} = (y_{Q}  y_{P}) / x_{Q} * x_{S} Since the point S and the triangle vertex A are on a line through the coordinate origin, (2) tan(g) = y_{A}/x_{A} = y_{S}/x_{S} Finally, since the area of DSPC is half of the area of DABC 1/2 CS * CP sin(g) = 1/2 (1/2 CA * CB sin(g)) CS * CP = 1/2 CA * CB Writing this using the xy coordinates of the points P, S, and A and using the unit length CB = 1, we get (3) y_{P} Ö(x_{S}^{2} + y_{S}^{2}) = 1/2 Ö(x_{A}^{2} + y_{A}^{2}) We have 3 equations for 3 unknowns y_{P}, y_{S}, and x_{S}. Simplifying the 3rd equation using the 2nd equation: y_{P} Ö(x_{S}^{2} + y_{S}^{2}) = y_{P}.x_{S} Ö(1 + (y_{S}/x_{S})^{2}) = y_{P} x_{S} Ö(1 + (y_{A}/x_{A})^{2}) = y_{P} x_{S}/x_{A} Ö(x_{A}^{2} + y_{A}^{2}) = 1/2 Ö(x_{A}^{2} + y_{A}^{2}) y_{P} x_{S}/x_{A} = 1/2 Combining this with the 2nd equation we get x_{S} = x_{A}/(2y_{P}) y_{S} = x_{S} y_{A}/x_{A} = x_{A}/(2y_{P}) y_{A}/x_{A} = y_{A}/(2y_{P}) Substituting to the 1st equation we get the following quadratic equation y_{P}^{2}  x_{A}/(2x_{Q}) y_{P}  x_{A}/2 (y_{A}/x_{A}  y_{Q}/x_{Q}) = 0 The equations of medians m_{a} = AG_{a} and m_{b} = BG_{b} are m_{a}: y = (y_{A}  1/2) * x/x_{A} + 1/2 m_{b}: y = (y_{A}  1) * x/x_{A} + 1 Since the point Q is between these 2 medians, (y_{A}  1/2) * x_{Q}/x_{A} + 1/2 < y_{Q} < (y_{A}  1) * x_{Q}/x_{A} + 1 Since x_{Q} < 0 (y_{A}  1/2)/x_{A}  1/(2x_{Q}) < y_{Q}/x_{Q} < (y_{A}  1)/x_{A}  1/x_{Q} 1/(2x_{A})  1/(2x_{Q}) < y_{A}/x_{A}  y_{Q}/x_{Q} < 1/x_{A}  1/x_{Q} 1/4  x_{A}/(4x_{Q}) < x_{A}/2 (y_{Q}/x_{Q}  y_{A}/x_{A}) < 1/2  x_{A}/(2x_{Q}) Again, since x_{Q} < 0 and x_{A} > 0, both the left and right side of this inequality are positive and we can denote u = x_{A}/(2x_{Q}) > 0 v^{2} = x_{A}/2 (y_{Q}/x_{Q}  y_{A}/x_{A}) > 0 and write our quadratic equation as y_{P}^{2} + uy_{P}  v^{2} = 0 The solution is y_{P} = u/2 ± Ö(u^{2}/4 + v^{2}). The root with minus sign before the square root is negative and cannot be on the side a = CB of our DABC. To perform the construction, we have to construct the lengths u > 0 and v > 0. The square root in the formula for y_{P} will be a hypothenuse of a right triangle with sides u/2 and v. Finaly, we will subtract u/2 from the length of this hypothenuse to get the length of y_{P} (see the attached drawing).
1. Draw a unit circle (radius a = CB = 1) with the center at the origin C. The circle intersects the xaxis in points D and E. 2. Erect normals to the xaxis at the points D and E. These normals intersect the lines CA and CQ at points D' and E', respectively. This gives us DD' = y_{A}/x_{A} and EE' = y_{Q}/x_{Q} (remember, x_{Q} < 0). 3. Add these two lengths: Drop a normal to the yaxis from the point E'. Denote the heel of the normal H. Connect the points D and H. Draw a line through the point D' parallel to DH. The line intersects the yaxis at point H'. This gives us CH' = y_{A}/x_{A}  y_{Q}/x_{Q}. 4. Multiply this length by x_{A}: Drop a normal from the point A to the xaxis, denote A' the heel of this normal, CA' = x_{A}. Connect points D and H'. Draw a line parallel to DH' through the point A'. The line intersects the yaxis at point K. This gives as CK = x_{A} (y_{A}/x_{A}  y_{Q}/x_{Q}). 5. Divide the line segment CK in half. This gives as CL = x_{A}/2 (y_{A}/x_{A}  y_{Q}/x_{Q}). 6. Find the square root of this distance: The unit circle intersects the negative portion of the yaxis opposite to the point L at point F. Find the center of the line segment LF  point M. Construct a circle with center M and radius ML = MF. The circle intrsects the yaxis at point N. This gives us v = CN = Ö{x_{A}/2 (y_{A}/x_{A}  y_{Q}/x_{Q})}. 7. Divide the length x_{A} by the length x_{Q}: Copy the length of the line segment x_{A} = CA' to the negative portion of the yaxis (the 1st quadrant is already too messy), i.e., CR = CA'. Connect points Q' and R. Draw a line through the point E parallel to Q'R. The line intersects the yaxis at the point R'. This gives us CR' = x_{A}/x_{Q} (remember, x_{Q} < 0). 8. Divide the line segment CR' in four. This gives as u/2 = CT = x_{A}/(4x_{Q}). 9. The distance TN is the hypotenuse of the right DNTC with sides u/2 = CT and v = CN, i.e., TN = Ö(u^{2}/4 + v^{2}). 10. Find the roots of our quadratic equation by substracting the length u/2 from the hypotenuse or adding the length u/2 to the hypotenuse: Draw a circle with center at the point T and radius TN. The circle intersects the yaxis at points P and P'. CP = TN  CT = Ö(u^{2}/4 + v^{2})  u/2 and CP' = (TN + CT) = {Ö(u^{2}/4 + v^{2}) + u/2} are the roots of our quadratic equation. 11. Only the first root is acceptable, y_{P} = CP. Connect the points Q and P and extend the line through the DABC. QP is the desired line. If the point Q is inside the triangle, the analysis and construction are the same as if the point is outside, with one exeption. We cannot trivially determine which two sides of the triangle the area bisector intersects, so that we have to try all 3 pairs. Aparently, when the point Q is close to one side, there is not much difference from the case when the point Q is outside close to the same side. However, when the point Q is deep inside the triangle, there might be 3 different area bisectors through a given point. I will analyze this in the next post. 
Attachments
https://www.cuttheknot.org/htdocs/dcforum/User_files/3f171aa13433dd89.gif
https://www.cuttheknot.org/htdocs/dcforum/User_files/3f171ae93521d184.gif

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




golland
guest

Jul1303, 09:54 AM (EST) 

4. "RE: Cut Triangle in Half"
In response to message #2

Hello Bractals and Vladimir. I put this problem on the site sometime in October of 2002. The solution in case the point is on the side of triangle is trivial. There must be 3 solution lines when the point is "deep" inside the triangle. When the point is outside or on the perimeter of the triangle where is one solution. So there must be a locus of points with 2 solutions. And the construction has to include an angle bisectors.
Bractal, if you use the Sketchpad you can move around vertices
A,B,C and the given point P and see if the arears of the resulting halves remain equal ( i doubt it is the case for the solution you provided ). Anyway, the proof still remains to be seen. Golland.


Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
guest

Jul1403, 10:28 AM (EST) 

6. "RE: Cut Triangle in Half"
In response to message #4

Hi golland, I did move the vertices around in Sketchpad and the area was always cut in half. My analysis for the problem awaits information about an html glich and why I cannot upload a gif file ( see message #4 ). Bractals 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul1403, 06:27 PM (EST) 

7. "RE: Cut Triangle in Half"
In response to message #4

Hi Golland, In my previous reply I said message #4. It's different now  seems messages are renumbered when a new one is inserted. With respect to how many lines there are at a point; here is my conjecture: Consider a deltoid with vertices at the midpoints of the medians. Any point in the exterior of the deltoid has only one solution. Any point on the boundary of the deltoid has two solutions; unless it is a vertex, then it has only one. Any point in the interior has two solutions; unless it is on a median, then it has three. What do you think of the conjecture? Bractals 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 






Vladimir
Member since Jun2203

Jul1803, 04:48 PM (EST) 

18. "RE: Cut Triangle in Half"
In response to message #7

LAST EDITED ON Jul1803 AT 08:23 PM (EST) Hi, BractalsYour conjecture is not entirely correct: Any point inside of the deltoid (on a median or not) has 3 different area bisectors. In addition, the deltoid boundaries are not circular arcs, but segments of hyperbolas, the extended triangle sides being their asymptotes. Draw a line from a point Q inside the DABC such that it cuts the triangle area in half. Put the origin of the xy coordinate system into the triangle vertex C and the yaxis along the side a (i.e., through the vertex B). If the triangle ABC is labeled counterclockwise, the ycoordinate of the vertex B is positive. If the triangle DABC is labeled clockwise, the ycoordinate of the vertex B is negative. In that case, reflect both the DABC and the point Q in the xaxis, reducing the problem to the former case. Select the unit length a = CB = 1. To simplify the problem, we transform the general DABC to an isosceles right angle DA'B'C' by the following linear transformation (see the attached drawing): u = x/x_{A} v = y  y_{A}/x_{A} x Subsequently, we refrain from using the dashes for DA'B'C' and relabel it'simply as DABC. Consider the area bisectors intersecting the line segments BM_{a} at point P and AM_{b} at point S as they slide on the triangle sides. Their equations are u/u_{S} + v/v_{P} = 1 Since the lines are area bisectors, we have u_{S}v_{P} = 1/2 or u_{S} = 1/(2v_{P}) Substituting this to the bisector line equation 2v_{P}u + v/v_{P} = 1 or 2v_{P}^{2}u + v  v_{P} = 0 This is a family of lines dependent on the parameter v_{P}. The equation of their envelope (if it exists) is given by F(u, v, v_{P}) = 2v_{P}^{2}u + v  v_{P} = 0 ¶F(u, v, v_{P})/¶v_{P} = 4v_{P}u  1 = 0 Eliminating the parameter v_{P} we get the envelope equation v = 1/(8u) So the envelope is a segment of hyperbola with asymptotes along the sides a (v = 0) and b (u = 0) of the DABC. The equations of the medians m_{a}, m_{b} and their midpoints D_{a}, D_{b} are: m_{a}: 2v + u = 1, D_{a} = (1/2, 1/4) m_{b}: v + 2u = 1, D_{b} = (1/4, 1/2) The hyperbola intersects (actually, touches  after all it is an envelope) the medians at their midpoints: Combining v = 1/(8u) and 2v + u = 1 (m_{a}) and solving for u, v, we get u = 1/2, v = 1/4, or D_{a}. Combining v = 1/(8u) and v + 2u = 1 (m_{b}) and solving for u, v, we get u = 1/4, v = 1/2, or D_{b}. If we select a point (u_{0}, v_{0}) on the hyperbolic segment, then v_{0} = 1/(8u_{0}). Substituting this to the general equation of the bisector 2v_{P}u_{0} + v_{0}/v_{P} = 1 2v_{P}u_{0} + 1/(8u_{0}v_{P}) = 1 16v_{P}^{2}u_{0}^{2}  8u_{0}v_{P} + 1 = 0 (4v_{P}u_{0}  1)^{2} = 0 v_{P} = 1/4u_{0} We have a double root  the only solution. Therefore, there is only one area bisector through the point (u_{0}, v_{0}) intersecting the DABC on the line segments BM_{a} and AM_{b}. If we select a point (u_{1}, v_{1}) above the hyperbolic segment, then v_{1} > 1/(8u_{1}). Substituting this to the general equation of the bisector just like for the point (u_{0}, v_{0}) we get (4v_{P}u_{1}  1)^{2} < 0 Since this is impossible, there is no area bisector through the point (u_{1}, v_{1}) intersecting the DABC on the line segments BM_{a} and AM_{b}. If we select a point (u_{2}, v_{2}) below the hyperbolic segment, then v_{2} < 1/(8u_{2}). Denote w^{2} = 1  8u_{2}v_{2} > 0. Substituting this to the general equation of the bisector just like for the point (u_{0}, v_{0}) we get (4v_{P}u_{2}  1)^{2} = w^{2} > 0 v_{P} = (1 ± w) / (4u_{2}) Taking into account the limits 1/2 £ v_{P} £ 1 separately for each root 1/2 £ (1 ± w) / (4u_{2}) £ 1 2u_{2}  1 £ ± w £ 4u_{2}  1 In order to square an inequality, we have to make sure that the smaller side is positive (or zero). Therefore, we can square the left inequality for the  sign root (after multiplcation by 1) and the right inequality for the + sign root. For the  sign root we get w £ 2u_{2}  1 w^{2} = 1  8u_{2}v_{2} £ (2u_{2}  1)^{2} u_{2} + 2v_{2} ³ 1 For the + sign root we get w £ 4u_{2}  1 w^{2} = 1  8u_{2}v_{2} £ (4u_{2}  1)^{2} 2u_{2} + v_{2} ³ 1 Therefore, the point (u_{2}, v_{2}) must be above the median m_{a} for the  sign root to be acceptable and above the median m_{b} for the + sign root to be acceptable. Any point inside the DAGM_{b} and any point inside the DBGM_{a} is below the hyperbolic envelope, above one median, and below the other. Therefore, only one root is acceptable and there is only one area bisector through the point (u_{2}, v_{2}) intersecting the DABC on the line segments BM_{a} and AM_{b}. For any point below the hyperbolic segment D_{a}D_{b} and above both medians m_{a}, m_{b}, there are two such area bisectors. By cyclic permutation of the vertices A, B, and C, we can find the hyperbolic segments D_{b}D_{c} and D_{c}D_{a} and all other results obtained for the vertex C at the origin. For any point inside the triangle pair DBGM_{c} and DCGM_{b}, there is only one area bisector through this point intersecting the DABC on the line segments CM_{b} and BM_{c}. For any point bounded by the hyperbolic segment D_{b}D_{c} and the medians m_{b}, m_{c} there are two such area bisectors. Likewise, for any point inside the triangle pair DCGM_{a} and DAGM_{c}, there is only one area bisector through this point intersecting the DABC on the line segments AM_{c} and CM_{a}. For any point bounded by the hyperbolic segment D_{c}D_{a} and the medians m_{c}, m_{a} there are two such area bisectors. Adding up the 3 families of area bisectors, for any point inside the DABC and outside of the hyperbolic "deltoid" D_{a}D_{b}D_{c}, there is only one area bisector through this point. For any point inside the hyperbolic deltoid, there are 3 different area bisectors through this point. For any point on the hyperbolic deltoid boundary and not coincident with one of the deltoid vertices D_{a}, D_{b}, D_{c}, there are 2 different area bisectors through this point. At the vertices, 2 different hyperbolic segments touch the median (and therefore touch each other). The two area bisectors on the deltoid boundary, each from a different family, fuse into the single median. Therefore, there is only one area bisector through each vertex of the deltoid.

Attachments
https://www.cuttheknot.org/htdocs/dcforum/User_files/3f185050569e7500.gif
https://www.cuttheknot.org/htdocs/dcforum/User_files/3f18506256b0d683.gif

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Bractals
Member since Jun903

Jul2303, 09:13 PM (EST) 

19. "RE: Cut Triangle in Half"
In response to message #18

Hi Vladimir, I agree with your conclusions on the deltoid. I think I needed that week's vacation. With respect to a question I put to Golland: Do we lose any generality if we only look at an equilateral triangle? Here are my thoughts. For any three noncollinear points in Euclidean 3space it'seems that we can find a plane (and if one plane, then an infinite number) such that the projections of the points on the plane would be the vertices of a equilateral triangle. Therefore, given a nonequilateral triangle and point we project the problem to an equilateral triangle and a point. Solve that problem and reverse the projection to solve the original problem (since the ratios of areas are invariant under a projection). What do you think? Bractals 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 




Vladimir
Member since Jun2203

Jul2403, 06:41 AM (EST) 

20. "RE: Cut Triangle in Half"
In response to message #19

Hi Bractals You are correct  we do not lose any generality by looking only at an equilateral triangle, or an isosceles right angle triangle which I used in my analysis (because it'simplifies the analysis, for one family of bisectors at least, even more than the equilateral triangle). You can imagine a projection in 3D space, but you have to be careful what kind of projection you use  it must be the parallel projection. Other projections of a plane into another plane (perspective projection) do not have to preserve area ratios. But I do not think you have to go into the 3D space. You can just perform a linear transformation using any 2x2 matrix with nonzero determinant and apply it to every 2D vector in a plane  namely the 3 triangle vertices and the point through which the area bisector should pass: x' = a_{11}x + a_{12}y y' = a_{21}x + a_{22}y (I cannot post a matrix equation) D = a_{11}a_{22}  a_{12}a_{21} ¹ 0 Such transformation preserves the area ratios. If two shapes are the same before such transformation, they are also the same after such transformation. You can divide the area of any shape before the transformation into extremaly little squares, the area ratio of two different shapes being the ratio of the number of their little squares. Each little square is transformed into the same little parallelogram, but of course the number of little parallelograms in each transformed shape equals to the number of little squares in each shape before the transformation. This transformation can be performed using the straightedge and compass. For the triangle itself, it is trivial, because you choose the transformation to get the desired triangle shape and position. So you just draw the desired triangle. You only have to use the straightedge and compass construction to transform the point through which the area bisector must pass at the start and transform back the point at which the area bisector intersects the triangle (or another arbitrary point of the bisector) at the end. I tried that and it only complicated the construction. However, a suitable transformation makes the analysis much simpler. Regards, Vladimir 

Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 



Bractals
Member since Jun903

Jul1403, 09:24 PM (EST) 

9. "RE: Cut Triangle in Half"
In response to message #0

Hi Alex, At the start of this topic I clicked on the "Subscribe to this topic" link and I got the following error message. I got the same message when I went to Conferences > User menu > Topic Subscription. Bractals SCRIPT ERROR!!!  There was an error in processing your request. Following is the error message: System Message: Permission denied  Please notify the administrator of this site. Thank you.


Alert  IP 
Printerfriendly page  Edit 
Reply 
Reply With Quote  Top 


You may be curious to have a look at the old CTK Exchange archive. Please do not post there.
Front page
Contents
Copyright © 19962018 Alexander Bogomolny
68951636


