THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION. Sunday, March 14, 2004 Time: hours No aids or calculators permitted.

Similar documents
THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION March, 2005

Sydney University Mathematical Society Problems Competition Solutions.

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:4.

40th Canadian Mathematical Olympiad

Baltic Way 2003 Riga, November 2, 2003

2007 Shortlist JBMO - Problems

SUMMATIVE ASSESSMENT - I (2012) MATHEMATICS CLASS IX. Time allowed : 3 hours Maximum Marks :90

1. Prove that for every positive integer n there exists an n-digit number divisible by 5 n all of whose digits are odd.

HANOI OPEN MATHEMATICS COMPETITON PROBLEMS

HANOI OPEN MATHEMATICAL COMPETITON PROBLEMS

Solutions to CRMO-2003

International Competition in Mathematics for Universtiy Students in Plovdiv, Bulgaria 1994

Solutions. cos ax + cos bx = 0. a sin ax + b sin bx = 0.

2011 Olympiad Solutions

is equal to = 3 2 x, if x < 0 f (0) = lim h = 0. Therefore f exists and is continuous at 0.

1998 IMO Shortlist BM BN BA BC AB BC CD DE EF BC CA AE EF FD

OQ4867. Let ABC be a triangle and AA 1 BB 1 CC 1 = {M} where A 1 BC, B 1 CA, C 1 AB. Determine all points M for which ana 1...

UNC Charlotte 2005 Comprehensive March 7, 2005

Extra Problems for Math 2050 Linear Algebra I

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc.

18.S34 linear algebra problems (2007)

32 nd United States of America Mathematical Olympiad Recommended Marking Scheme May 1, 2003

SOUTH AFRICAN TERTIARY MATHEMATICS OLYMPIAD

Matrix Algebra Determinant, Inverse matrix. Matrices. A. Fabretti. Mathematics 2 A.Y. 2015/2016. A. Fabretti Matrices

XX Asian Pacific Mathematics Olympiad

FILL THE ANSWER HERE

LINEAR ALGEBRA SUMMARY SHEET.

Linear Systems and Matrices

2012 HSC Mathematics Extension 2 Sample Answers

The CENTRE for EDUCATION in MATHEMATICS and COMPUTING cemc.uwaterloo.ca Euclid Contest. Thursday, April 6, 2017

EGMO 2016, Day 1 Solutions. Problem 1. Let n be an odd positive integer, and let x1, x2,..., xn be non-negative real numbers.

45-th Moldova Mathematical Olympiad 2001

International Mathematical Olympiad. Preliminary Selection Contest 2017 Hong Kong. Outline of Solutions 5. 3*

Baltic Way 2008 Gdańsk, November 8, 2008

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

Solutions to the February problems.

2003 AIME Given that ((3!)!)! = k n!, where k and n are positive integers and n is as large as possible, find k + n.

1. Let g(x) and h(x) be polynomials with real coefficients such that

MATH 1210 Assignment 4 Solutions 16R-T1

Singapore Mathematical Society

Sydney Grammar School

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

41st International Mathematical Olympiad

SMT 2011 General Test and Solutions February 19, F (x) + F = 1 + x. 2 = 3. Now take x = 2 2 F ( 1) = F ( 1) = 3 2 F (2)

Canadian Open Mathematics Challenge

ELEMENTARY LINEAR ALGEBRA

Elementary maths for GMT

ELEMENTARY LINEAR ALGEBRA WITH APPLICATIONS. 1. Linear Equations and Matrices

Mu Alpha Theta National Convention 2013

IMO Training Camp Mock Olympiad #2

Problem Set (T) If A is an m n matrix, B is an n p matrix and D is a p s matrix, then show

11 th Philippine Mathematical Olympiad Questions, Answers, and Hints

Baltic Way 2016 Solutions

Solutions. T (x) 1 x(x + 1) = x, where x is a positive integer. [ ] refers to the area of the figure between brackets.

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 22, Time Allowed: 150 Minutes Maximum Marks: 30

1. SETS AND FUNCTIONS

Solutions for April. a = b(tan α + cot 2α) sin α cos 2α. cos α sin 2α. ( 2 sin 2 α sin 2 ) α = b sin 2α. tan B 2 = q v

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

HMMT November 2012 Saturday 10 November 2012

nx + 1 = (n + 1)x 13(n + 1) and nx = (n + 1)x + 27(n + 1).

UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 2011

2005 Euclid Contest. Solutions

Hanoi Open Mathematical Olympiad

Math Bootcamp An p-dimensional vector is p numbers put together. Written as. x 1 x =. x p

The CENTRE for EDUCATION in MATHEMATICS and COMPUTING cemc.uwaterloo.ca Euclid Contest. Wednesday, April 15, 2015

IMO Training Camp Mock Olympiad #2 Solutions

This class will demonstrate the use of bijections to solve certain combinatorial problems simply and effectively.

1. If two angles of a triangle measure 40 and 80, what is the measure of the other angle of the triangle?

APPENDIX A. Background Mathematics. A.1 Linear Algebra. Vector algebra. Let x denote the n-dimensional column vector with components x 1 x 2.

Introduction to Matrix Algebra

Vermont Talent Search April 12, 2011 School Year Test 4 Solutions

Solutions I.N. Herstein- Second Edition

40th International Mathematical Olympiad

37th United States of America Mathematical Olympiad

Matrix Algebra. Matrix Algebra. Chapter 8 - S&B

MeritPath.com. Problems and Solutions, INMO-2011

X- MATHS IMPORTANT FORMULAS SELF EVALUVATION 1. SETS AND FUNCTIONS. 1. Commutative property i ii. 2. Associative property i ii

( 1 ) Show that P ( a, b + c ), Q ( b, c + a ) and R ( c, a + b ) are collinear.

Linear Algebra. Workbook

Organization Team Team ID#

UNC Charlotte 2005 Comprehensive March 7, 2005

Chapter 2. Square matrices

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises

MATRIX ALGEBRA. or x = (x 1,..., x n ) R n. y 1 y 2. x 2. x m. y m. y = cos θ 1 = x 1 L x. sin θ 1 = x 2. cos θ 2 = y 1 L y.

ELEMENTARY LINEAR ALGEBRA

Triangles. 3.In the following fig. AB = AC and BD = DC, then ADC = (A) 60 (B) 120 (C) 90 (D) none 4.In the Fig. given below, find Z.

= 10 such triples. If it is 5, there is = 1 such triple. Therefore, there are a total of = 46 such triples.

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same.

Section 3.2. Multiplication of Matrices and Multiplication of Vectors and Matrices

INTERNATIONAL MATHEMATICAL OLYMPIADS. Hojoo Lee, Version 1.0. Contents 1. Problems 1 2. Answers and Hints References

Analysis-3 lecture schemes

The Advantage Testing Foundation Solutions

The Advantage Testing Foundation Olympiad Solutions

2010 Fermat Contest (Grade 11)

Lecture Notes in Linear Algebra

PRMO Solution

1 Linear Algebra Problems

Solutions to Practice Final

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 19, Time Allowed: 150 Minutes Maximum Marks: 30

(x, y) = d(x, y) = x y.

Transcription:

THE UNIVERSITY OF TORONTO UNDERGRADUATE MATHEMATICS COMPETITION Sunday, March 1, Time: 3 1 hours No aids or calculators permitted. 1. Prove that, for any complex numbers z and w, ( z + w z z + w w z + w.. Prove that 1 x x dx 1 1 + 1 3 3 1 + 1 5 5 +. 3. Suppose that u and v are positive integer divisors of the positive integer n and that uv < n. Is it necessarily so that the greatest common divisor of n/u and n/v exceeds 1?. Let n be a positive integer exceeding 1. How many permutations {a 1, a,, a n } of {1,,, n} are there which maximize the value of the sum a a 1 + a 3 a + + a i+1 a i + + a n a n 1 over all permutations? What is the value of this maximum sum? 5. Let A be a n n matrix with determinant equal to 1. Let B be the matrix obtained by adding 1 to every entry of A. Prove that the determinant of B is equal to 1 + s, where s is the sum of the n entries of A 1. 6. Determine ( 1 ( 1. 1 t 1 + t 7. Let a be a parameter. Define the sequence {f n (x : n, 1,, } of polynomials by for n. (a Prove that, for all n, x, f (x 1 f n+1 (x xf n (x + f n (ax f n (x x n f n (1/x. (b Determine a formula for the coefficient of x k ( k n in f n (x. 8. Let V be a complex n dimensional inner product space. Prove that u v 1 u v u + v (u, v u v. 9. Let ABCD be a convex quadrilateral for which all sides and diagonals have rational length and AC and BD intersect at P. Prove that AP, BP, CP, DP all have rational length. END 1

Solutions 1. Prove that, for any complex numbers z and w, ( z + w z z + w w z + w. Solution 1. ( z + w z z + w w z + w + z w w + w z z z + w + 1 zzw + wzw z w z + w + zw z + w z + w. z w Solution. Let z ae iα and w be iβ, with a and b real and positive. Then the left side is equal to (a + b(e iα + e iβ ae iα + ae iβ + be iα + be iβ ae iα + be iβ + ae iβ + be iα. Observe that z + w (ae iα + be iβ (ae iα + be iβ a + b + ab[e i(α β + e i(β α ] (ae iβ + be iα (ae iβ + be iα from which we find that the left side does not exceed ae iα + be iβ + ae iβ + be iα ae iα + be iβ z + w. Solution 3. Let z ae iα and w be iβ, where a and b are positive reals. Then the inequality is equivalent to 1 (eiα + e iβ λeiα + (1 λe iβ where λ a/(a + b. But this simply says that the midpoint of the segment joining e iα and e iβ on the unit circle in the Argand diagram is at least as close to the origin as another point on the segment. Solution. [G. Goldstein] Observe that, for each µ C, µz µz + µw µw z z + w w, µ [ z + w ] µz + µw, and So the inequality is equivalent to µ z + w µz + µw. ( t + 1 t t + 1 t + 1

for t C. (Take µ 1/w and t z/w. Now, Let t r(cos θ + i sin θ. Then the inequality becomes (r + 1 (cos θ + 1 + sin θ (r cos θ + 1 + r sin θ r + r cos θ + 1. from which the inequality follows. (r + r cos θ + 1 (r + 1 ( + cos θ r (1 cos θ + r(cos θ 1 + (1 cos θ (r 1 (1 cos θ, Solution 5. [R. Mong] Consider complex numbers as vectors in the plane. q ( z / w w is a vector of magnitude z in the direction w and p ( w / z z is a vector of magnitude w in the direction z. A reflection about the angle bisector of vectors z and w interchanges p and w, q and z. Hence p+q w +z. Therefore ( z + w z z + w w z + q + p + w z + w + p + q z + w.. Prove that 1 x x dx 1 1 + 1 3 3 1 + 1 5 5 +. Solution. First, let I(m, n 1 x m (log x n dx for nonnegative integers m and n. Then I(, 1 and I(m, 1/(m + 1 for every nonnegative integer m. Taking the parts u (log x n, dv x m dx and noting that lim x x m+1 (log x n, we find that I(m, n (n/(m + 1I(m, n 1 whence for each nonnegative integer n. In particular, for each nonnegative integer k. I(m, n ( 1n n! (m + 1 n+1 I(k, k ( 1k k! (k + 1 (k+1 Using the fact that the series is uniformly convergent and term-by-term integration is possible, we find that 1 1 1 x x dx e x log x (x log x k dx dx k k! ( 1 k 1 + (k + 1 1 1 (k+1 + 1 3 3. k1 3. Suppose that u and v are positive integer divisors of the positive integer n and that uv < n. Is it necessarily so that the greatest common divisor of n/u and n/v exceeds 1? 3

Solution 1. Let n ur vs. Then uv < n v < r, u < s, so that n uvrs rs > n. Let the greatest common divisor of r and s be g and the least common multiple of r and s be m. Then m n < rs gm, so that g > 1. Solution. Let g gcd (u, v, u gs and v gt. Then gst g st < n so that st < n/g. Now s and t are a coprime pair of integers, each of which divides n/g. Therefore, n/g dst for some d > 1. Therefore n/u n/(gs and n/v n/(gt ds, so that n/u and n/v are divisible by d, and so their greatest common divisor exceeds 1. Solution 3. uv < n nuv < n n < (n/u(n/v. Suppose, if possible, that n/u and n/v have greatest common divisor 1. Then the least common multiple of n/u and n/v must equal (n/u(n/v. But n is a common multiple of n/u and n/v, so that (n/u(n/v n, a contradiction. Hence the greatest common divisor of n/u and n/v exceeds 1. Solution. Let P be the set of prime divisors of n, and for each p P. let α(p be the largest integer k for which p k divides n. Since u and v are divisors of n, the only prime divisors of either u or v must belong to P. Suppose that β(p is the largest value of the integer k for which p k divides uv. If β(p α(p for each p P, then n would divide uv, contradicting uv < n. (Note that β(p > α(p may occur for some p. Hence there is a prime q P for which β(q < α(q. Then q α(q is not a divisor of either u or v, so that q divides both n/u and n/v. Thus, the greatest common divisor of n/u and n/v exceeds 1. Solution 5. [D. Shirokoff] If n/u and n/v be coprime, then there are integers x and y for which (n/ux + (n/v 1, whence n(xv + yu uv. Since n and uv are positive, then so is the integer xv + yu. But uv < n < xv + yu < 1, an impossibility. Hence the greatest common divisor of n/u and n/v exceeds 1.. Let n be a positive integer exceeding 1. How many permutations {a 1, a,, a n } of {1,,, n} are there which maximize the value of the sum a a 1 + a 3 a + + a i+1 a i + + a n a n 1 over all permutations? What is the value of this maximum sum? Solution. First, suppose that n is odd. Then a i+1 a i a i+1 n + 1 + a i n + 1 with equality if and only if 1 (n + 1 lies between a i+1 and a i. Hence n 1 ( n a i+1 a i a i n + 1 ( a 1 n + 1 + a n n + 1 i i1 ( n ( a i (n + 1 a 1 n + 1 + a n n + 1 i1 ( [(n 1 + (n 3 + + + + + + (n 1] a 1 n + 1 + a n n + 1 ( 1 + + + n 1 ( a 1 n + 1 + a n n + 1 [ ] ( ((n 1/ ((n + 1/ a 1 n + 1 + a n n + 1 n 1 1 n 3

since a 1 ((n + 1/ + a n ((n + 1/ 1. Equality occurs when one of a 1 and a n is equal to 1 (n + 1 and the other is equal to 1 (n + 1 ± 1. We get a permutation giving the maximum value of 1 (n 3 if and only if the foregoing conditions on a 1 and a n are satisfied (in four possible ways and 1 (n + 1 lies between a i and a i+1 for each i. For example, if a 1 1 (n + 1 + 1, then we require that the 1 (n 3 numbers a 3,, a n exceed 1 (n + 1 + 1 and the 1 (n 1 numbers a, a,, a n 1 are less than 1 (n + 1. Thus, there are ( ( n 3 n 1!! ways of achieving the maximum. Now suppose that n is even. As before, a i+1 a i a i+1 n + 1 + a i n + 1 with equality if and only if 1 (n + 1 lies between a i+1 and a i. We have that a i+1 a i (1 + 3 + + (n 1 i1 n 1 n, [ a i+1 n + 1 + a n n + ] with the latter inequality becoming equality if and only if {a 1, a n } {n/, (n + /}. Suppose, say, that a 1 n/ and a n (n + /. Then, to achieve the maximum, we require that {a 1, a 3,, a n 1 } {1,., n/} and {a, a,, a n } {(n/ + 1,, n}. The maximum value of (n / can be achieved with [(n /]! permutations. 5. Let A be a n n matrix with determinant equal to 1. Let B be the matrix obtained by adding 1 to every entry of A. Prove that the determinant of B is equal to 1 + s, where s is the sum of the n entries of A 1. Solution 1. First, we make a general observation. Let U (u ij and V (v ij be two n n matrices. Then det (U + V is the sum of the determinants of n n n matrices W S, where S is a subset of {1,, n} and the (i, jth element of W S is equal to u ij when i S and v ij when i S. In the special case that U A and V E, the matrix whose every entry is equal to 1, W S is equal to except when S {1,,, n} or S {1,,, n}\{k} for some integer k. In the former case, det S det A 1, and in the latter case, all rows of S except the kth agree with the corresponding rows of A and the kth row of S consists solely of 1s, so that the determinant of S is equal to A k,1 + A k, + + A k,n. Thus, as desired. det(a + E det A + ( n A kl 1 + A ij, i,j k1 Solution. [R. Barrington Leigh] Let A 1 (c ij and d j n i1 c ij, the jth column sum of A 1 for 1 j n. Let E be the n n matrix all of whose entries are 1, so that B A + E. Observe that E (1, 1,, 1 t (1, 1,, 1, where t denotes the transpose. Then det B (det B(det A 1 (det B(det A 1 det (BA 1 l1 det [(A + EA 1 ] det [I + (1, 1,, 1 t (1, 1,, 1(c ij det [I + (1, 1,, 1 t (d 1, d,, d n. 5

Thus, we need to calculate the determinant of the matrix This is equal to the determinant of the matrix 1 + d 1 d d n d 1 1 + d d n. d 1 d 1 + d n 1 + d 1 d d n 1 1, 1 1 which in turn is equal to the determinant of a matrix whose top row is 1 + d 1 + d + + d n and for which the cofactor fo the top lect element is the (n 1 (n 1 identity matrix. The result follows. Solution 3. [M.-D. Choi] Lemma: If C is a rank 1 n n matrix, then the determinant of I + C is equal to 1 + trace C. Proof. The sum of the eigenvalues of C is equal to the trace of C (sum of the diagonal elements. Since is an eigenvalue of algebraic multiplicity n 1, the remaining eigenvalue is equal to the trace of C. The eigenvalues of I + C are 1 with algebraic multiplicity n 1 and 1 + trace C, so that the determinant of I + C, which is the product of its eigenvalues, is equal to 1 + trace C. In the problem, with E defined as in Solution, det(a + E det(a det(i + A 1 E det(i + A 1 E. Since E is of rank 1, so is A 1 E. The diagonal elements of A 1 E are the row sums of A 1 and so the trace of A 1 is equal to the sum of all the elements of A 1. The desired result follows. 6. Determine ( 1 Solution. The substitution t sin θ leads to 1 π/ 1 t ( 1. 1 t 1 + t cos θdθ sin θ cos θ 1 π/ The substitution t tan α followed by the substitution β α leads to Thus the answer is. 1 π/ 1 + t 1 1 π/ π/ 1 sec αdα tan α sec α π/ dα sin α cos α dα 1 π/ sin α 6 dβ sin β. dθ sin θ. dβ sin β

7. Let a be a parameter. Define the sequence {f n (x : n, 1,, } of polynomials by f (x 1 f n+1 (x xf n (x + f n (ax for n. (a Prove that, for all n, x, f n (x x n f n (1/x. Then (b Determine a formula for the coefficient of x k ( k n in f n (x. Solution. The polynomial f n (x has degree n for each n, and we will write x n f n (1/x f n (x b(n, kx k. k b(n, kx n k k Thus, (a is equivalent to b(n, k b(n, n k for k n. b(n, n kx k. When a 1, it can be established by induction that f n (x (x + 1 n n k ( n k x n. Also, when a, f n (x x n + x n 1 + + x + 1 (x n+1 1(x 1 1. Thus, (a holds in these cases and b(n, k is respectively equal to ( n k and 1. Suppose, henceforth, that a 1. For n, f n+1 (k b(n, kx k+1 + k k a k b(n, kx k k b(n, k 1x k + b(n, nx n+1 + b(n, + k1 b(n, + a k b(n, kx k k1 [b(n, k 1 + a k b(n, k]x k + b(n, nx n+1, k1 whence b(n + 1, b(n, b(1, and b(n + 1, n + 1 b(n, n b(1, 1 for all n 1. Since f 1 (x x + 1, b(n, b(n, n 1 for each n. Also for 1 k n. b(n + 1, k b(n, k 1 + a k b(n, k (1 We conjecture what the coefficients b(n, k are from an examination of the first few terms of the sequence: f (x 1; f 1 (x 1 + x; f (x 1 + (a + 1x + x ; f 3 (x 1 + (a + a + 1x + (a + a + 1x + x 3 ; f (x 1 + (a 3 + a + a + 1x + (a + a 3 + a + a + 1x + (a 3 + a + a + 1x 3 + x ; f 5 (x (1 + x 5 + (a + a 3 + a + a + 1(x + x + (a 6 + a 5 + a + a 3 + a + a + 1(x + x 3. We make the empirical observation that b(n + 1, k a n+1 k b(n, k 1 + b(n, k ( 7

which, with (1, yields so that [ b(n + 1, k (a n+1 k 1b(n, k 1 (a k 1b(n, k a k 1 a n+1 k 1 + ak ] [ a n+1 ] 1 b(n, k a n+1 k b(n, k 1 for n k. This leads to the conjecture that ( (a n 1(a n 1 1 (a k+1 1 b(n, k (a n k 1(a n k 1 b(k, k (3 1 (a 1 where b(k, k 1. We establish this conjecture. Let c(n, k be the right side of (3 for 1 k n 1 and c(n, n 1. Then c(n, b(n, c(n, n b(n, n 1 for each n. In particular, c(n, k b(n, k when n 1. We show that c(n + 1, k c(n, k 1 + a k c(n, k for 1 k n, which will, through an induction argument, imply that b(n, k c(n, k for k n. The right side is equal to ( a n ( 1 a k+1 [ 1 a k ] 1 a n k 1 a 1 a n k+1 1 + ak (an+1 1(a n 1 (a k+1 1 (a n+1 k 1(a n k c(n + 1, k 1 (a 1 as desired. Thus, we now have a formula for b(n, k as required in (b. Finally, (a can be established in a straightforward way, either from the formula (3 or using the pair of recursions (1 and (. 8. Let V be a complex n dimensional inner product space. Prove that u v 1 u v u + v (u, v u v. Solution. The right inequality is the Cauchy-Schwarz Inequality. We have that (u, v u v + u v u + v (u, v(v, u (u, u(v, v + (u v, u v(u + v, u + v (u, v(v, u (u, u(v, v + [(u, u + (v, v (u, v + (v, u][(u, u + (v, v + (u, v + (v, u] (u, v(v, u (u, u(v, v + (u, u + (v, v + (u, u(v, v [(u, v + (u, v(v, u + (v, u ] [(u, u (v, v] [(u, v (v, u] [ u v ] [i Im (u, v] [ u v ] + [Im (u, v]. 9. Let ABCD be a convex quadrilateral for which all sides and diagonals have rational length and AC and BD intersect at P. Prove that AP, BP, CP, DP all have rational length. Solution 1. Because of the symmetry, it is enough to show that the length of AP is rational. The rationality of the lengths of the remaining segments can be shown similarly. Coordinatize the situation by taking A (,, B (p, q, C (c,, D (r, s and P (u,. Then, equating slopes, we find that s r u s q r p 8

so that whence u r sr ps s q ps qr s q. sr ps s q r u Note that AB p + q, AC c, BC (p pc + c + q, CD (c cr + r + s and AD r + s, we have that rc AC + AD CD so that, since c is rational, r is rational. Hence s is rational. Similarly pc AC + AB BC. Thus. p is rational, so that q is rational. qs q + s (q s q + s [(p r + (q s ] + p pr + r is rational, so that both qs and q/s (qs/s are rational. Hence is rational. u p r(q/s 1 (q/s Solution. By the cosine law, the cosines of all of the angles of the triangle ACD, BCD, ABC and ABD are rational. Now AP sin ABP AB sin BP C and CP BC sin P BC sin BP C. Since AP C + BP C 18, therefore sin AP C sin BP C and AP CP AB sin ABP AB sin ABP sin P BC BC sin P BC BC sin P BC AB(cos ABP cos P BC cos( ABP + P BC BC(1 cos P BC AB(cos ABD cos DBC cos ABC BC(1 cos DBC is rational. Also AP + CP is rational, so that (AP/CP (AP + CP ((AP/CP + 1AP is rational. Hence AP is rational. 9