Given △ABC and a point P on one of its sides, call line ℓ the splitting line of △ABC through P if ℓ passes through P and divides △ABC into two polygons of equal perimeter. Let △ABC be a triangle where BC=219 and AB and AC are positive integers. Let M and N be the midpoints of AB and AC, respectively, and suppose that the splitting lines of △ABC through M and N intersect at 30∘. Find the perimeter of △ABC.
The Geometry Part - Solution 1
Consider the splitting line through M. Extend D on ray BC such that CD=CA. Then the splitting line bisects segment BD, so in particular it is the midline of triangle ABD and thus it is parallel to AD. But since triangle ACD is isosceles, we can easily see AD is parallel to the angle bisector of C, so the splitting line is also parallel to this bisector, and similar for the splitting line through N. Some simple angle chasing reveals the condition is now equivalent to ∠A=120∘.
- MortemEtInteritum
The Geometry Part - Solution 2
Let PM and QN be the splitting lines. Reflect B across Q to be B′ and C across P to be C′. Take SB and SC, which are spiral similarity centers on the other side of BC as A such that △SBB′C∼△SBBA and △SCC′B∼△SCCA. This gets that because ∠SBCB=∠SBCB′=∠SBAB and ∠SCBC=∠SCBC′=∠SCAC, then SB and SC are on △ABC's circumcircle. Now, we know that △SBBB′∼△SBAC and △SCCC′∼△SCAB so because BA=B′C and CA=C′B, then SBB=SBB′ and SCC=SCC′ and SBQ⊥BC and SCP⊥BC.
We also notice that because Q and N correspond on △SBBB′ and △SBAC, and because P and M correspond on △SCCC′ and △SCAB, then the angle formed by NQ and BA is equal to the angle formed by B′C and NQ which is equal to ∠BSBQ=∠QSBB′. Thus, ∠CBA=2∠CQN. Similarly, ∠BCA=2∠QPM and so ∠CBA+∠BCA=2∠PQN+2∠QPM=60∘ and ∠A=120∘.
- kevinmathz
The NT Part
We now need to solve a2+ab+b2=32⋅732. A quick (mod9) check gives that 3∣a and 3∣b. Thus, it's equivalent to solve x2+xy+y2=732.
Let ω be one root of ω2+ω+1=0. Then, recall that Z[ω] is the ring of integers of Q[−3] and is a unique factorization domain. Notice that N(x−yω)=(x−yω)(x−yω2)=x2+xy+y2. Therefore, it suffices to find an element of Z[ω] with the norm 732.
To do so, we factor 73 in Z[ω]. Since it's 1(mod3), it must split. A quick inspection gives 73=(8−ω)(8−ω2). Thus, N(8−ω)=73, so
732=N((8−ω)2)=N(64−16ω+ω2)=N(64−16ω+(−1−ω))=N(63−17ω),
giving the solution x=63 and y=17, yielding a=189 and b=51, so the sum is 459. Since 8−ω and 8−ω2 are primes in Z[ω], the solution must divide 732. One can then easily check that this is the unique solution.
- MarkBcc168
解析
Solution (Geometry + Number Theory)
Denote BC=a, CA=b, AB=c.
Let the splitting line of △ABC through M (resp. N) crosses △ABC at another point X (resp. Y).
WLOG, we assume c≤b.
Case 1: a≤c≤b.
We extend segment AB to D, such that BD=a. We extend segment AC to E, such that CE=a.
In this case, X is the midpoint of AE, and Y is the midpoint of AD.
Because M and X are the midpoints of AB and AE, respectively, MX∥BE. Because N and Y are the midpoints of AC and AD, respectively, NY∥CD.
Because CB=CE, ∠CBE=∠CEB=2∠ACB. Because BC=BD, ∠BCD=∠BDC=2∠ABC.
Let BE and CD intersect at O. Because MX∥BE and NY∥CD, the angle formed between lines MX and NY is congruent to ∠BOD. Hence, ∠BOD=30∘ or 150∘.
We have
∠BOD=∠CBE+∠BCD=2∠ACB+2∠ABC=90∘−2∠A.
Hence, we must have ∠BOD=30∘, not 150∘. Hence, ∠A=120∘.
This implies a>b and a>c. This contradicts the condition specified for this case.
Therefore, this case is infeasible.
Case 2: c≤a≤b.
We extend segment CB to D, such that BD=c. We extend segment AC to E, such that CE=a.
In this case, X is the midpoint of AE, and Y is the midpoint of CD.
Because M and X are the midpoints of AB and AE, respectively, MX∥BE. Because N and Y are the midpoints of AC and CD, respectively, NY∥AD.
Because CB=CE, ∠CBE=∠CEB=2∠ACB. Because BA=BD, ∠BAD=∠BDA=2∠ABC.
Let O be a point of AC, such that BO∥AD. Hence, ∠OBC=∠BDA=2B.
Because MX∥BE and NY∥AD and AD∥BO, the angle formed between lines MX and NY is congruent to ∠OBE. Hence, ∠OBE=30∘ or 150∘.
We have
∠OBE=∠OBC+∠CBE=2∠ABC+2∠ACB=90∘−2∠A.
Hence, we must have ∠OBE=30∘, not 150∘. Hence, ∠A=120∘.
This implies a>b and a>c. This contradicts the condition specified for this case.
Therefore, this case is infeasible.
Case 3: c≤b≤a.
We extend segment CB to D, such that BD=c. We extend segment BC to E, such that CE=b.
In this case, X is the midpoint of BE, and Y is the midpoint of CD.
Because M and X are the midpoints of AB and BE, respectively, MX∥AE. Because N and Y are the midpoints of AC and CD, respectively, NY∥AD.
Because CA=CE, ∠CAE=∠CEB=2∠ACB. Because BA=BD, ∠BAD=∠BDA=2∠ABC.
Because MX∥AE and NY∥AD, the angle formed between lines MX and NY is congruent to ∠DAE. Hence, ∠DAE=30∘ or 150∘.
We have
∠DAE=∠BAD+∠CAE+∠BAC=2∠ABC+2∠ACB+∠BAC=90∘+2∠BAC.
Hence, we must have ∠OBE=150∘, not 30∘. Hence, ∠BAC=120∘.
In △ABC, by applying the law of cosines, we have
a2=b2+c2−2bccos∠BAC=b2+c2−2bccos120∘=b2+c2+bc.
Because a=219, we have
b2+c2+bc=2192.
Now, we find integer solution(s) of this equation with c≤b.
Multiplying this equation by 4, we get
(2c+b)2+3b2=4382.(1)
Denote d=2c+b. Because c≤b, b<d≤3b.
Because 4382−3b2≡0(mod3), d2≡0(mod3). Thus, d≡0(mod3). This implies d2≡0(mod9).
We also have 4382≡0(mod9). Hence, 3b2≡0(mod9). This implies b≡0(mod3).
Denote b=3p and d=3q. Hence, p<q≤3p. Hence, Equation (1) can be written as
q2+3p2=1462.(2)
Now, we solve this equation.
First, we find an upper bound of q.
We have q2+3p2≥q2+3(3q)2=34q2. Hence, 34q2≤1462. Hence, q≤733<73⋅1.8=131.4. Because q is an integer, we must have q≤131.
Second, we find a lower bound of q.
We have q2+3p2<q2+3q2=4q2. Hence, 4q2>1462. Hence, q>73. Because q is an integer, we must have q≥74.
Now, we find the integer solutions of p and q that satisfy Equation (2) with 74≤q≤131.
First, modulo 9,
q2≡1462−3p2≡4−3⋅(0 or 1)≡4 or 1.
Hence q≡±1,±2(mod9).
Second, modulo 5,
q2≡1462−3p2≡1+2p2≡1+2⋅(0 or 1 or −1)≡1 or 3 or −1.
Because q2≡0 or 1 or −1, we must have q2≡1 or −1. Hence, 5∤q.
Third, modulo 7,
q2≡1462−3p2≡1−3⋅(0 or 1 or 5 or 2)≡1 or 2 or 3 or 5.
Because q2≡0 or 1 or 2 or 4(mod7), we must have q2≡1 or 2(mod7). Hence, q≡1,3,4,6(mod7).
Given all conditions above, the possible q are 74, 83, 88, 92, 97, 101, 106, 109, 116, 118, 127.
By testing all these numbers, we find that the only solution is q=97. This implies p=63.
Hence, b=3p=189 and d=3q=291. Hence, c=2d−b=51.
Therefore, the perimeter of △ABC is b+c+a=189+51+219=(459) .
~Steven Chen (www.professorchenedu.com)
Solution (Number Theory Part)
We wish to solve the Diophantine equation a2+ab+b2=32⋅732. It can be shown that 3∣a and 3∣b, so we make the substitution a=3x and b=3y to obtain x2+xy+y2=732 as our new equation to solve for.
Notice that r2+r+1=(r−ω)(r−ω2), where ω=ei32π. Thus,
x2+xy+y2=y2((x/y)2+(x/y)+1)=y2(yx−ω)(yx−ω2)=(x−yω)(x−yω2).
Note that 82+12+8⋅1=73. Thus, (8−ω)(8−ω2)=73. Squaring both sides yields
(8−ω)2(8−ω2)2(63−17ω)(63−17ω2)=732=732.
Thus, by (2), (63,17) is a solution to x2+xy+y2=732. This implies that a=189 and b=51, so our final answer is 189+51+219=459.
~ Leo.Euler
Solution(Visual geometry)
We look at upper and middle diagrams and get ∠BAC=120∘.
Next we use only the lower Diagram. Let I be incenter △ABC, E be midpoint of biggest arc BC⌢. Then bisector AI cross circumcircle △ABC at point E. Quadrilateral ABEC is cyclic, so
∠BEC=180∘−∠ABC=60∘⟹BE=CE=IE=BC.AE⋅BC=AB⋅CE+AC⋅BE⟹AE=AB+AC⟹AI+EI=AB+AC,AI=AB+AC–BC is integer.
AI=AB+AC+BC2AB⋅AC⋅cos∠CAI=AB+AC+BCAB⋅AC==AB+AC–BC⟹AC2+AB2+AB⋅AC=BC2.
A quick (mod9) check gives that 3∣AC and 3∣AB.
Let the 2 splitting lines crossing N and M cross BC at G and H. Extend AB and NG so that the two lines intersect at E and extend AC and MH so that the two lines intersect at F. Let a,b,c be the corresponding side lengths for ∠A,∠B,∠C. According to the question, MH and NG creates two sections of △ABC of equal perimeter, we could list out the equations:
BG+c=a−BGCH+b=a−CHBG+GH+CH=a
This results in:
BG=2a−cCH=2a−bGH=2b+c
Now, we can apply the Menelaus Theorem to △ABC. Let BE=x: