Professional Documents
Culture Documents
CONVERGENCE
A MATHLETES PUBLICATION EDIITION I
Table of Contents
The Monty Hall Problem 7 A Bit on Chaos Theory 10 The Human Element in 12 Mathematics Mathematics in Origami 19 Conjecture. Collatz Conjecture 21 Hard for Computers 15 Proof by Contradiction. Or not 23 Fermats Last Theorem 24 False for matrices Paradoxes & Fallacies 28 This year in Math 30 Puzzle Up 32
Editorial
Every person blessed with the ability to think rationally values the said ability. There is thrill in the correctness of logic, pleasure in the process of making sense. I speak for a majority of my peers when I say that the happiness that stems from correctly solving a particularly challenging Math question is worth the hours of mind-taxing one undergoes to reach the result, the accuracy of puzzles is almost beautiful, and the joy of writing Hence, proved at the end of a problem is incomparable. It is with this assumption that the Mathematical Association of BITS-Pilani, K. K. Birla Goa Campus has worked laboriously to bring out the rst edition of its annual magazine, Convergence. The word Convergence, besides bringing a sigh of relief to every mathematician busy struggling with metrics, symbolizes clarity and understanding, and most importantly, the clear-cut denition of a concept. Such ideals are the mandate when one decides to release an issue that is purely Math, because regardless of the supposedly abstract concepts that this subject is famed to delve into, Mathematics makes sense. Yes, there is a degree of groping in the dark and reaching for the stars, but these are ambitions that keep the wonder in the subject alive. There is a little bit of Math in every one of us. This statement is applicable, because the us in question, the readership of this magazine, the faculty and the students of our college, primarily hailing from scientic backgrounds, have all at some point in our lives appreciated the beauty that this subject embodies, and its applicability in all realms of life. Convergence strives to bring forth that love for Math in the minds of its readers as they read about famous unsolved problems and paradoxes, or jab furiously at our compilation of puzzles, or marvel at the humor and fallacies that this eld is so replete with. It hopes to be a pioneer and an aid in starting a culture of appreciation of our subjects and a love for learning - a culture that our campus is capable of achieving, and a culture that we will truly cherish. Janvi Palan Editor-in-Chief
ARTICLE
Sanjana Ramchandran
Consider three doors. Behind one door is everything you have ever wanted: it could be the love of your life, or new shoes, or self-respect, that most evasive version of all known forms of respect. It wouldnt be remiss of us to assume that this everything can nd embodiment in the material world in the form of a car, and that this car would t behind the beautiful, ethereal door. Behind the other two doors are goats. Standing next to the doors is a man who knows exactly what is behind each door. He knows where the car is, and where the goats are. Oh, and youre also on a game show, where this man says to you, Pick the door that you think has the car, and if you guess right, its yours. So you pick a door, and are pretty pleased with yourself until the man says, Okay, so you picked door B. Now Im going to confuse you! (Obviously, the doors are A, B, and C, and as any sane person would, you picked B). The man then opens door A, which is revealed to have behind it a goat. He then says, You picked B, and I later opened A, which you may think has nothing to do with anything, but Im now going to offer you the chance to revise your choice. Do you want to stick to B, or would you like to switch to C? How could this move by him have any bearing on whether the car is behind B? Does the knowledge that there was a goat behind A help your chances of getting the car? Should you, in fact, switch to C, and nd that the car is behind it? And is there a mathematical foundation to verify any of these outcomes? Anybody who has done an introductory course on Probability is equipped with the technique of nding an answer to all these questions. It simply involves the use of Bayes Theorem, whose word form states that the probability that an event A occurred as a result of event B occurring is numerically equal to the product of the probability that B happened (with the knowledge that A is a result of said event) and the total probability of A itself happening, divided by the total probability of B alone happening. Mathematically, it looks like this:
Now the probability that you won the car by switching, by Bayes Theorem, can be computed by this: P(you switched | you won the car)=(P(winning the car by switching))/(P(winning the car))
ARTICLE
ARTICLE
ARTICLE
Siddhartha Govilkar
Chaos is when the present determines the future, but the approximate present does not approximately determine the future.
Its uncanny how intriguing the phenomenon of chaos is! What do we know about chaos? The fact that its fair? Or that it isnt a pit but is a ladder? Apart from being the subject of various pop culture lines, it is also a eld of study in mathematics which deals with the behavior of dynamical systems which are highly sensitive to initial conditions, so much so that a little rounding off or approximation of initial conditions leads to widely diverging outcomes. While most traditional science deals with supposedly predictable phenomena like gravity, electricity, or chemical reactions, Chaos Theory deals with nonlinear things that are effectively impossible to predict or control, for instance, the weather, the stock markets, etc. These phenomena are often described by fractal mathematics, a eld which captures the innite complexity of nature. For a dynamical system to be chaotic, it must have the following three properties:1. It must be sensitive to initial conditions (Buttery effect) 2. It must show topological transitivity 3. Its periodic orbits must be dense Non-linear mathematics or chaos theory was rst applied in the prediction of complex systems such as the weather. Chaotic systems exhibit not only apparently random unpredictability, but also a degree of determinism. The unpredictability arises because minuscule changes in the starting conditions of a chaotic system. Very small changes in initial conditions can produce large changes in the weather, even in the short to medium term, thereby making long term forecasting extremely difcult. American mathematician and meteorologist Edward Lorenz tried to solve this problem during the World War II so that the weather could be more accurately predicted for air-force sorties. Working with a simple computer, he realized that repeated equations in which several decimal places were rounded up (e.g. 3.678658 becomes 3.67866) gave different results, leading to the conclusion that small changes in the initial conditions can lead to highly diverse outcomes. Lorenz predicted that if they had supercomputers (to handle all the decimal places) and means of obtaining accurate information, such as satellites, then we would be able to forecast the day-today weather much more accurately. The advent of supercomputers and satellites has enabled this prediction to come true, at least for short-term to medium-term forecasting. Lorenz himself devised a computer and a program to perform some of these calculations, which forms the basis of what is loosely known as chaos theory. It is important to appreciate that a lot of chaos can result from simple re-iteration of simple equations. The Buttery Effect is one of the most important properties of chaotic system. In chaos theory, the buttery effect is the sensitive dependency on initial conditions in which a small change at one place in a deterministic nonlinear system can result in large differences in a later state. The name of the effect, coined by Edward Lorenz, is derived from the theoretical example of a hurricanes formation being dependant on whether or not a distant buttery had apped its wings several weeks earlier.
10
ARTICLE
Lorenz used the values, = 10, = 8/3 and =28 for which the system exhibit chaotic behaviour and when the solutions were plotted for this particular system, it resembled a buttery.
Apart from meteorology, chaos theory has various applications in determining the planetary orbits in the solar system, the time evolution of the magnetic eld of celestial bodies, the population growth in ecology, the dynamics of the action potentials in neurons, and the molecular vibrations. There is also some controversy over the existence of chaotic dynamics in economics and plate tectonics. Currently, Chaos theory is being applied to medical studies of epilepsy in the prediction of seemingly random seizures by observing initial conditions. Thus, going forward Chaos theory might just be the answer to new developments in modern science. Indeed, chaos isnt a pit. It is one great ladder.
11
ARTICLE
A student of arithmetic who has mastered the rst four rules of his art, and successfully striven with money sums and fractions, nds himself confronted with an unbroken expanse of questions, or problems. These are short, adventurous stories with the endings omitted, and though bearing a strong family resemblance, are not devoid of a certain element of romance. The characters in the plot of a problem are three people called A, B, and C. The form of the question is generally the following: A, B, and C do a certain piece of work. A can do as much work in one hour as B in two, or C in four. Find how long they take to complete it. Or, A, B, and C are employed to dig a ditch. A can dig as much in one hour as B can dig in two, and B can dig twice as fast as C. Find how long they take to dig it. Or, A lays a wager that he can walk faster than B or C. A can walk half as fast again as B, and C is only an indifferent walker. Find how far they travel in x hours. The occupations of A, B, and C are many and varied. In old arithmetic, they would simply be doing a certain piece of work. It has become the fashion, over the years, to dene the job more clearly and to set them at walking matches, ditch-digging, regattas, and piling cord wood. They revel in motion. When they get tired of walking-matches, A rides on horseback, or borrows a bicycle and competes with his weaker-minded associates who are on foot. Or, they race on locomotives or row or become historical and use stagecoaches. If their occupation is actual work, they prefer to pump water into cisterns, two of which leak through holes at the bottom and one of which is water-tight. To a fervent follower of these men, one who has watched them in their leisure hours dallying with cord wood, and seen their panting sides heave in the full frenzy of lling a cistern with a leak in it, they are more than mere symbols. To him, they are creatures, of esh and blood, each with their own personalities and temperaments. A is a full-blooded blustering fellow, energetic, hot-headed and strong-willed. He proposes everything, challenges B to work, makes the bets, and bends the others as per his will. He is a man of great physical strength and phenomenal endurance, having been known to walk forty-eight hours at a stretch and pump ninety-six. But his life is arduous and perilous, with even the slightest mistake in the working of a sum keeping him digging for a fortnight. An error in a decimal place may even kill him. Nonetheless, he always takes the best cistern, or digs the fastest. A always wins. B is a quiet, easy-going fellow, afraid of A and bullied by him, but very gentle and brotherly to little C, the weakling. Having lost all his money in bets, he lies at the mercy of powerful A. Poor C is an undersized, frail man. Constant walking, digging, and pumping has broken his health and ruined his nervous system. His joyless life has driven him to drink and smoke more than its good for him, and
12
ARTICLE
13
ARTICLE
14
ARTICLE
Harman Singh
If youve ever heard a computer science student claim that a given problem is NP-complete and seen t to ask said student what the term means, youve probably received an answer along the lines of just really really difcult. That student may have been me. But Ive read up a bit in preparation for writing this article, and I can now tell you that that isnt strictly correct. To be precise, what computer scientists and mathematicians term hard isnt actually hard in the sense that the layman understands it. It refers in fact, not to the predicament of a human tasked with solving the problem, but to that of a computer. Computers are simple-minded creatures - an obvious fact given that they dont really have minds to speak of. In reality, computers are capable of performing exactly the same tasks that human are, just unimaginably faster. So for a computer, hardness of a problem isnt measured by how elusive the solution is, say, in terms of creativity. Difculty is instead measured by how long it takes to solve the problem. Some terminology before we go further. Complexity of any mathematics is traditionally represented using something called the Big-O notation. For instance, one might say that a certain problem has O(n) complexity (read as order of n), where n refers to the size of the input to a problem. Lets get through a formal denition that I promise well never look at again once were past it. Let f(x)and g(x) be two functions dened for some subset of real numbers. Then we can say that f(x) = O(g(x)) as x -> if and only if there exists some positive real number c and some real number x0 such that |f(x)|c|g(x)| for all x>x0. In plain English, f(x) is of the order of g(x) if beyond a certain point, g(x) starts to grow faster than f(x). Quick example: Say you have an array of length n, and I ask you to nd the largest element in the array. Oh, and youre a computer. The way for a computer to do this is to check each element of the array, one by one, and keep track of the largest one who its encountered so far. So every time it sees a new element, the computer compares it to the largest element so far, and if its bigger, then replace it as the new largest element. Clearly, the computer here performs a constant set of operations for each element. Lets say that set of operations takes some time c to complete. Doing these operations for each element of the array would take a total time equal to c x n, where c is a constant, and n is a variable, specically the size of the input. This is an example of a problem with complexity O(n), which we now understand to mean that the time taken to solve the problem is a linear function of the size of the input. As problems go, this isnt so bad for a computer. Quicker example: Your new task is to sort the elements of an array. Youre going to use the most straightforward way of doing this, which is something called selection sort. A simple recursive way of explaining how to sort an array using selection sort is as follows: (i) nd the smallest element of the array, (ii) place it at the start of the array, and (iii) perform selection sort on the remaining n-1 elements of the array. Keep doing this till theres only one element left, which you can then leave where it is. Thus youre essentially performing an O(n) complexity operation on each sufx subarray of the array. There are n such subarray, so the total time taken increases by a factor of n. The complexity for the whole sorting procedure is therefore O(n2).
15
ARTICLE
16
ARTICLE
Weve now got a pretty good idea of what is and isnt good for the computer. The class of problems that can be solved in polynomial time, and are therefore a cakewalk for any computer, is termed simply P. The other signicant class of problems we need to know about in NP, or non-deterministic polynomial. These are problems that may not be solvable in polynomial time themselves, but if a solution were to be proposed for one, then it could be veried in polynomial time. This is a fairly important point. Consider Sudoku. I need to ll every one of 81 boxes with a number from 1-9 such that no column, row, or 3x3 square has a repeated number. This is equivalent to a TSP involving 81 vertices. Now I cant ask my computer to solve an 81-city TSP, because weve seen what tends to happen to my computer if I do that. But if someone were to propose a solution to a Sudoku puzzle, then verifying whether the solution is correct is simple enough. It would involve checking 9 rows, 9 columns, and 9 boxes for a repeated number. All of these are O(n) operations, and therefore easily doable. So a Sudoku puzzle can be veried quickly, but cant be solved easily, and is therefore, an NP problem. NP problems have the property of being easily veriable, but they may or may not be solvable in polynomial time. This means all problems in P are also in NP. Many a times, a problem A can be solved by rst reducing it to a problem B, and then solving B instead. NP-complete is a special class of NP problems that have a handy property: every problem in NP can be easily (meaning in polynomial time) transformed into any NP-complete problem. Informally, this is saying that any NP-complete problem is an NP problem that is at least as tough as any other problem in NP. So if you actually solve a single NP-complete problem, youve effectively solved every other problem in NP as well. Neat. NP-complete is the class of problems that computers struggle to solve, and these include real world problems like vertex cover and graph colouring, and also problems like Sudoku and Minesweeper. Fun fact: A man named G. Aloupis took the time to mathematically prove that Super Mario Bros. is NP-complete. Finally, there is the class NP-hard. This is a class of problems that is, again, at least as hard as the problems in NP, which is to say that any problem in NP can be reduced to any problem in NP-hard. So how is this different from NP-complete? Well, all NP-complete problems are necessarily NP problems too, and are therefore at least veriable in polynomial time. NP-hard problems have no such obligation, and may therefore be neither solvable nor veriable in polynomial time. Im tempted now to place an Euler diagram here that quickly summarizes everything youve just read, but I cant, because of the Question. The Question is the P vs NP problem, and is one of the major unsolved problems in mathematics and computer science. It is considered by many to be the most signicant problem in the eld, and is one of the seven Millennium Prize Problems selected by the Clay Mathematics Institute to carry a million dollar prize for the rst correct solution. The P vs NP problem simply asks this: Is P=NP? That is to say, is every problem that is veriable in polynomial time (NP), also solvable in polynomial time (P)? The proof of this would revolutionize computer science because people would be able to construct faster algorithms for a lot of important problems, most of which have extremely signicant real life applications, not least of which is TSP. All the worlds scientists are yet to put forward a proof either for or against the statement, but the solution itself is maddeningly close. The reason for this is because of what Ive just explained. Because every problem in NP is reducible to any problem in NP-complete, if someone were to present a polynomial time solution to even a single problem in NP-complete, this would be equivalent to presenting a polynomial time solution to every single problem in NP!
17
ARTICLE
The effects of proving that P=NP are breathtaking. It would mean that there is simply no problem that a computer cannot efciently solve, and would signicantly change life as we know it. It would mean that a computer would be capable of nding a formal proof for any theorem where the proof is of reasonable length, since such a proof is easily veriable. This may well include all other six open problems listed by the Clay Institute. Essentially, a man who solved this particular problem would be entitled to not one, but seven million dollars. However, most scientists expect that P NP. A proof for this would be signicantly less exciting, but important nonetheless. It would allow one to show, formally, that some problems cannot be solved in a reasonable amount of time, so that the attention of researchers can be focused on partial solutions, or on other problems. Due to widespread belief in P NP, much of this focusing of research has already taken place. On a more philosophical front, MIT professor Scott Aaronson best explains why the world believes the P NP: If P = NP, then the world would be a profoundly different place than we usually assume it to be. There would be no special value in creative leaps, no fundamental gap between solving a problem and recognizing the solution once its found. Everyone who could appreciate a symphony would be Mozart; everyone who could follow a step-by-step argument would be Gauss... And heres that Euler Diagram I promised you.
18
ARTICLE
mathematics in origami
Rutuja Surve
Origami is the Japanese art of paper folding. In traditional origami, constructions are done using a single sheet of coloured paper. In modular origami, a number of individual units, each folded from a single sheet of paper, are combined to form a compound structure. Origami is an extremely rich art form, and constructions for thousands of objects, from dragons to buildings to vegetables have been devised. Many mathematical shapes can also be constructed, especially using modular origami. So how exactly are math and origami related to each other? The connection with geometry is clear and yet multifaceted. A folded model is both a piece of art and a geometric gure. Just unfold it and take a look! You will see a complex geometric pattern, even if the model you folded was a simple one. A beginner student of geometry might want to gure out the types of triangles on the paper. What are the angles that can be seen? What are the shapes that are notable? How did those angles and shapes get there? An advanced geometry student or teacher might want to investigate more in depth the relationships between math and origami. For instance, the traditional crane unfolded provides a crease pattern from which we can learn a lot. Pick a point (vertex) on the crease pattern. How many creases originate at this vertex? Is it possible for a at origami model to have an odd number of creases coming out of a vertex on its crease pattern? How about the relationship between mountain and valley folds? Can you have a vertex with only valley folds or only mountain folds? How about the angles around this point? The answers to these questions lie in the following theorem formulated by Japanese mathematician, Toshikazu Kawasaki, and is called the Kawasakis Theorem The Theorem This theorem gives the criterion for an origami construction to be at. It states that a given crease pattern can be folded to a at origami if, and only if all the sequences of angles , ..., surrounding each (interior) vertex full the following condition For example, around the central vertex in the gure below, 1 + 3 + 5 = 2 + 4 + 6 = 180. (Note that the number of angles is always even; each of them corresponds to a layer of the folded sheet)
The rule evidently applies to the case of a rectangular sheet of paper folded twice, where the crease pattern is formed by the bisectors. But there are many more interesting examples where the above property can be checked . The mathematician Humiaki Huzita developed six axioms (and later a seventh) based on origami construction. Whats especially great about all this is that these axioms are not just theoretical - they have been put
19
ARTICLE
MATHEMATICS IN ORIGAMI
into real use. Origami and Topology The study of origami and mathematics can be classied as topology, although some feel that it is more closely aligned with graph theory. Heres an origami theorem which can be seen from both points of view. The theorem states: Every at-foldable pattern is 2-colourable. In other words, suppose you have folded an origami model which lies at. If you completely unfold the model, the crease pattern that you will see has a special property. You require only two colours to colour the whole region such that no two bordering crease pattern regions have the same colour. In Graph Theory The above statement may remind you of the famous map-makers problem - what is the least number of colours you need to colour countries on a map so that two neighbouring countries arent the same colour? The answer is four, and this is known as the Four Colour Theorem. But back to our theorem. Can you see that you need only two colours to colour a crease pattern? Try it yourself. You will see that anything you fold (as long as it lies at) will need only two colours to colour in the regions on its crease pattern. Heres an easy way to see it: fold something that lies at. Now colour all of the regions facing towards you red and the ones facing the table blue (remember to only colour one side of the paper). When you unfold, you will see that you have a proper 2-colouring. A more rigorous proof goes as follows: First, show that each vertex in the crease pattern has an even degree. Then you know the crease pattern is an Eulerian graph, that is, a graph containing a path which starts and ends at the same point and travels along every edge. Finally, it is well known that Eulerian graphs are 2-colorable. This clearly establishes the result as a part of Graph Theory. In Topology Before we look into the result from a topological point of view, let us understand the basics of topology. Topology developed as a eld of study out of geometry and set theory, and it deals with properties like connectedness and continuity in space that are preserved under continuous deformations including stretching and bending, but not tearing or gluing. It is sometimes referred to as rubber sheet geometry, meaning that in topology, changing the shape of an object will not affect it (as long as you do not create any holes or patch up any holes). In fact, to a topologist, a coffee cup and a doughnut are the same, while a geometer sees them as completely different. This is because a sufciently pliable doughnut can be reshaped into a coffee cup by creating a dimple and progressively enlarging it, while shrinking the hole into a handle. How is the above result a topological one? Well, the 2-colouring gives us an easy way of determining the orientation of each region we colour in. All regions coloured blue will be facing up (or down) while all regions coloured red will be facing the opposite way. Try it. This time, fold a model, unfold it, and colour the crease pattern regions with red and blue. Now, refold the model and see for yourself. (For those of you who are inquisitive about math in origami, watch this documentary: Independent Lens: Between the Folds)
20
ARTICLE
Conjecture
Collatz conjecture
Janvi Palan
Stating the obvious is a phrase used by most rational thinking students to express their annoyance at a remark, the logic and reason behind which is so distastefully obvious that its mere stating merits an expression of annoyance. Quite like the preceding sentence, Mathematics necessitates the establishment of explanations for statements that the average layman takes for granted. Quite unlike the rst statement, however, elds in Mathematics, abreast with paradoxes and innities, often venture into undened territories, and hence reiteration and a concrete establishment of EVERY blatantly obvious statement on EVERY domain becomes a must, or else it is doomed for-(almost)-ever to serve as a Conjecture. Conjectures are statements which are believed (and not assumed) to be true, but lack a denite proof that spans all applicable domains. Although all conjectures remain proof-less as long as they remain conjectures, they are usually based on educated guesses and approximations based on known information. Mathematicians tinker (they call it Recreational Mathematics), and their tinkering raises conundrums, one example of which is the Collatz Conjecture. Various other conjectures have been posed as open questions related to the elds of Number theory and Graph theory, such as the abc conjecture, the Goldbach conjecture and the lonely runner conjecture. Their unsolved nature, after all these years, have led to the coinage of the term mathematical diseases, for their level of notoriety have led to many mathematicians spending years on them only to realize that the solution is beyond the scope of the subject as of their day and age. The Collatz Conjecture Consider any arbitrary positive integer n. If n is even, divide it by two. If n is odd, triple it and add one. Or,
Form a sequence of the values of this function for any initial positive integer, taking the value of f as the input for the next iteration. The Conjecture states that this process will eventually reach the number 1, regardless of which positive integer is chosen initially. It was posed by German Mathematician Lothar Collatz in 1937. Take, for instance n = 5. This gives rise to the sequence: 5 16 8 4 2 1 First Glance The longest progression for any initial starting number less than 100 million is 63,728,127, which has 949 steps. For starting numbers less than 1 billion it is 670,617,279, with 986 steps, and for numbers less than 10 billion it is 9,780,657,630, with 1132 steps. It should be noted that the moment we encounter a number that is a power of 2, it converges to one rapidly as it is halved n times. If the conjecture is false, it can only be because there is some starting number which gives rise to a sequence which does not contain 1. Such a sequence might enter a repeating cycle that excludes 1, or increase without bound. No such sequence has been found.
21
ARTICLE
Why do we believe its true? The conjecture is believed to be true mainly due to the probabilistic heuristic justication that can be put forward. Given the above dened function, if n is odd, then
Replace
by
: N --> N
if n is even if n is odd Now, we see that if one chooses n at random, it is odd with probability 1/2 and even with probability 1/2, and so increases n by a factor of roughly 3/2 half the time, and decreases it by a factor of 3/2 in the other half. Furthermore, if n is uniformly distributed modulo 4, one easily veries that is uniformly distributed modulo 2, and so should be roughly 3/2 times as large as half the time, and roughly 1/2 times as large as the other half of the time. Continuing this, we expect generically that half the time, and the other half of the time. The logarithm of this orbit can then be modeled with steps log(3/2) and log(1/2) occurring with equal probability (=1/2). The expectation is given by:
E is negative, and so we expect the orbit to decrease over a very long period of time, and ultimately result in 1. This is why the Collatz Conjecture makes sense heuristically. Current Status The conjecture has even been checked by computers for all starting values up to 5 260 5.7641018, and has proven to be correct for all tested values. However, this sequential examination of all numbers is not a nite process, and hence, such an approach can never demonstrate that the conjecture is true, merely rule out the possibly of any known counter-example. The evasiveness of the proof of this statement, despite its simplicity in understanding, led to the prolic mathematician, Paul Erds (of Erds number fame) offering a prize of $500 to anyone who could come up with a solution for it. He is alleged to have said, Mathematics is not yet ready for such problems. Despite various attempts at arriving at a solution, mathematicians have still not been able to solve this elusive problem. The concrete importance of this conjecture remains an enigma, but it is believed that for the solving of such problems genuinely new mathematical ideas will have to be created, and it is these ideas that may help in the solution of other domains where truly important problems are at stake.
22
ARTICLE
Bhavul Gauri
The journey probably started when we rst heard of irrational numbers. Proving the irrationality of 2 seemed so elegant after employing the Reductio ad Impossibilem technique, also fondly known as Proof by Contradiction. A proof by contradiction, as the name suggests, is a form of proof that establishes the validity of a proposition by showing that the case where the proposition is false would lead to a contradiction. Personally, Im not too fond of proving by contradiction, because to me, it seems like an easy way out - if you cant prove it directly, just prove that the alternative just isnt feasible. Curious about these types of proofs and their necessity, I tried to gure out if every proof by contradiction could also be shown without contradiction. To do this, let us rst formalize the notion of a proof using symbolic logic. Let represent a proposition that is never true. Let A be any statement. Then the negation of A is equivalent to A . We use the latter as the denition of negation of A, so that we have it in terms of . There are two principles that make up any proof by contradiction: 1. Principle of explosion : For any statement A, we can take implies A as an axiom. 2. Law of excluded middle : For any statement A, we can take A or A as an axiom. Now, there are three logic systems in proof theory: 1. Minimal Logic : It contains neither of the principles above, but only basic proof rules to manipulate logical connectives (other than negation) and quantiers ( and ). This system avoids negation and hence comes more close to direct proofs. 2. Intuitionistic logic : It is a superset of Minimal logic, additionally containing the Principle of Explosion. 3. Classical logic : This contains Intuitionistic logic, as well as the law of Excluded Middle. Now, if we try to prove a formula of the form xA(x) B(x), where B(x) doesnt have as a subformula, we cannot prove it using just minimal logic. However, it can be proved with the help of Principle of Explosion. Hence, there exist statements that are provable in intuitionistic logic but not in minimal logic. In Intuitionistic logic, if a statement implies a contradiction then the negation of the statement is true, but in classical logic we also have that if the negation of a statement implies a contradiction, then the original statement is true, and the latter is not provable in intuitionistic logic, and in particular is not provable directly. So, it is known that there are statements that are provable in classical logic but not in intuitionistic logic. In this sense, the Principle of explosion allows us to prove things that are not provable without it, and the Law of excluded middle allows us to prove things that we could not even prove with the principle of explosion. So, there are statements that are provable by contradiction but cannot be proved directly. Hence, if we were to assume that every proof by contradiction can also be shown without contradiction, we would certainly arrive at some contradiction.
23
ARTICLE
1. Introduction Fermats last theorem is a well-known theorem in number theory. It states that the Dio- phantine equation xn + yn = zn (1) has no non trivial solution if n 3, i.e. it is impossible to nd three non-zero integers such that (1) holds. This famous statement was nally proved by Andrew Wiles in 1995. Most doubt whether Fermat really had a proof, but it is an intriguing part of the history of this famous problem. If Fermat had a solution, he certainly did not have the brilliant one which Wiles found. In this article, I would like to shed some light about some results that generalize Fermats Little Theorem to matrices in different sense. They do not seem to be well known, but are quite pretty. Perhaps they may have applications to some complexity theory problems. Without discussing any more on number theory, we will straight forward go to the theory of matrices with an aim to discuss the parallel statement of Fermats last theorem. The parallel statement of Fermats last theorem says that there exist three non-zero matrices A, B, C having integer entries such that An + Bn = Cn (2) For all n 3. In fact, this will hold for all n 1. This means Fermats last theorem for matrices is false. The structure of this article is as follows. In Section 2, we will discuss the above problem in two different ways, see [1]. One way is to begin with an idempotent matrix A, that is, the matrix A satises A2 = A. Another way is to begin with an n n pseudo magic square A, i.e. a matrix whose row sums and column sums are all same. In Section 3, we will discuss some examples corresponding to the theorem. We will also discuss another construction of matrices, which will easily verify that there are innite number of matrices for which (2) holds. 2. Main Theorems In this section, we will straight forward go to the construction of matrices satisfying (2) and describe in two different theorems. Theorem 2.1: There exist matrices A and B such that An + Bn = (A + B)n For all integer n 1. Proof 2.2: Let A be an idempotent matrix, i.e. A2 = A. Then clearly An = A. Take B = I A. Thus B2 = (I A)(I A) = I 2A + A2 = I A = B and so Bn = I A = B. Therefore we get An + Bn = A + I A = I = In = (A + B)n This shows that there exist matrices A, B, C which satises (2) with C = A + B.
24
ARTICLE
25
ARTICLE
Example 3.2: One can also easily verify Theorem 2.4 for the matrix
We will end our discussion with additional examples of n x n matrices (n 3) satisfying (2). Let us rst look at the 3 x 3 matrices:
26
ARTICLE
A=
We see that An would produce a resulting scalar identity matrix of the form (we skip the Proof):
An =
In a similar way we conclude that for any n n matrices A, B and C of the form (4), An, Bn and Cn will produce scalar identity matrices. Finally, these ideas of the construction of matrices show that there are innite number of solutions to the formula (2). This proves that Fermats last theorem is false for the matrix of the above form as well.
27
MATHEMATICIANS VIEW
2. The sum of series: 1 + 2 + 3 + 4+ = -1/12 We know that the sum of all natural numbers 1 + 2 + 3 + 4 + is a divergent series. The nth partial sum of the series is the triangular number
28
29
JOURNAL
30
JOURNAL
31
PUZZLES
PUZZLE uP
Puzzle One Imagine that you are on an island with 5 people. One of them is the truth-teller, and always speaks the truth. The other four toggle between truth and lie states, i.e. if they are initially in truth state, then they will tell the truth for that question and then switch to the other state and lie for the next question. The initial states of these four people are not known. The task is to nd out the truth-teller by asking at the most two questions. What should the questions be and who should they be asked to? Puzzle Two Find 10 distinct coordinates of vertices (xi , yi) in R x R such that they satisfy the following: 1. 0 xi 3 2. 0 yi 3 3. Euclidean distance between any pair of vertices should be greater than the square root of two. Puzzle Three Galaxy Puzzle: In Japan, Galaxies are known as Tentai Show. They are also known as Spiral Galaxies, and Sym-a-pix. In these puzzles, you ll in the horizontal and vertical edges to form a galaxy shaped island around each circle, which represents the galactic center. The galaxy shapes must be rotationally (or 180) symmetric. Each galaxy puzzle has a unique solution. Try this one.
32
PUZZLES
PUZZLE UP
Solutions
1. As we initially dont know who the toggling people are, it doesnt matter who we ask the questions to. We will ask the following two questions, and to the same person. Question 1: Are you the truth-teller? If the answer we get is Yes, then there are 2 possibilities: either the person is the truth-teller that we are looking for or he is the toggling chap in lie state. In both cases, he will tell the truth for the next question. Question 2: Who is the truth teller? Obviously, if the answer to this question turns out to be Yes, we have found the truth-teller! Now, we look at the case where the answer to our rst question is No. This denitely means that the person is toggling in the truth state. So, he will lie for the next question. Question 2: Who is not the truth teller? 2. It is impossible to nd 10 distinct vertices. Proof : This is a simple application of Pigeonhole Principle. We divide the 3x3 square into 9 distinct 1x1 squares constructed by the lines x = 0 , x = 1 , x = 2 , x = 3 , y = 0 , y = 1 , y = 2 , y = 3. Now since there are 10 vertices and 9 squares, by the Pigeonhole principle, at least 1 square must have more than 2 points in it. Now, what can be the maximum distance between these two points? It is the length of the diagonal of that square i.e. square root of 2. Contradiction. Tada. 3.
33
Editorial Team
Janvi Palan Rutuja Surve Siddhartha Govilkar Bhavul Gauri Rutuja Kshirsagar
Designing
Bhavul Gauri
34
35
Convergence 2014